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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SupremeCourtJudge

Sigma KEE - SupremeCourtJudge
SupremeCourtJudge(supreme court judge)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2209-2210
No TPTP formula. May not be expressible in strict first order. Government.kif 2206-2206 Supreme court judge is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 2207-2207 Supreme court judge is a subattribute of judge

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56260-56260
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56259-56259
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56258-56258

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2212-2216


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