Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Celebrity
Celebrity

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


(documentation Celebrity EnglishLanguage "Anyone who is known by a large number of people, either explicitly by name, or by action.") Mid-level-ontology.kif 20018-20019
(externalImage Celebrity "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Drew_Barrymore_by_David_Shankbone.jpg") pictureList.kif 4591-4591
(instance Celebrity SocialRole) Mid-level-ontology.kif 20017-20017 instance Celebrity and SocialRole

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


(subAttribute PoliticalFigure Celebrity) Mid-level-ontology.kif 20429-20429 subAttribute PoliticalFigure and Celebrity
(subAttribute ReligiousFigure Celebrity) Mid-level-ontology.kif 20452-20452 subAttribute ReligiousFigure and Celebrity
(termFormat ChineseLanguage Celebrity "名人") domainEnglishFormat.kif 13573-13573
(termFormat ChineseTraditionalLanguage Celebrity "名人") domainEnglishFormat.kif 13572-13572
(termFormat EnglishLanguage Celebrity "celebrity") domainEnglishFormat.kif 13571-13571

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


(=>
    (attribute ?X Celebrity)
    (greaterThan
        (CardinalityFn
            (KappaFn ?A
                (knows ?A
                    (exists (?P)
                        (equal ?P ?X))))) 1000))
Mid-level-ontology.kif 20021-20029


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 is open source software produced by Articulate Software and its partners