![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Attorney
|
|
|
| appearance as argument number 1 |
|
|
| (instance Attorney Profession) | Mid-level-ontology.kif 23209-23209 | Attorney is an instance of profession |
| (subAttribute Attorney Lawyer) | Mid-level-ontology.kif 23210-23210 | Attorney is a subattribute of lawyer |
| (externalImage Attorney "http://upload.wikimedia.org/wikipedia/commons/4/ 44/ Abraham_Lincoln_head_on_shoulders_photo_portrait.jpg") | pictureList.kif 4858-4858 | Attorney is a subattribute of lawyer |
| (externalImage Attorney "http://upload.wikimedia.org/wikipedia/commons/3/ 3c/ Maitre_garbade_epitoge.jpg") | pictureList.kif 4859-4859 | Attorney is a subattribute of lawyer |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attorney ?A ?P) (attribute ?P Attorney)) |
Law.kif 428-430 | If X is an attorney in Y, then attorney is an attribute of X |
| (=> (counselInCase ?H ?A ?L) (attribute ?H Attorney)) |
Law.kif 441-443 | If X is the counsel for Y in Z, then attorney is an attribute of X |