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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JudgeAtLaw

Sigma KEE - JudgeAtLaw
JudgeAtLaw(judge)
Bench, chief_justice, judge, judgeship, judicature, jurist, justice, magistrate, ordinary, praetor, pretor, qadi, trial_judge, trier

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20994-20996
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4912-4912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21006-21006 Judge is an instance of government position

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2210-2210 Supreme court judge is a subattribute of judge
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31837-31837
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31836-31836
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31835-31835

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3466-3473
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20998-21004
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21016-21018
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21008-21014

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


No TPTP formula. May not be expressible in strict first order. Law.kif 202-205
No TPTP formula. May not be expressible in strict first order. Government.kif 3460-3464


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