Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CivilWar

Sigma KEE - CivilWar
CivilWar(civil war)
civil_war

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19716-19717
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 19715-19715 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 19719-19727


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