Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - precondition

appearance as argument number 1

(documentation precondition ChineseLanguage "这是一个十分概括的 Predicate。(precondition ?PROC1 ?PROC2) 的意思是 ?PROC2 的实例只能在 ?PROC1 的实例也存在的时候才能存在。") chinese_format.kif 2137-2138
(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 4141-4143
(domainSubclass precondition 1 Process) Merge.kif 4138-4138
(domainSubclass precondition 2 Process) Merge.kif 4139-4139
(instance precondition AsymmetricRelation) Merge.kif 4136-4136
(instance precondition BinaryPredicate) Merge.kif 4135-4135
(instance precondition TransitiveRelation) Merge.kif 4137-4137

appearance as argument number 2

(format ChineseLanguage precondition "%1 %n 是 %2 的 precondition") chinese_format.kif 219-219
(format EnglishLanguage precondition "%1 is%n{n't} a precondition of %2") english_format.kif 223-223
(termFormat ChineseLanguage precondition "先备条件") chinese_format.kif 220-220
(termFormat ChineseLanguage precondition "前提") domainEnglishFormat.kif 47144-47144
(termFormat ChineseTraditionalLanguage precondition "前提") domainEnglishFormat.kif 47143-47143
(termFormat EnglishLanguage precondition "precondition") domainEnglishFormat.kif 47142-47142


    (precondition ?PROC1 ?PROC2)
        (exists (?INST2)
            (instance ?INST2 ?PROC2))
        (exists (?INST1)
            (instance ?INST1 ?PROC1))))
Merge.kif 4145-4149

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 is open source software produced by Articulate Software and its partners