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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankO3

 Sigma KEE - USMilitaryRankO3
USMilitaryRankO3(美國軍銜o3)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 503-503 例 美國軍銜o3 and 公司等級排名
No TPTP formula. May not be expressible in strict first order. Military.kif 504-504 例 美國軍銜o3 and 美國軍銜
No TPTP formula. May not be expressible in strict first order. Military.kif 505-505 子屬性 美國軍銜o3 and 士兵
No TPTP formula. May not be expressible in strict first order. Military.kif 512-512 繼承屬性 美國軍銜o3 and 美國軍銜o4

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


No TPTP formula. May not be expressible in strict first order. Military.kif 502-502 繼承屬性 美國軍銜o2 and 美國軍銜o3
No TPTP formula. May not be expressible in strict first order. Military.kif 507-507
No TPTP formula. May not be expressible in strict first order. Military.kif 506-506
No TPTP formula. May not be expressible in strict first order. Military.kif 508-508
No TPTP formula. May not be expressible in strict first order. Military.kif 510-510
No TPTP formula. May not be expressible in strict first order. Military.kif 509-509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60974-60974
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60973-60973
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60972-60972

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 742-743 聯盟 美國軍銜o3 and 美國軍銜o4 是 公司- 軍事 的 command 梯隊等級


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