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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Battalion

 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 陆军中尉 是 政府立场 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19066-19066 陆军中尉 是 军官 的 subAttribute

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