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 8355-8356
(subclass MilitaryUnit MilitaryOrganization) Mid-level-ontology.kif 8354-8354 军事单位军事组织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 8382-8382 骑兵部队军事单位subclass
(subclass CompanyMilitary 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 8378-8378 军团军事单位subclass
(subclass MilitarySquad MilitaryUnit) Mid-level-ontology.kif 8375-8375 军队军事单位subclass
(subclass PeacekeepingUnit MilitaryUnit) Military.kif 84-84 维和部队军事单位subclass
(subclass Platoon MilitaryUnit) Military.kif 745-745 军事单位subclass
(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 敌对势力 的 1 数量 是 军事单位instance
(domain hostileForces 2 MilitaryUnit) Mid-level-ontology.kif 8425-8425 敌对势力 的 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


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