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

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


(subAttribute PoliticalFigure Celebrity) Mid-level-ontology.kif 22813-22813 Political figure is a subattribute of celebrity
(subAttribute ReligiousFigure Celebrity) Mid-level-ontology.kif 22836-22836 Religious figure is a subattribute of celebrity
(termFormat ChineseLanguage Celebrity "名人") domainEnglishFormat.kif 13654-13654 Religious figure is a subattribute of celebrity
(termFormat ChineseTraditionalLanguage Celebrity "名人") domainEnglishFormat.kif 13653-13653 Religious figure is a subattribute of celebrity
(termFormat EnglishLanguage Celebrity "celebrity") domainEnglishFormat.kif 13652-13652 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 22456-22465


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