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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17399-17401
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 17411-17411 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 2196-2196 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 3429-3436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17403-17409
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17421-17423
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17413-17419

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 3423-3427


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