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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankWO1

 Sigma KEE - USMilitaryRankWO1
USMilitaryRankWO1(美國軍銜o)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 627-627 例 美國軍銜o and 美國軍銜
No TPTP formula. May not be expressible in strict first order. Military.kif 626-626 例 美國軍銜o and 美國準尉軍銜
No TPTP formula. May not be expressible in strict first order. Military.kif 628-628 子屬性 美國軍銜o and 士兵
No TPTP formula. May not be expressible in strict first order. Military.kif 634-634 繼承屬性 美國軍銜o and 美國軍銜o2

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


No TPTP formula. May not be expressible in strict first order. Military.kif 632-632
No TPTP formula. May not be expressible in strict first order. Military.kif 630-630
No TPTP formula. May not be expressible in strict first order. Military.kif 631-631
No TPTP formula. May not be expressible in strict first order. Military.kif 629-629
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61022-61022
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61021-61021
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61020-61020


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