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 commandRankOfEchelon CompanyMilitary and l' union de USMilitaryRankO3 et USMilitaryRankO4
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 subEchelon CompanyMilitary and Platoon
No TPTP formula. May not be expressible in strict first order. Military.kif 736-736 CompanyMilitary est une sous-classe de MilitaryUnit

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


No TPTP formula. May not be expressible in strict first order. Military.kif 733-733 subEchelon Battalion and CompanyMilitary
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 483-483 ArtilleryBattery est une sous-classe de CompanyMilitary
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 501-501 InfantryCompany est une sous-classe de CompanyMilitary
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 563-563 WeaponsCompany est une sous-classe de CompanyMilitary
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