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


KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryOrganization
MilitaryOrganization(military organization)ACE, ACLANT, Allied_Command_Atlantic, Allied_Command_Europe, Communist_Party_of_Kampuchea, French_Foreign_Legion, KR, Khmer_Rouge, Lord's_Resistance_Army, Mujahedeen_Khalq, Party_of_Democratic_Kampuchea, SA, SHAPE, Special_Forces, Storm_Troops, Sturmabteilung, Supreme_Headquarters_Allied_Powers_Europe, U._S._Army_Special_Forces, United_States_Army_Special_Forces, army_unit, battle_group, division, garrison, military, militia, regiment, reserves

appearance as argument number 1
-------------------------


(subclass MilitaryOrganization MilitaryForce) Merge.kif 17023-17023 Military organization is a subclass of military force
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 17024-17024 Military organization is a subclass of government organization
(documentation MilitaryOrganization EnglishLanguage "Any heavily armed Organization that is part of a Government and that is charged with representing the Government in international conflicts.") Merge.kif 17025-17027 Military organization is a subclass of government organization

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


(subclass MilitaryService MilitaryOrganization) Mid-level-ontology.kif 9659-9659 Military service is a subclass of military organization
(subclass MilitaryUnit MilitaryOrganization) Mid-level-ontology.kif 9676-9676 Military unit is a subclass of military organization
(subclass MilitaryReserveForce MilitaryOrganization) Mid-level-ontology.kif 9691-9691 Military reserve force is a subclass of military organization
(subclass PeaceKeepingMission MilitaryOrganization) Mid-level-ontology.kif 24746-24746 Peace keeping mission is a subclass of military organization
(termFormat EnglishLanguage MilitaryOrganization "military organization") domainEnglishFormat.kif 37679-37679 Peace keeping mission is a subclass of military organization
(termFormat ChineseTraditionalLanguage MilitaryOrganization "軍事組織") domainEnglishFormat.kif 37680-37680 Peace keeping mission is a subclass of military organization
(termFormat ChineseLanguage MilitaryOrganization "军事组织") domainEnglishFormat.kif 37681-37681 Peace keeping mission is a subclass of military organization

antecedent
-------------------------


(=>
    (and
        (instance ?ORG MilitaryOrganization)
        (holdsDuring ?T1
            (member ?X ?ORG))
        (instance ?X Human))
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson)))		 Mid-level-ontology.kif 24701-24706 If X is an instance of military organization, Y is a member of X holds during Z, and Y is an instance of human, then military person is an attribute of Y holds during Z

consequent
-------------------------


(=>
    (instance ?S MilitarySurplus)
    (exists (?A ?B)
        (and
            (instance ?B Buying)
            (patient ?B ?A)
            (objectTransferred ?B ?S)
            (not
                (instance ?A MilitaryOrganization))
            (not
                (member ?A MilitaryOrganization)))))		 Mid-level-ontology.kif 9728-9738 If X is an instance of military surplus, then there exist Y, Z such that Z is an instance of buying, Y is a patient of Z, the object transferred in Z is X, Y is not an instance of military organization, and Y is not a member of military organization
(=>
    (instance ?A MilitaryArtifact)
    (hasPurpose ?A
        (exists (?O)
            (and
                (instance ?O MilitaryOrganization)
                (uses ?A ?O)))))		 Mid-level-ontology.kif 19707-19713 If X is an instance of military artifact, then X has the purpose there exists Y such that Y is an instance of military organization and Y uses X
(=>
    (attribute ?OFFICER MilitaryOfficer)
    (exists (?MANAGE ?PATIENT)
        (and
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?OFFICER)
            (patient ?MANAGE ?PATIENT)
            (or
                (instance ?PATIENT MilitaryOrganization)
                (attribute ?PATIENT Soldier)))))		 Mid-level-ontology.kif 20895-20904 If military officer is an attribute of X, then there exist Y, Z such that Y is an instance of managing, X is an agent of Y, Z is a patient of Y, and Z is an instance of military organization or soldier is an attribute of Z
(=>
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson))
    (exists (?ORG)
        (and
            (instance ?ORG MilitaryOrganization)
            (holdsDuring ?T1
                (member ?X ?ORG)))))		 Mid-level-ontology.kif 24694-24699 If military person is an attribute of X holds during Y, then there exists Z such that Z is an instance of military organization and X is a member of Z holds during Y


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.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners