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

Formal Language: 



KB Term:  Term intersection
English Word: 

  immediateSubclass

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 153-156
(domain immediateSubclass 1 Class) Merge.kif 151-151
(domain immediateSubclass 2 Class) Merge.kif 152-152
(instance immediateSubclass AsymmetricRelation) Merge.kif 148-148
(instance immediateSubclass BinaryPredicate) Merge.kif 150-150
(instance immediateSubclass IntransitiveRelation) Merge.kif 149-149

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
(termFormat ChineseLanguage immediateSubclass "直接子类") domainEnglishFormat.kif 29358-29358
(termFormat ChineseLanguage immediateSubclass "直接子类别") chinese_format.kif 304-304
(termFormat ChineseTraditionalLanguage immediateSubclass "直接子類") domainEnglishFormat.kif 29357-29357
(termFormat EnglishLanguage immediateSubclass "immediate subclass") domainEnglishFormat.kif 29356-29356

antecedent
-------------------------


(=>
    (immediateSubclass ?CLASS1 ?CLASS2)
    (not
        (exists (?CLASS3)
            (and
                (subclass ?CLASS3 ?CLASS2)
                (subclass ?CLASS1 ?CLASS3)
                (not
                    (equal ?CLASS2 ?CLASS3))
                (not
                    (equal ?CLASS1 ?CLASS3))))))
Merge.kif 158-165


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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