TreeView Knowledge Base Browser

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 9778-9780
(instance hostileForces BinaryPredicate)	Mid-level-ontology.kif 9781-9781	hostile forces is an instance of binary predicate
(instance hostileForces IrreflexiveRelation)	Mid-level-ontology.kif 9782-9782	hostile forces is an instance of irreflexive relation
(instance hostileForces PartialValuedRelation)	Mid-level-ontology.kif 9783-9783	hostile forces is an instance of partial valued relation
(domain hostileForces 1 MilitaryUnit)	Mid-level-ontology.kif 9784-9784	The number 1 argument of hostile forces is an instance of military unit
(domain hostileForces 2 MilitaryUnit)	Mid-level-ontology.kif 9785-9785	The number 2 argument of hostile forces is an instance of military unit

appearance as argument number 2

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

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

If X is a hostile forces of Y, then there exist Z, W, V such that Z is an instance of war, W participates in Z, V participates in Z, Y is a part of the organization the government of W, and X is a part of the organization the government of V