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 4297-4299
(documentation precondition JapaneseLanguage "非常に一般的な Predicate。(precondition ?PROC1 ?PROC2) とは、?PROC1 のインスタンスが存在する場合にのみ ?PROC2 のインスタンスが存在できる ことを意味する。") japanese_format.kif 792-794
(domainSubclass precondition 1 Process) Merge.kif 4294-4294 Il numero 1 argomento precondition è una sottoclasse diProcesso
(domainSubclass precondition 2 Process) Merge.kif 4295-4295 Il numero 2 argomento precondition è una sottoclasse diProcesso
(instance precondition AsymmetricRelation) Merge.kif 4292-4292 precondition è un' istanza di RelazioneAsimmetrica
(instance precondition BinaryPredicate) Merge.kif 4291-4291 precondition è un' istanza di PredicatoBinario
(instance precondition TransitiveRelation) Merge.kif 4293-4293 precondition è un' istanza di RelazioneTransitiva

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 47152-47152
(termFormat ChineseTraditionalLanguage precondition "前提") domainEnglishFormat.kif 47151-47151
(termFormat EnglishLanguage precondition "precondition") domainEnglishFormat.kif 47150-47150
(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 4301-4305


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