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 22169-22170
(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 22168-22168 Celebrity è un' istanza di RuoloSociale

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


(subAttribute PoliticalFigure Celebrity) Mid-level-ontology.kif 22529-22529 PoliticalFigure è un sottoattributo di Celebrity
(subAttribute ReligiousFigure Celebrity) Mid-level-ontology.kif 22552-22552 ReligiousFigure è un sottoattributo di Celebrity
(termFormat ChineseLanguage Celebrity "名人") domainEnglishFormat.kif 13638-13638
(termFormat ChineseTraditionalLanguage Celebrity "名人") domainEnglishFormat.kif 13637-13637
(termFormat EnglishLanguage Celebrity "celebrity") domainEnglishFormat.kif 13636-13636

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


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


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