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


(documentation MilitaryUnit EnglishLanguage "Any MilitaryOrganization that can be dispatched to an area of operations.") Mid-level-ontology.kif 8355-8356
(subclass MilitaryUnit MilitaryOrganization) Mid-level-ontology.kif 8354-8354

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


(subclass AssaultAmphibianUnit MilitaryUnit) MilitaryPersons.kif 635-635
(subclass Battalion MilitaryUnit) Military.kif 732-732
(subclass Brigade MilitaryUnit) Military.kif 714-714
(subclass CavalryUnit MilitaryUnit) Mid-level-ontology.kif 8382-8382
(subclass CompanyMilitary MilitaryUnit) Military.kif 736-736
(subclass InfantryUnit MilitaryUnit) Military.kif 672-672
(subclass LARUnit MilitaryUnit) MilitaryPersons.kif 509-509
(subclass MilitaryCorps MilitaryUnit) Mid-level-ontology.kif 8378-8378
(subclass MilitarySquad MilitaryUnit) Mid-level-ontology.kif 8375-8375
(subclass PeacekeepingUnit MilitaryUnit) Military.kif 84-84
(subclass Platoon MilitaryUnit) Military.kif 745-745
(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 8424-8424
(domain hostileForces 2 MilitaryUnit) Mid-level-ontology.kif 8425-8425
(domainSubclass commandRankOfEchelon 1 MilitaryUnit) Military.kif 705-705
(domainSubclass subEchelon 1 MilitaryUnit) Military.kif 691-691
(domainSubclass subEchelon 2 MilitaryUnit) Military.kif 692-692

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