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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Constitution

 Sigma KEE - Constitution
Constitution(宪法)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 613-615
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5929-5929
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6306-6306
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6307-6307
No TPTP formula. May not be expressible in strict first order. Government.kif 611-611 宪法 是 命题 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Government.kif 639-639 宪法 的所得值 是 宪法 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16722-16722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16721-16721
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16720-16720

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


No TPTP formula. May not be expressible in strict first order. Government.kif 617-625
No TPTP formula. May not be expressible in strict first order. Government.kif 627-635

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 652-657


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