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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vermont

 Sigma KEE - Lieutenant
Lieutenant(陸軍中尉)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19068-19068
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19067-19067 例 陸軍中尉 and 政府立場
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19066-19066 子屬性 陸軍中尉 and 軍官

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34325-34325
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34324-34324
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34323-34323


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