Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - precondition
precondition

appearance as argument number 1
-------------------------


(instance precondition BinaryPredicate) Merge.kif 4404-4404 precondition is an instance of binary predicate
(instance precondition AsymmetricRelation) Merge.kif 4405-4405 precondition is an instance of asymmetric relation
(instance precondition TransitiveRelation) Merge.kif 4406-4406 precondition is an instance of transitive relation
(domainSubclass precondition 1 Process) Merge.kif 4407-4407 The number 1 argument of precondition is a subclass of process
(domainSubclass precondition 2 Process) Merge.kif 4408-4408 The number 2 argument of precondition is a subclass of process
(documentation precondition EnglishLanguage "A very general Predicate. (precondition ?PROC1 ?PROC2) means that an instance of ?PROC2 can exist only if an instance of ?PROC1 also exists.") Merge.kif 4410-4412 The number 2 argument of precondition is a subclass of process

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage precondition "precondition") domainEnglishFormat.kif 47143-47143
(termFormat ChineseTraditionalLanguage precondition "前提") domainEnglishFormat.kif 47144-47144
(termFormat ChineseLanguage precondition "前提") domainEnglishFormat.kif 47145-47145
(format EnglishLanguage precondition "%1 is%n{n't} a precondition of %2") english_format.kif 220-220

antecedent
-------------------------


(=>
    (precondition ?PROC1 ?PROC2)
    (=>
        (exists (?INST2)
            (instance ?INST2 ?PROC2))
        (exists (?INST1)
            (instance ?INST1 ?PROC1))))		 Merge.kif 4414-4418 Assuming X is a precondition of Y, it follows that: if there exists Z such that Z is an instance of Y, then there exists W such that W is an instance of X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners