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 8355-8356
(subclass MilitaryUnit MilitaryOrganization) Mid-level-ontology.kif 8354-8354 MilitaryUnit è una sottoclasse di MilitaryOrganization

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


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

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