Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00040566n
Noun Concept
Categories: Formal methods, Programming constructs, Logic in computer science
EN
given  presumption  precondition
EN
An assumption that is taken for granted WordNet 3.0
Definitions
Examples
Relations
Sources
EN
An assumption that is taken for granted WordNet 3.0 & Open English WordNet
In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code or before an operation in a formal specification. Wikipedia
Requirement for something else to happen Wikidata
A condition that is assumed to be true without further evaluation. Wiktionary
Condition assumed to be true. Wiktionary (translation)
A requirement which must be satisfied before taking a course of action. Wiktionary
Preexisting requirement. Wiktionary (translation)
EN
When evaluating this math problem, don't forget to read the givens. Wiktionary
A marriage licence is a precondition for a wedding. Wiktionary
IS A
assumption
concept
condition
HAS INSTANCE
four ifs
DERIVATION
assume
given
DIFFERENT FROM
postcondition
WordNet 3.0 & Open English WordNet
EN
given, presumption, precondition
Wikipedia
EN
precondition
Wikidata
EN
precondition
Wiktionary
EN
given, precondition
Wikipedia Redirections
EN
Advertised requirement, pre-condition, Preconditional, Preconditionally, preconditions

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License