Smiling - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Smiling EnglishLanguage "Spreading the lips in such a way as to convey happiness.")	Mid-level-ontology.kif 13915-13916
(externalImage Smiling "http://articulatesoftware.com/SUMOpictures/people/ faces/ faces_2/ smiling.png")	pictureList.kif 736-736
(subclass Smiling FacialExpression)	Mid-level-ontology.kif 13914-13914	Smiling is a subclass of facial expression

appearance as argument number 2

(actionTendency Happiness Smiling)	emotion.kif 177-177	action tendency happiness and smiling
(relatedInternalConcept HappyFacialExpression Smiling)	emotion.kif 1223-1223	Happy facial expression is internally related to smiling
(termFormat ChineseLanguage Smiling "微笑")	domainEnglishFormat.kif 53537-53537	Happy facial expression is internally related to smiling
(termFormat ChineseTraditionalLanguage Smiling "微笑")	domainEnglishFormat.kif 53536-53536	Happy facial expression is internally related to smiling
(termFormat EnglishLanguage Smiling "smiling")	domainEnglishFormat.kif 53535-53535	Happy facial expression is internally related to smiling

antecedent

(=> (and (instance ?S Smiling) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely))	emotion.kif 1614-1622	If a process is an instance of smiling and an agent experiences the process, then the statement happiness is an attribute of the agent holds during the time of existence of the process has the modal force of likely
(=> (and (instance ?SMILE Smiling) (agent ?SMILE ?AGENT)) (holdsDuring (WhenFn ?SMILE) (attribute ?AGENT Happiness)))	Mid-level-ontology.kif 13918-13922	If a process is an instance of smiling and an agent is an agent of the process, then happiness is an attribute of the agent holds during the time of existence of the process

consequent

(=>
    (instance ?LAUGH Laughing)
    (exists (?SMILE)
        (and
            (instance ?SMILE Smiling)
            (subProcess ?SMILE ?LAUGH))))

Mid-level-ontology.kif 13939-13944