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 |