![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
ExpressingApproval
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ExpressingApproval Expressing) | Mid-level-ontology.kif 14560-14560 | Expressing approval is a subclass of expressing |
| (documentation ExpressingApproval EnglishLanguage "Expressing favor about a physical thing or a state of affairs.") | Mid-level-ontology.kif 14561-14562 | Expressing approval is a subclass of expressing |
| (externalImage ExpressingApproval "http://upload.wikimedia.org/wikipedia/ commons/ a/ a1/ Zeca_Pagodinho.jpg") | pictureList.kif 2807-2807 | Expressing approval is a subclass of expressing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?EXPRESS ExpressingApproval) (agent ?EXPRESS ?AGENT) (patient ?EXPRESS ?THING)) (wants ?AGENT ?THING)) |
Mid-level-ontology.kif 14564-14569 | If X is an instance of expressing approval, Y is an agent of X, and Z is a patient of X, then Y wants Z |