Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  immediateSubclass

 Sigma KEE - immediateSubclass
immediateSubclass

appearance as argument number 1
-------------------------


(instance immediateSubclass AsymmetricRelation) Merge.kif 144-144 immediate subclass is an instance of asymmetric relation
(instance immediateSubclass IntransitiveRelation) Merge.kif 145-145 immediate subclass is an instance of intransitive relation
(instance immediateSubclass BinaryPredicate) Merge.kif 146-146 immediate subclass is an instance of binary predicate
(domain immediateSubclass 1 Class) Merge.kif 147-147 The number 1 argument of immediate subclass is an instance of class
(domain immediateSubclass 2 Class) Merge.kif 148-148 The number 2 argument of immediate subclass is an instance of class
(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 149-152 The number 2 argument of immediate subclass is an instance of class

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage immediateSubclass "immediate subclass") domainEnglishFormat.kif 29369-29369
(termFormat ChineseTraditionalLanguage immediateSubclass "直接子類") domainEnglishFormat.kif 29370-29370
(termFormat ChineseLanguage immediateSubclass "直接子类") domainEnglishFormat.kif 29371-29371
(format EnglishLanguage immediateSubclass "%1 is %n an immediate subclass of %2") english_format.kif 308-308

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


(=>
    (immediateSubclass ?CLASS1 ?CLASS2)
    (not
        (exists (?CLASS3)
            (and
                (subclass ?CLASS3 ?CLASS2)
                (subclass ?CLASS1 ?CLASS3)
                (not
                    (equal ?CLASS2 ?CLASS3))
                (not
                    (equal ?CLASS1 ?CLASS3))))))		 Merge.kif 154-161 If X is an immediate subclass of Y, then there doesn't exist Z such that Z is a subclass of Y, X is a subclass of Z, equal Y, Z, equal X, and Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners