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
-------------------------


(documentation MilitaryUnit EnglishLanguage "Any MilitaryOrganization that can be dispatched to an area of operations.") Mid-level-ontology.kif 8382-8383
(subclass MilitaryUnit MilitaryOrganization) Mid-level-ontology.kif 8381-8381 MilitaryUnit ist eine teilkategorie von MilitaryOrganization

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


(subclass AssaultAmphibianUnit MilitaryUnit) MilitaryPersons.kif 635-635 AssaultAmphibianUnit ist eine teilkategorie von MilitaryUnit
(subclass Battalion MilitaryUnit) Military.kif 732-732 Battalion ist eine teilkategorie von MilitaryUnit
(subclass Brigade MilitaryUnit) Military.kif 714-714 Brigade ist eine teilkategorie von MilitaryUnit
(subclass CavalryUnit MilitaryUnit) Mid-level-ontology.kif 8409-8409 CavalryUnit ist eine teilkategorie von MilitaryUnit
(subclass CompanyMilitary MilitaryUnit) Military.kif 736-736 CompanyMilitary ist eine teilkategorie von MilitaryUnit
(subclass InfantryUnit MilitaryUnit) Military.kif 672-672 InfantryUnit ist eine teilkategorie von MilitaryUnit
(subclass LARUnit MilitaryUnit) MilitaryPersons.kif 509-509 LARUnit ist eine teilkategorie von MilitaryUnit
(subclass MilitaryCorps MilitaryUnit) Mid-level-ontology.kif 8405-8405 MilitaryCorps ist eine teilkategorie von MilitaryUnit
(subclass MilitarySquad MilitaryUnit) Mid-level-ontology.kif 8402-8402 MilitarySquad ist eine teilkategorie von MilitaryUnit
(subclass PeacekeepingUnit MilitaryUnit) Military.kif 84-84 PeacekeepingUnit ist eine teilkategorie von MilitaryUnit
(subclass Platoon MilitaryUnit) Military.kif 745-745 Platoon ist eine teilkategorie von MilitaryUnit
(termFormat ChineseLanguage MilitaryUnit "军事单位") domainEnglishFormat.kif 37763-37763
(termFormat ChineseTraditionalLanguage MilitaryUnit "軍事單位") domainEnglishFormat.kif 37762-37762
(termFormat EnglishLanguage MilitaryUnit "military unit") domainEnglishFormat.kif 37761-37761

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


(domain hostileForces 1 MilitaryUnit) Mid-level-ontology.kif 8451-8451 Die Zahl 1 Argument von hostileForces ist ein fall von MilitaryUnit %n{nicht}
(domain hostileForces 2 MilitaryUnit) Mid-level-ontology.kif 8452-8452 Die Zahl 2 Argument von hostileForces ist ein fall von MilitaryUnit %n{nicht}
(domainSubclass commandRankOfEchelon 1 MilitaryUnit) Military.kif 705-705 Die Zahl 1 Argument von commandRankOfEchelon ist eine teilkategorie von MilitaryUnit %n{nicht}
(domainSubclass subEchelon 1 MilitaryUnit) Military.kif 691-691 Die Zahl 1 Argument von subEchelon ist eine teilkategorie von MilitaryUnit %n{nicht}
(domainSubclass subEchelon 2 MilitaryUnit) Military.kif 692-692 Die Zahl 2 Argument von subEchelon ist eine teilkategorie von MilitaryUnit %n{nicht}

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


(=>
    (instance ?B Battle)
    (exists (?U1 ?U2)
        (and
            (instance ?U1 MilitaryUnit)
            (instance ?U2 MilitaryUnit)
            (not
                (equal ?U1 ?U2))
            (agent ?B ?U1)
            (agent ?B ?U2))))
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