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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Celebrity

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

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22222-22223
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4590-4590
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22221-22221 Celebrity is an instance of social role

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22582-22582 Political figure is a subattribute of celebrity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22605-22605 Religious figure is a subattribute of celebrity
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13638-13638
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13637-13637
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13636-13636

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22225-22234


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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