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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConstitutionFn

Sigma KEE - ConstitutionFn
ConstitutionFn

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


No TPTP formula. May not be expressible in strict first order. Government.kif 677-680
No TPTP formula. May not be expressible in strict first order. Government.kif 674-674 The number 1 argument of constitution is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Government.kif 673-673 Constitution is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Government.kif 675-675 The values returned by constitution are subclasses of constitution

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 540-540
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 539-539
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 538-538
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16776-16776
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16775-16775
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16774-16774

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


No TPTP formula. May not be expressible in strict first order. Government.kif 774-783


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