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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hat

 Sigma KEE - Hat
Hat(帽子)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5146-5147
No TPTP formula. May not be expressible in strict first order. pictureList.kif 491-491
No TPTP formula. May not be expressible in strict first order. pictureList.kif 110-110
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5148-5148 子類 帽子 and 對於 頭 的 covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5145-5145 子類 帽子 and Clothing

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 371-371 子類 gutrah and 帽子
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 356-356 子類 kufiyyah and 帽子
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 392-392 子類 shimagh and 帽子
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 363-363 子類 tagiyyah and 帽子
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27576-27576
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27575-27575
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27574-27574

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 420-431
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5150-5158


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 is open source software produced by Articulate Software and its partners