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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryUnit

 Sigma KEE - MilitaryUnit
MilitaryUnit

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8355-8356
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8354-8354 MilitaryUnit e' uma sub-classe de MilitaryOrganization

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 635-635 AssaultAmphibianUnit e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 732-732 Battalion e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 714-714 Brigade e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8382-8382 CavalryUnit e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 736-736 CompanyMilitary e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 672-672 InfantryUnit e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 509-509 LARUnit e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8378-8378 MilitaryCorps e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8375-8375 MilitarySquad e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 84-84 PeacekeepingUnit e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 745-745 Platoon e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37763-37763
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37762-37762
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37761-37761

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8424-8424 O argumento numero 1 de hostileForces e' uma instancia de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8425-8425 O argumento numero 2 de hostileForces e' uma instancia de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 705-705 O argumento numero 1 de commandRankOfEchelon e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 691-691 O argumento numero 1 de subEchelon e' uma sub-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 692-692 O argumento numero 2 de subEchelon e' uma sub-classe de MilitaryUnit

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8358-8367


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