hostileForces - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8445-8447
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8451-8451	The number 1 argument of hostile forces is an instance of military unit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8452-8452	The number 2 argument of hostile forces is an instance of military unit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8448-8448	hostile forces is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8449-8449	hostile forces is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8450-8450	hostile forces is an instance of partial valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1201-1201
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1200-1200
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1199-1199
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28641-28641
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28640-28640
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28639-28639

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 8454-8462

If a military unit is a hostile forces of another military unit,
then there exist a contest, a geopolitical area and another geopolitical area such that the contest is an instance of war and the geopolitical area participates in the contest and the other geopolitical area participates in the contest and the other military unit is a part of the organization the government of the geopolitical area and the military unit is a part of the organization the government of the other geopolitical area

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