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
-------------------------


s__documentation(s__immediateSubclass__m,s__ChineseLanguage,'一个SetOrClass的 ?CLASS1 是另一个 SetOrClass ?CLASS2 的immediateSubclass, 为免 ?CLASS1 成为 ?CLASS2 的子类别,而 ?CLASS2 再没有子类别,这样 ?CLASS1 也是 ?CLASS2 的子类别。')

Merge.kif 171-173
s__documentation(s__immediateSubclass__m,s__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
s__domain(s__immediateSubclass__m,1,s__SetOrClass)

Merge.kif 165-165
s__domain(s__immediateSubclass__m,2,s__SetOrClass)

Merge.kif 166-166
s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 163-163
s__instance(s__IntransitiveRelation,s__SetOrClass)

Merge.kif 164-164

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


s__format(s__ChineseLanguage,s__immediateSubclass__m,'%1 %n 是 %2 的 immediateSubclass')

chinese_format.kif 303-303
s__format(s__EnglishLanguage,s__immediateSubclass__m,'%1 is %n an immediate subclass of %2')

english_format.kif 184-184
s__format(s__FrenchLanguage,s__immediateSubclass__m,'%1 est %n une sous-classe imm�diate de %2')

french_format.kif 174-174
s__format(s__ItalianLanguage,s__immediateSubclass__m,'%1 � una sottoclasse immediata di %2')

relations-it.txt 140-140
s__format(s__PortugueseLanguage,s__immediateSubclass__m,'%1 e %n uma sub-classe imediata de %2')

portuguese_format.kif 126-126
s__format(s__ar__m,s__immediateSubclass__m,'%1 هو %n صِنْف فَرْعِي مُبَاشِرلـ %2')

arabic_format.kif 119-119
s__format(s__de__m,s__immediateSubclass__m,'%1 ist eine direkte teilkategorie von %2')

relations-de.txt 397-397
s__format(s__hi__m,s__immediateSubclass__m,'%1 %2 kaa nikaTastha upavarga hai')

relations-hindi.txt 179-179
s__format(s__tg__m,s__immediateSubclass__m,'%1 ay ang agad klase ng mababa sa %2')

relations-tg.txt 284-284
s__termFormat(s__ChineseLanguage,s__immediateSubclass__m,'直接子类别')

chinese_format.kif 304-304
s__termFormat(s__EnglishLanguage,s__immediateSubclass__m,'immediate subclass')

domainEnglishFormat.kif 5312-5312
s__termFormat(s__ar__m,s__immediateSubclass__m,'«صِنْف فَرْعِي مُبَاشِرلـ»')

arabic_format.kif 569-569
s__termFormat(s__tg__m,s__immediateSubclass__m,'agad klase ng mababa')

relations-tg.txt 285-285

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


( ! [V__CLASS1,V__CLASS2] :
   (s__immediateSubclass(V__CLASS1,V__CLASS2)
   =>
   (~ (? [V__CLASS3] :
       (s__subclass(V__CLASS3,V__CLASS2)
       &
       s__subclass(V__CLASS1,V__CLASS3)
     &
     (~ (V__CLASS2 = V__CLASS3))
     &
     (~ (V__CLASS1 = V__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