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 22170-22171
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 22169-22169 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 22530-22530 Political figure is a subattribute of celebrity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22553-22553 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 22173-22182


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