Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00040566n
Noun Concept
Categories: Programming constructs, Formal methods, Logic in computer science
EN
given  presumption  precondition  Advertised requirement  pre-condition
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