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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryUnit
MilitaryUnit

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8382-8383
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8381-8381 MilitaryUnit est une sous-classe de MilitaryOrganization

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 635-635 AssaultAmphibianUnit est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 732-732 Battalion est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 714-714 Brigade est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8409-8409 CavalryUnit est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 736-736 CompanyMilitary est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 672-672 InfantryUnit est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 509-509 LARUnit est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8405-8405 MilitaryCorps est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8402-8402 MilitarySquad est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 84-84 PeacekeepingUnit est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 745-745 Platoon est une sous-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 8451-8451 Le nombre 1 argument de hostileForces est une instance de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8452-8452 Le nombre 2 argument de hostileForces est une instance de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 705-705 Le nombre 1 argument de commandRankOfEchelon est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 691-691 Le nombre 1 argument de subEchelon est une sous-classe de MilitaryUnit
No TPTP formula. May not be expressible in strict first order. Military.kif 692-692 Le nombre 2 argument de subEchelon est une sous-classe de MilitaryUnit

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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