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 8004-8005
(subclass MilitaryUnit MilitaryOrganization) Mid-level-ontology.kif 8003-8003 军事单位军事组织subclass

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


(subclass AssaultAmphibianUnit MilitaryUnit) MilitaryPersons.kif 635-635 突击两栖动物单位军事单位subclass
(subclass Battalion MilitaryUnit) Military.kif 732-732 军事单位subclass
(subclass Brigade MilitaryUnit) Military.kif 714-714 军事单位subclass
(subclass CavalryUnit MilitaryUnit) Mid-level-ontology.kif 8031-8031 骑兵部队军事单位subclass
(subclass Company-Military MilitaryUnit) Military.kif 736-736 公司- 军事军事单位subclass
(subclass InfantryUnit MilitaryUnit) Military.kif 672-672 步兵部队军事单位subclass
(subclass LARUnit MilitaryUnit) MilitaryPersons.kif 509-509 LAR单位军事单位subclass
(subclass MilitaryCorps MilitaryUnit) Mid-level-ontology.kif 8027-8027 军团军事单位subclass
(subclass MilitarySquad MilitaryUnit) Mid-level-ontology.kif 8024-8024 军队军事单位subclass
(subclass PeacekeepingUnit MilitaryUnit) Military.kif 84-84 维和部队军事单位subclass
(subclass Platoon MilitaryUnit) Military.kif 745-745 军事单位subclass
(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 8073-8073 敌对势力 的 1 数量 是 军事单位instance
(domain hostileForces 2 MilitaryUnit) Mid-level-ontology.kif 8074-8074 敌对势力 的 2 数量 是 军事单位instance
(domainSubclass commandRankOfEchelon 1 MilitaryUnit) Military.kif 705-705 梯队指挥等级 的 1 数量 是 军事单位subclass
(domainSubclass subEchelon 1 MilitaryUnit) Military.kif 691-691 次梯队 的 1 数量 是 军事单位subclass
(domainSubclass subEchelon 2 MilitaryUnit) Military.kif 692-692 次梯队 的 2 数量 是 军事单位subclass

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


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