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


KB Term:  Term intersection
English Word: 

Sigma KEE - JawDropping
JawDropping(jaw dropping)

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


(documentation JawDropping EnglishLanguage "A facial expression behavior in which the jaw drops.") emotion.kif 2152-2153
(subclass JawDropping FacialExpression) emotion.kif 2154-2154 Jaw dropping is a subclass of facial expression
(subclass JawDropping Opening) emotion.kif 2155-2155 Jaw dropping is a subclass of opening

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


(actionTendency Surprise JawDropping) emotion.kif 159-159 action tendency surprise and jaw dropping
(relatedInternalConcept SurprisedFacialExpression JawDropping) emotion.kif 2134-2134 Surprised facial expression is internally related to jaw dropping
(termFormat EnglishLanguage JawDropping "jaw dropping") emotion.kif 2151-2151 Surprised facial expression is internally related to jaw dropping

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


(=>
    (and
        (instance ?J JawDropping)
        (agent ?J ?A)
        (instance ?M Mouth)
        (part ?M ?A))
    (exists (?O)
        (and
            (instance ?O Opening)
            (subProcess ?O ?J)
            (patient ?O ?M)
            (holdsDuring
                (BeginFn
                    (WhenFn ?O))
                (attribute ?M Closed))
            (holdsDuring
                (EndFn
                    (WhenFn ?O))
                (attribute ?M Open)))))		 emotion.kif 2157-2175 If X is an instance of jaw dropping, Y is an agent of X, Z is an instance of mouth, and Z is a part of Y, then there exists W such that W is an instance of opening, W is a subprocess of X, Z is a patient of W, closed is an attribute of Z holds during the beginning of the time of existence of W, and open is an attribute of Z holds during the end of the time of existence of W


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