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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Corporal

 Sigma KEE - Corporal
Corporal(下士)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19058-19058
No TPTP formula. May not be expressible in strict first order. pictureList.kif 369-369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19057-19057 例 下士 and 政府立場
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19056-19056 子屬性 下士 and 軍官

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17358-17358
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17357-17357
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17356-17356


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