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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SupremeCourt
SupremeCourt(supreme court)
Supreme_Court, Supreme_Court_of_the_United_States, United_States_Supreme_Court

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2173-2176
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5080-5080
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5079-5079
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4943-4943
No TPTP formula. May not be expressible in strict first order. Government.kif 2171-2171 Supreme court is a subclass of judicial organization

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2180-2180 The values returned by supreme court are subclasses of supreme court
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56269-56269
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56268-56268
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56267-56267

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2191-2196

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2215-2219


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