immediateSubclass |
appearance as argument number 1 |
(documentation immediateSubclass ChineseLanguage "一个 SetOrClass 的 ?CLASS1 是另一个 SetOrClass ?CLASS2 的 immediateSubclass, 为免 ?CLASS1 成为 ?CLASS2 的子类别,而 ?CLASS2 再没有子类别,这样 ?CLASS1 也是 ?CLASS2 的子类别。") | chinese_format.kif 1395-1397 | |
(documentation immediateSubclass EnglishLanguage "A Class ?CLASS1 is an immediateSubclass of another Class ?CLASS2 just in case ?CLASS1 is a subclass of ?CLASS2 and there is no other subclass of ?CLASS2 such that ?CLASS1 is also a subclass of it.") | Merge.kif 155-158 | |
(documentation immediateSubclass JapaneseLanguage "SetOrClass ?CLASS1 は別の SetOrClass ?CLASS2 の immediateSubclass。万が一に備えて ?CLASS1 が ?CLASS2 の サブクラスで、および ?CLASS1 もそのサブクラスであるように、 ?CLASS2 の他のサブクラスはない。") | japanese_format.kif 30-32 | |
(documentation immediateSubclass SpanishLanguage "Un SetOrClass ?CLASS1 es una immediateSubclass de otro SetOrClass ?CLASS2 por si acaso ?CLASS1 es una subclase de ?CLASS2 y no hay otra subclase de ?CLASS2 tal que ?CLASS1 es también otra subclase de ella .") | spanish_format.kif 31-34 | |
(domain immediateSubclass 1 Class) | Merge.kif 153-153 | Le nombre 1 argument de immediateSubclass est une instance de classe |
(domain immediateSubclass 2 Class) | Merge.kif 154-154 | Le nombre 2 argument de immediateSubclass est une instance de classe |
(instance immediateSubclass AsymmetricRelation) | Merge.kif 150-150 | immediateSubclass est une instance de relation asym�trique |
(instance immediateSubclass BinaryPredicate) | Merge.kif 152-152 | immediateSubclass est une instance de pr�dicat binaire |
(instance immediateSubclass IntransitiveRelation) | Merge.kif 151-151 | immediateSubclass est une instance de relation intransitive |
appearance as argument number 2 |
(format ChineseLanguage immediateSubclass "%1 %n 是 %2 的 immediateSubclass") | chinese_format.kif 303-303 | |
(format EnglishLanguage immediateSubclass "%1 is %n an immediate subclass of %2") | english_format.kif 308-308 | |
(format FrenchLanguage immediateSubclass "%1 est %n une sous-classe imm�diate de %2") | french_format.kif 174-174 | |
(format ItalianLanguage immediateSubclass "%1 è una sottoclasse immediata di %2") | relations-it.txt 140-140 | |
(format JapaneseLanguage immediateSubclass "%1 は %2 の immediate の サブクラス では %n") | japanese_format.kif 1994-1994 | |
(format PortugueseLanguage immediateSubclass "%1 e' %n uma sub-classe imediata de %2") | portuguese_format.kif 126-126 | |
(format de immediateSubclass "%1 ist eine direkte teilkategorie von %2") | relations-de.txt 397-397 | |
(format hi immediateSubclass "%1 %2 kaa nikaTastha upavarga hai") | relations-hindi.txt 179-179 | |
(format ro immediateSubclass "%1 %n{nu} este o subclasã immediate%t{imediatã} a lui %2") | relations-ro.kif 194-194 | |
(format sv immediateSubclass "%1 är %n{inte} en direkt subklass till %2") | relations-sv.txt 183-183 | |
(format tg immediateSubclass "%1 ay ang agad klase ng mababa sa %2") | relations-tg.txt 284-284 | |
(termFormat ChineseLanguage immediateSubclass "直接子类") | domainEnglishFormat.kif 29367-29367 | |
(termFormat ChineseLanguage immediateSubclass "直接子类别") | chinese_format.kif 304-304 | |
(termFormat ChineseTraditionalLanguage immediateSubclass "直接子類") | domainEnglishFormat.kif 29366-29366 | |
(termFormat EnglishLanguage immediateSubclass "immediate subclass") | domainEnglishFormat.kif 29365-29365 | |
(termFormat tg immediateSubclass "agad klase ng mababa") | relations-tg.txt 285-285 |
antecedent |
(=> (immediateSubclass ?CLASS1 ?CLASS2) (not (exists (?CLASS3) (and (subclass ?CLASS3 ?CLASS2) (subclass ?CLASS1 ?CLASS3) (not (equal ?CLASS2 ?CLASS3)) (not (equal ?CLASS1 ?CLASS3)))))) |
Merge.kif 160-167 |