Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 13284-13284 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 13285-13290 Expressing is a subclass of communication
(partition Expressing Gesture ExpressingInLanguage) Mid-level-ontology.kif 14404-14404 Expressing is exhaustively partitioned into gesture and expressing in language
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) Mid-level-ontology.kif 14406-14406 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) Mid-level-ontology.kif 14405-14405 Gesture is a subclass of expressing
(subclass ExpressingApproval Expressing) Mid-level-ontology.kif 14408-14408 Expressing approval is a subclass of expressing
(subclass ExpressingDisapproval Expressing) Mid-level-ontology.kif 14421-14421 Expressing disapproval is a subclass of expressing
(subclass ExpressingFarewell Expressing) Mid-level-ontology.kif 14444-14444 Expressing farewell is a subclass of expressing
(subclass ExpressingInLanguage Expressing) Mid-level-ontology.kif 14593-14593 Expressing in language is a subclass of expressing
(subclass Greeting Expressing) Mid-level-ontology.kif 14626-14626 Greeting is a subclass of expressing
(termFormat EnglishLanguage Expressing "expressing") english_format.kif 1625-1625 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 13292-13300 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 is open source software produced by Articulate Software and its partners