TreeView Knowledge Base Browser - hostileForces

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 8418-8420
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8424-8424	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 8425-8425	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 8421-8421	hostile forces is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8422-8422	hostile forces is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8423-8423	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 8427-8435

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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