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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CompanyMilitary

 Sigma KEE - CompanyMilitary
CompanyMilitary(公司- 軍事)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 742-743 聯盟 美國軍銜o3 and 美國軍銜o4 是 公司- 軍事 的 command 梯隊等級
No TPTP formula. May not be expressible in strict first order. Military.kif 738-741
No TPTP formula. May not be expressible in strict first order. Military.kif 737-737 排 是 公司- 軍事 的 sub 梯隊
No TPTP formula. May not be expressible in strict first order. Military.kif 736-736 子類 公司- 軍事 and 軍事單位

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


No TPTP formula. May not be expressible in strict first order. Military.kif 733-733 公司- 軍事 是 營 的 sub 梯隊
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 483-483 子類 砲兵電池 and 公司- 軍事
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 501-501 子類 步兵連 and 公司- 軍事
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 563-563 子類 武器公司 and 公司- 軍事
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16128-16128
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16127-16127
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16126-16126


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