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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankWO4

 Sigma KEE - USMilitaryRankWO4
USMilitaryRankWO4(美軍軍銜o4)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 657-657 例 美軍軍銜o4 and 委任軍官級別
No TPTP formula. May not be expressible in strict first order. Military.kif 656-656 例 美軍軍銜o4 and 美國軍銜
No TPTP formula. May not be expressible in strict first order. Military.kif 655-655 例 美軍軍銜o4 and 美國準尉軍銜
No TPTP formula. May not be expressible in strict first order. Military.kif 658-658 子屬性 美軍軍銜o4 and 士兵
No TPTP formula. May not be expressible in strict first order. Military.kif 664-664 繼承屬性 美軍軍銜o4 and 美軍軍銜o5

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


No TPTP formula. May not be expressible in strict first order. Military.kif 654-654 繼承屬性 美軍軍銜W3 and 美軍軍銜o4
No TPTP formula. May not be expressible in strict first order. Military.kif 659-659
No TPTP formula. May not be expressible in strict first order. Military.kif 662-662
No TPTP formula. May not be expressible in strict first order. Military.kif 660-660
No TPTP formula. May not be expressible in strict first order. Military.kif 661-661
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61040-61040
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61039-61039
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61038-61038


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