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 a uniao de USMilitaryRankO3 e 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 e' uma sub-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 e' uma sub-classe de CompanyMilitary
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 501-501 InfantryCompany e' uma sub-classe de CompanyMilitary
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 563-563 WeaponsCompany e' uma sub-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