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 23284-23285
(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 23283-23283 Celebrity is an instance of social role

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


(subAttribute PoliticalFigure Celebrity) Mid-level-ontology.kif 23644-23644 Political figure is a subattribute of celebrity
(subAttribute ReligiousFigure Celebrity) Mid-level-ontology.kif 23667-23667 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 23287-23296


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