CivilWar - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CivilWar

CivilWar(civil war)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19689-19690
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5917-5917
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6276-6276
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6277-6277
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19688-19688	Civil war is a subclass of war

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14988-14988
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14987-14987
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14986-14986

antecedent

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

Mid-level-ontology.kif 19692-19700

If a contest is an instance of civil war,
then there exists a geopolitical area such that the geopolitical area is an instance of nation and for all another geopolitical area
- if the other geopolitical area participates in the contest,
- then the other geopolitical area is a geopolitical part of the 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