| JudgeAtLaw
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21021-21023 | |
| 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 21033-21033 | JudgeAtLaw e' uma instancia de GovernmentPosition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2174-2174 | SupremeCourtJudge e' um sub-atributo de JudgeAtLaw |
| 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 3430-3437 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21025-21031 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21043-21045 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21035-21041 |
|
| 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 3424-3428 |
|
|
|
|