Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 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))))) |
Mid-level-ontology.kif 9787-9795 | 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 |
|