Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Expressing
Expressing(expressing)
Bronx_cheer, absolve, abuse, acclaim, acclamation, accusative, accusatory, accusing, accusive, acting_out, admonishing, admonitory, adulation, adulatory, affirmative, affirmatory, agonised, agonized, amends, apologetic, apology, applause, appreciation, appreciatively, approbative, approbatory, approving, aspersion, assentient, atonement, back_talk, backtalk, banzai, beef, befooling, belittling, belly_laugh, bellylaugh, benedictive, benedictory, betray, bewray, big_stick, billingsgate, bird, bitch, bless, blessing, blowup, blue_murder...

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


(subclass Expressing Communication) Merge.kif 13407-13407 Expressing is a subclass of communication
(documentation Expressing EnglishLanguage "Instances of this Class express a state of the agent.For example, Jane thanked Barbara for the present she had given her. The thanking in this case expresses the gratitude of Jane towards Barbara. Note that Expressing, unlike the other speech act types, is not a subclass of LinguisticCommunication.This is because emotions, for example, can be expressed without language, e.g. by smiling.") Merge.kif 13408-13413 Expressing is a subclass of communication
(partition Expressing Gesture ExpressingInLanguage) Mid-level-ontology.kif 14528-14528 Expressing is exhaustively partitioned into gesture and expressing in language
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) Mid-level-ontology.kif 14529-14529 Expressing is disjointly decomposed into expressing approval and expressing disapproval
(externalImage Expressing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 63/ High_five.jpg") pictureList.kif 2668-2668 Expressing is disjointly decomposed into expressing approval and expressing disapproval

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


(subclass Gesture Expressing) Merge.kif 13391-13391 Gesture is a subclass of expressing
(subclass ExpressingApproval Expressing) Mid-level-ontology.kif 14531-14531 Expressing approval is a subclass of expressing
(subclass ExpressingDisapproval Expressing) Mid-level-ontology.kif 14542-14542 Expressing disapproval is a subclass of expressing
(subclass ExpressingFarewell Expressing) Mid-level-ontology.kif 14565-14565 Expressing farewell is a subclass of expressing
(subclass ExpressingInLanguage Expressing) Mid-level-ontology.kif 14660-14660 Expressing in language is a subclass of expressing
(subclass Greeting Expressing) Mid-level-ontology.kif 14693-14693 Greeting is a subclass of expressing
(termFormat EnglishLanguage Expressing "expressing") english_format.kif 1629-1629 Greeting is a subclass of expressing

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


(=>
    (and
        (instance ?EXPRESS Expressing)
        (agent ?EXPRESS ?AGENT))
    (exists (?STATE)
        (and
            (instance ?STATE StateOfMind)
            (attribute ?AGENT ?STATE)
            (represents ?EXPRESS ?STATE))))		 Merge.kif 13415-13423 If X is an instance of expressing and Y is an agent of X, then there exists Z such that Z is an instance of state of mind, Z is an attribute of Y, and X expresses Z


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.0-321a000c (2026-05-05) is open source software produced by Articulate Software and its partners