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 9642-9644
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9648-9648	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 9649-9649	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 9645-9645	hostile forces is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9646-9646	hostile forces is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9647-9647	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 28669-28669
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28668-28668
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28667-28667

antecedent

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

Mid-level-ontology.kif 9651-9659

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