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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankO2

 Sigma KEE - USMilitaryRankO2
USMilitaryRankO2(美國軍銜o2)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 493-493 例 美國軍銜o2 and 公司等級排名
No TPTP formula. May not be expressible in strict first order. Military.kif 494-494 例 美國軍銜o2 and 美國軍銜
No TPTP formula. May not be expressible in strict first order. Military.kif 495-495 子屬性 美國軍銜o2 and 士兵
No TPTP formula. May not be expressible in strict first order. Military.kif 502-502 繼承屬性 美國軍銜o2 and 美國軍銜o3

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


No TPTP formula. May not be expressible in strict first order. Military.kif 755-755 美國軍銜o2 是 排 的 command 梯隊等級
No TPTP formula. May not be expressible in strict first order. Military.kif 492-492 繼承屬性 美國軍銜o1 and 美國軍銜o2
No TPTP formula. May not be expressible in strict first order. Military.kif 497-497
No TPTP formula. May not be expressible in strict first order. Military.kif 496-496
No TPTP formula. May not be expressible in strict first order. Military.kif 498-498
No TPTP formula. May not be expressible in strict first order. Military.kif 500-500
No TPTP formula. May not be expressible in strict first order. Military.kif 499-499
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60968-60968
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60967-60967
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60966-60966


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