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	Le nombre 1 argument de hostileForces est une instance de MilitaryUnit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8425-8425	Le nombre 2 argument de hostileForces est une instance de MilitaryUnit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8421-8421	hostileForces est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8422-8422	hostileForces est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8423-8423	hostileForces est une instance de relation partielle

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

hostileForces MilitaryUnit and MilitaryUnit
affrontement secteur g�opolitique and secteur g�opolitique affrontement est une instance de guerre contestParticipant affrontement and secteur g�opolitique contestParticipant affrontement and secteur g�opolitique MilitaryUnit est une partie de l'organization le gouvernment de secteur g�opolitique MilitaryUnit est une partie de l'organization le gouvernment de secteur g�opolitique

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