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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hostileForces
hostileForces

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


(documentation hostileForces EnglishLanguage "(hostileForces ?UNIT1 ?UNIT2) means that the MilitaryUnits ?UNIT1 and ?UNIT2 are, respectively, allied with GeopoliticalAreas that are at war with one another.") Mid-level-ontology.kif 8418-8420
(domain hostileForces 1 MilitaryUnit) Mid-level-ontology.kif 8424-8424 敌对势力 的 1 数量 是 军事单位instance
(domain hostileForces 2 MilitaryUnit) Mid-level-ontology.kif 8425-8425 敌对势力 的 2 数量 是 军事单位instance
(instance hostileForces BinaryPredicate) Mid-level-ontology.kif 8421-8421 敌对势力二元谓语instance
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 8422-8422 敌对势力非自反关系instance
(instance hostileForces PartialValuedRelation) Mid-level-ontology.kif 8423-8423 敌对势力部分值关系instance

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


(format ChineseLanguage hostileForces "%2 %n 是 %1 的 hostile 力量") domainEnglishFormat.kif 1201-1201
(format ChineseTraditionalLanguage hostileForces "%2 %n 是 %1 的 hostile 力量") domainEnglishFormat.kif 1200-1200
(format EnglishLanguage hostileForces "%2 is %n a hostile forces of %1") domainEnglishFormat.kif 1199-1199
(termFormat ChineseLanguage hostileForces "敌对势力") domainEnglishFormat.kif 28641-28641
(termFormat ChineseTraditionalLanguage hostileForces "敵對勢力") domainEnglishFormat.kif 28640-28640
(termFormat EnglishLanguage hostileForces "hostile forces") domainEnglishFormat.kif 28639-28639

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


(=>
    (hostileForces ?U1 ?U2)
    (exists (?WAR ?A1 ?A2)
        (and
            (instance ?WAR War)
            (contestParticipant ?WAR ?A1)
            (contestParticipant ?WAR ?A2)
            (subOrganization ?U1
                (GovernmentFn ?A1))
            (subOrganization ?U2
                (GovernmentFn ?A2)))))
Mid-level-ontology.kif 8427-8435


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