| 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 7307-7309 | |
| (domain hostileForces 1 MilitaryUnit) | Mid-level-ontology.kif 7313-7313 | |
| (domain hostileForces 2 MilitaryUnit) | Mid-level-ontology.kif 7314-7314 | |
| (instance hostileForces BinaryPredicate) | Mid-level-ontology.kif 7310-7310 | |
| (instance hostileForces IrreflexiveRelation) | Mid-level-ontology.kif 7311-7311 | |
| (instance hostileForces PartialValuedRelation) | Mid-level-ontology.kif 7312-7312 |
| 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 28632-28632 | |
| (termFormat ChineseTraditionalLanguage hostileForces "敵對勢力") | domainEnglishFormat.kif 28631-28631 | |
| (termFormat EnglishLanguage hostileForces "hostile forces") | domainEnglishFormat.kif 28630-28630 |
| 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 7316-7324 |
|
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