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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - MilitaryUnit

appearance as argument number 1

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

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 7985-7985
(subclass Company-Military 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 7981-7981
(subclass MilitarySquad MilitaryUnit) Mid-level-ontology.kif 7978-7978
(subclass PeacekeepingUnit MilitaryUnit) Military.kif 84-84
(subclass Platoon MilitaryUnit) Military.kif 745-745
(termFormat ChineseLanguage MilitaryUnit "军事单位") domainEnglishFormat.kif 37752-37752
(termFormat ChineseTraditionalLanguage MilitaryUnit "軍事單位") domainEnglishFormat.kif 37751-37751
(termFormat EnglishLanguage MilitaryUnit "military unit") domainEnglishFormat.kif 37750-37750

appearance as argument number 3

(domain hostileForces 1 MilitaryUnit) Mid-level-ontology.kif 8027-8027
(domain hostileForces 2 MilitaryUnit) Mid-level-ontology.kif 8028-8028
(domainSubclass commandRankOfEchelon 1 MilitaryUnit) Military.kif 705-705
(domainSubclass subEchelon 1 MilitaryUnit) Military.kif 691-691
(domainSubclass subEchelon 2 MilitaryUnit) Military.kif 692-692


    (instance ?B Battle)
    (exists (?U1 ?U2)
            (instance ?U1 MilitaryUnit)
            (instance ?U2 MilitaryUnit)
                (equal ?U1 ?U2))
            (agent ?B ?U1)
            (agent ?B ?U2))))
Mid-level-ontology.kif 7961-7970

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