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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CompanyMilitary

 Sigma KEE - CompanyMilitary
CompanyMilitary(company- military)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 742-743 The union of US military rank o3 and US military rank o4 is a command rank of echelon of company- military
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 Platoon is a sub echelon of company- military
No TPTP formula. May not be expressible in strict first order. Military.kif 736-736 Company- military is a subclass of military unit

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


No TPTP formula. May not be expressible in strict first order. Military.kif 733-733 Company- military is a sub echelon of battalion
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 483-483 Artillery battery is a subclass of company- military
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 501-501 Infantry company is a subclass of company- military
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 563-563 Weapons company is a subclass of company- military
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