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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - EntertainmentProfession
EntertainmentProfession(entertainment profession)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20488-20490
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9191-9191
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8471-8471
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9192-9192
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9195-9195
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9193-9193
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20487-20487 Entertainment profession is a subclass of skilled occupation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20375-20375 Actor is an instance of entertainment profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20402-20402 Artist is an instance of entertainment profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20362-20362 Comedian is an instance of entertainment profession
No TPTP formula. May not be expressible in strict first order. Media.kif 1864-1864 Musical conductor is an instance of entertainment profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20416-20416 Performer is an instance of entertainment profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22292-22292 Film making profession is a subclass of entertainment profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22268-22268 Theater profession is a subclass of entertainment profession
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22216-22216 Theater profession is a subclass of entertainment profession
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22215-22215 Theater profession is a subclass of entertainment profession
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22214-22214 Theater profession is a subclass of entertainment profession

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


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


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