| 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 | The number 1 argument of precondition is a subclass of process |
| (domainSubclass precondition 2 Process) | Merge.kif 4295-4295 | The number 2 argument of precondition is a subclass of process |
| (instance precondition AsymmetricRelation) | Merge.kif 4292-4292 | precondition is an instance of asymmetric relation |
| (instance precondition BinaryPredicate) | Merge.kif 4291-4291 | precondition is an instance of binary predicate |
| (instance precondition TransitiveRelation) | Merge.kif 4293-4293 | precondition is an instance of transitive relation |
| 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 47188-47188 | |
| (termFormat ChineseTraditionalLanguage precondition "前提") | domainEnglishFormat.kif 47187-47187 | |
| (termFormat EnglishLanguage precondition "precondition") | domainEnglishFormat.kif 47186-47186 | |
| (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