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 20335-20337
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4913-4913
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20347-20347 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 2207-2207 Supreme court judge is a subattribute of judge
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31824-31824
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31823-31823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31822-31822

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3458-3465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20339-20345
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20357-20359
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20349-20355

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


No TPTP formula. May not be expressible in strict first order. Law.kif 245-248
No TPTP formula. May not be expressible in strict first order. Government.kif 3452-3456


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