| Lawyer(lawyer) | | attorney, barrister, jurist, law_practice, lawyer, legal_expert |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22587-22589 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22583-22583 | Lawyer is an instance of profession |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22585-22585 | Attorney is a subattribute of lawyer |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65098-65098 | Attorney is a subattribute of lawyer |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22590-22592 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Law.kif 296-298 |
|
|
|
|