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 9624-9626
(domain hostileForces 1 MilitaryUnit) Mid-level-ontology.kif 9630-9630 Le nombre 1 argument de hostileForces est une instance de MilitaryUnit
(domain hostileForces 2 MilitaryUnit) Mid-level-ontology.kif 9631-9631 Le nombre 2 argument de hostileForces est une instance de MilitaryUnit
(instance hostileForces BinaryPredicate) Mid-level-ontology.kif 9627-9627 hostileForces est une instance de pr�dicat binaire
(instance hostileForces IrreflexiveRelation) Mid-level-ontology.kif 9628-9628 hostileForces est une instance de relation irr�flexive
(instance hostileForces PartialValuedRelation) Mid-level-ontology.kif 9629-9629 hostileForces est une instance de relation partielle

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 28652-28652
(termFormat ChineseTraditionalLanguage hostileForces "敵對勢力") domainEnglishFormat.kif 28651-28651
(termFormat EnglishLanguage hostileForces "hostile forces") domainEnglishFormat.kif 28650-28650

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


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