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


No TPTP formula. May not be expressible in strict first order. Merge.kif 169-171
No TPTP formula. May not be expressible in strict first order. Merge.kif 165-168
No TPTP formula. May not be expressible in strict first order. Merge.kif 163-163 immediate subclass is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 164-164 immediate subclass is an instance of intransitive relation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 303-303
No TPTP formula. May not be expressible in strict first order. english_format.kif 184-184
No TPTP formula. May not be expressible in strict first order. french_format.kif 174-174
No TPTP formula. May not be expressible in strict first order. relations-it.txt 140-140
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 126-126
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 119-119
No TPTP formula. May not be expressible in strict first order. relations-de.txt 397-397
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 179-179
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 284-284
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 304-304 "直接子类别" is the printable form of immediate subclass in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5312-5312 "immediate subclass" is the printable form of immediate subclass in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 569-569 "«صِنْف فَرْعِي مُبَاشِرلـ»" is the printable form of immediate subclass in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 285-285 "agad klase ng mababa" is the printable form of immediate subclass in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 174-181


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