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


KB Term:  Term intersection
English Word: 

  increasesLikelihood

 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 14557-14557 Expressing is exhaustively partitioned into gesture and expressing in language
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) Mid-level-ontology.kif 14558-14558 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 14560-14560 Expressing approval is a subclass of expressing
(subclass ExpressingDisapproval Expressing) Mid-level-ontology.kif 14571-14571 Expressing disapproval is a subclass of expressing
(subclass ExpressingFarewell Expressing) Mid-level-ontology.kif 14594-14594 Expressing farewell is a subclass of expressing
(subclass ExpressingInLanguage Expressing) Mid-level-ontology.kif 14689-14689 Expressing in language is a subclass of expressing
(subclass Greeting Expressing) Mid-level-ontology.kif 14722-14722 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners