Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExpressingDisapproval
ExpressingDisapproval

appearance as argument number 1
-------------------------


(documentation ExpressingDisapproval EnglishLanguage "Expressing disfavor about a physical thing or a state of affairs.") Mid-level-ontology.kif 10597-10598
(externalImage ExpressingDisapproval "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 84/ Symbol_thumbs_down.svg") pictureList.kif 2672-2672
(externalImage ExpressingDisapproval "http://upload.wikimedia.org/wikipedia/ commons/ c/ c5/ Jean-Leon_Gerome_Pollice_Verso.jpg") pictureList.kif 2810-2810
(subclass ExpressingDisapproval Expressing) Mid-level-ontology.kif 10596-10596 subclass ExpressingDisapproval and Expressing

appearance as argument number 2
-------------------------


(subclass Regretting ExpressingDisapproval) Mid-level-ontology.kif 10609-10609 subclass Regretting and ExpressingDisapproval
(termFormat ChineseLanguage ExpressingDisapproval "表示不赞成") domainEnglishFormat.kif 22954-22954
(termFormat ChineseTraditionalLanguage ExpressingDisapproval "表示不贊成") domainEnglishFormat.kif 22953-22953
(termFormat EnglishLanguage ExpressingDisapproval "expressing disapproval") domainEnglishFormat.kif 22952-22952

appearance as argument number 3
-------------------------


(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) Mid-level-ontology.kif 10581-10581 disjointDecomposition Expressing, ExpressingApproval and ExpressingDisapproval

antecedent
-------------------------


(=>
    (and
        (instance ?EXPRESS ExpressingDisapproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (dislikes ?AGENT ?THING)
        (disapproves ?AGENT ?THING)))
Mid-level-ontology.kif 10600-10607


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners