| 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 | The number 1 argument of immediate subclass is an instance of class |
| (domain immediateSubclass 2 Class) | Merge.kif 154-154 | The number 2 argument of immediate subclass is an instance of class |
| (instance immediateSubclass AsymmetricRelation) | Merge.kif 150-150 | immediate subclass is an instance of asymmetric relation |
| (instance immediateSubclass BinaryPredicate) | Merge.kif 152-152 | immediate subclass is an instance of binary predicate |
| (instance immediateSubclass IntransitiveRelation) | Merge.kif 151-151 | immediate subclass is an instance of intransitive relation |
| 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 29401-29401 | |
| (termFormat ChineseLanguage immediateSubclass "直接子类别") | chinese_format.kif 304-304 | |
| (termFormat ChineseTraditionalLanguage immediateSubclass "直接子類") | domainEnglishFormat.kif 29400-29400 | |
| (termFormat EnglishLanguage immediateSubclass "immediate subclass") | domainEnglishFormat.kif 29399-29399 | |
| (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 |
|
|
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