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 23813-23814
(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 23812-23812 Celebrity社会的役割instance では

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


(subAttribute PoliticalFigure Celebrity) Mid-level-ontology.kif 24171-24171 PoliticalFigureCelebritysubattribute では
(subAttribute ReligiousFigure Celebrity) Mid-level-ontology.kif 24194-24194 ReligiousFigureCelebritysubattribute では
(termFormat ChineseLanguage Celebrity "名人") domainEnglishFormat.kif 13647-13647 ReligiousFigureCelebritysubattribute では
(termFormat ChineseTraditionalLanguage Celebrity "名人") domainEnglishFormat.kif 13646-13646 ReligiousFigureCelebritysubattribute では
(termFormat EnglishLanguage Celebrity "celebrity") domainEnglishFormat.kif 13645-13645 ReligiousFigureCelebritysubattribute では

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


(=>
    (attribute ?X Celebrity)
    (exists (?A)
        (greaterThan
            (CardinalityFn
                (KappaFn ?A
                    (acquaintance ?A ?X))) 1000)))
Mid-level-ontology.kif 23816-23823


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