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

appearance as argument number 2

(actionTendency Happiness Smiling)	emotion.kif 177-177	actionTendency Happiness and Smiling
(relatedInternalConcept HappyFacialExpression Smiling)	emotion.kif 1205-1205	relatedInternalConcept HappyFacialExpression and Smiling
(termFormat ChineseLanguage Smiling "微笑")	domainEnglishFormat.kif 53422-53422
(termFormat ChineseTraditionalLanguage Smiling "微笑")	domainEnglishFormat.kif 53421-53421
(termFormat EnglishLanguage Smiling "smiling")	domainEnglishFormat.kif 53420-53420

antecedent

(=> (and (instance ?S Smiling) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely))	emotion.kif 1582-1590	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 10656-10660	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 10677-10682