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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoliticalRevolution

Sigma KEE - PoliticalRevolution
PoliticalRevolution

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13905-13907
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13903-13903 PoliticalRevolution e' uma sub-classe de Processo Politico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13904-13904 PoliticalRevolution e' uma sub-classe de ViolentContest

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46527-46527
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46526-46526
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46525-46525

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13915-13927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13909-13913


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