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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - precondition
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 4296-4298
(documentation precondition JapaneseLanguage "非常に一般的な Predicate。(precondition ?PROC1 ?PROC2) とは、?PROC1 のインスタンスが存在する場合にのみ ?PROC2 のインスタンスが存在できる ことを意味する。") japanese_format.kif 792-794
(domainSubclass precondition 1 Process) Merge.kif 4293-4293 先备条件 的 1 数量 是 过程subclass
(domainSubclass precondition 2 Process) Merge.kif 4294-4294 先备条件 的 2 数量 是 过程subclass
(instance precondition AsymmetricRelation) Merge.kif 4291-4291 先备条件非对称关系instance
(instance precondition BinaryPredicate) Merge.kif 4290-4290 先备条件二元谓语instance
(instance precondition TransitiveRelation) Merge.kif 4292-4292 先备条件传递关系instance

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 220-220
(format FrenchLanguage precondition "%1 %n{n'} est %n{pas} une condition pr�alble de %2") french_format.kif 129-129
(format ItalianLanguage precondition "%1 è una precondizione di%2") relations-it.txt 226-226
(format JapaneseLanguage precondition "%1 は %2 の precondition is%n{ない}") japanese_format.kif 1958-1958
(format PortugueseLanguage precondition "%1 %n{nao} e' %n uma precondicao de %2") portuguese_format.kif 81-81
(format de precondition "%1 ist eine vorbedingung von %2") relations-de.txt 284-284
(format hi precondition "%1 %2 kii puurva sharta hai") relations-hindi.txt 264-264
(format ro precondition "%1 %n{nu} este o precondition%t{precondiþie} pentru %2") relations-ro.kif 148-148
(format sv precondition "%1 är %n{inte} en förutsättning för %2") relations-sv.txt 134-134
(termFormat ChineseLanguage precondition "先备条件") chinese_format.kif 220-220
(termFormat ChineseLanguage precondition "前提") domainEnglishFormat.kif 47150-47150
(termFormat ChineseTraditionalLanguage precondition "前提") domainEnglishFormat.kif 47149-47149
(termFormat EnglishLanguage precondition "precondition") domainEnglishFormat.kif 47148-47148
(termFormat de precondition "vorbedingung") terms-de.txt 91-91

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


(=>
    (precondition ?PROC1 ?PROC2)
    (=>
        (exists (?INST2)
            (instance ?INST2 ?PROC2))
        (exists (?INST1)
            (instance ?INST1 ?PROC1))))
Merge.kif 4300-4304


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