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 的子类别。") Merge.kif 171-173
(documentation immediateSubclass EnglishLanguage "A SetOrClass ?CLASS1 is an immediateSubclass of another SetOrClass ?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 167-170
(domain immediateSubclass 1 SetOrClass) Merge.kif 165-165 The number 1 argument of immediate subclass is an instance of set or class
(domain immediateSubclass 2 SetOrClass) Merge.kif 166-166 The number 2 argument of immediate subclass is an instance of set or class
(instance immediateSubclass AsymmetricRelation) Merge.kif 163-163 immediate subclass is an instance of asymmetric relation
(instance immediateSubclass IntransitiveRelation) Merge.kif 164-164 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 184-184
(termFormat ChineseLanguage immediateSubclass "直接子类别") chinese_format.kif 304-304 "直接子类别" is the printable form of immediate subclass in ChineseLanguage
(termFormat EnglishLanguage immediateSubclass "immediate subclass") domainEnglishFormat.kif 5312-5312 "immediate subclass" is the printable form of immediate subclass in english language

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners