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