![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
ExpressingDisapproval
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ExpressingDisapproval Expressing) | Mid-level-ontology.kif 14571-14571 | Expressing disapproval is a subclass of expressing |
| (documentation ExpressingDisapproval EnglishLanguage "Expressing disfavor about a physical thing or a state of affairs.") | Mid-level-ontology.kif 14572-14573 | Expressing disapproval is a subclass of expressing |
| (externalImage ExpressingDisapproval "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Symbol_thumbs_down.svg") | pictureList.kif 2670-2670 | Expressing disapproval is a subclass of expressing |
| (externalImage ExpressingDisapproval "http://upload.wikimedia.org/wikipedia/ commons/ c/ c5/ Jean_Leon_Gerome_Pollice_Verso.jpg") | pictureList.kif 2808-2808 | Expressing disapproval is a subclass of expressing |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) | Mid-level-ontology.kif 14558-14558 | Expressing is disjointly decomposed into expressing approval and expressing disapproval |
| antecedent |
|
|
| (=> (and (instance ?EXPRESS ExpressingDisapproval) (agent ?EXPRESS ?AGENT) (patient ?EXPRESS ?THING)) (dislikes ?AGENT ?THING)) |
Mid-level-ontology.kif 14575-14580 | If X is an instance of expressing disapproval, Y is an agent of X, and Z is a patient of X, then Y dislikes Z |