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 10627-10628
(externalImage Smiling "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ people/ faces/ faces_2/ smiling.png")	pictureList.kif 736-736	externalImage Smiling and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ faces/ faces_2/ smiling.png"
(subclass Smiling FacialExpression)	Mid-level-ontology.kif 10626-10626	subclass Smiling and FacialExpression
(subclass Smiling FacialExpressionBehavior)	emotion.kif 1579-1579	subclass Smiling and FacialExpressionBehavior

appearance as argument number 2

(actionTendency Happiness Smiling)	emotion.kif 177-177	actionTendency Happiness and Smiling
(relatedInternalConcept HappyFacialExpression Smiling)	emotion.kif 1204-1204	relatedInternalConcept HappyFacialExpression and Smiling
(termFormat ChineseLanguage Smiling "微笑")	domainEnglishFormat.kif 53443-53443	termFormat ChineseLanguage, Smiling and "微笑"
(termFormat ChineseTraditionalLanguage Smiling "微笑")	domainEnglishFormat.kif 53442-53442	termFormat ChineseTraditionalLanguage, Smiling and "微笑"
(termFormat EnglishLanguage Smiling "smiling")	domainEnglishFormat.kif 53441-53441	termFormat EnglishLanguage, Smiling and "smiling"

antecedent

(=> (and (instance ?S Smiling) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely))	emotion.kif 1581-1589	instance Process and Smiling experiencer Process and Agent modalAttribute holdsDuring WhenFn Process and attribute Agent and Happiness and Likely
(=> (and (instance ?SMILE Smiling) (agent ?SMILE ?AGENT)) (holdsDuring (WhenFn ?SMILE) (attribute ?AGENT Happiness)))	Mid-level-ontology.kif 10630-10634	instance Process and Smiling agent Process and Agent holdsDuring WhenFn Process and attribute Agent and Happiness

consequent

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

Mid-level-ontology.kif 10651-10656