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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Celebrity
Celebrity(celebrity)
figure, name, public_figure

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 23830-23831
(externalImage Celebrity "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Drew_Barrymore_by_David_Shankbone.jpg") pictureList.kif 4589-4589
(instance Celebrity SocialRole) Mid-level-ontology.kif 23829-23829 Celebrity is an instance of social role

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


(subAttribute PoliticalFigure Celebrity) Mid-level-ontology.kif 24190-24190 Political figure is a subattribute of celebrity
(subAttribute ReligiousFigure Celebrity) Mid-level-ontology.kif 24213-24213 Religious figure is a subattribute of celebrity
(termFormat ChineseLanguage Celebrity "名人") domainEnglishFormat.kif 13653-13653 Religious figure is a subattribute of celebrity
(termFormat ChineseTraditionalLanguage Celebrity "名人") domainEnglishFormat.kif 13652-13652 Religious figure is a subattribute of celebrity
(termFormat EnglishLanguage Celebrity "celebrity") domainEnglishFormat.kif 13651-13651 Religious figure is a subattribute of celebrity

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


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


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