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 210-212
(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 205-208
(documentation immediateSubclass JapaneseLanguage "SetOrClass ?CLASS1 は別の SetOrClass ?CLASS2 の immediateSubclass。万が一に備えて ?CLASS1 が ?CLASS2 の サブクラスで、および ?CLASS1 もそのサブクラスであるように、 ?CLASS2 の他のサブクラスはない。") Merge.kif 214-216
(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 .") Merge.kif 218-221
(domain immediateSubclass 1 SetOrClass) Merge.kif 203-203 immediateSubclass の数値 1 引数は 同じセットまたはクラスinstance では %n
(domain immediateSubclass 2 SetOrClass) Merge.kif 204-204 immediateSubclass の数値 2 引数は 同じセットまたはクラスinstance では %n
(instance immediateSubclass AsymmetricRelation) Merge.kif 201-201 immediateSubclass非対称関係instance では %n
(instance immediateSubclass IntransitiveRelation) Merge.kif 202-202 immediateSubclass非推移関係instance では %n

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 430-430
(format JapaneseLanguage immediateSubclass "%1 は %2 の immediate の サブクラス では %n") english_format.kif 431-431
(termFormat ChineseLanguage immediateSubclass "直接子类") domainEnglishFormat.kif 29275-29275 termFormat ChineseLanguage, immediateSubclass and "直接子类"
(termFormat ChineseLanguage immediateSubclass "直接子类别") chinese_format.kif 304-304 termFormat ChineseLanguage, immediateSubclass and "直接子类别"
(termFormat ChineseTraditionalLanguage immediateSubclass "直接子類") domainEnglishFormat.kif 29274-29274 termFormat ChineseTraditionalLanguage, immediateSubclass and "直接子類"
(termFormat EnglishLanguage immediateSubclass "immediate subclass") domainEnglishFormat.kif 29273-29273 termFormat EnglishLanguage, immediateSubclass and "immediate subclass"

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


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


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