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 和 美国军衔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 公司- 军事 是 军事单位 的 subclass

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 炮兵电池 是 公司- 军事 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 501-501 步兵连 是 公司- 军事 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 563-563 武器公司 是 公司- 军事 的 subclass
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