Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - immediateSubclass
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 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 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


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