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 15456-15458
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9197-9197
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8475-8475
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9198-9198
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9201-9201
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9199-9199
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15455-15455 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 15343-15343 Actor is an instance of entertainment profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15370-15370 Artist is an instance of entertainment profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15330-15330 Comedian is an instance of entertainment profession
No TPTP formula. May not be expressible in strict first order. Media.kif 1864-1864 MusicalConductor is an instance of entertainment profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15384-15384 Performer is an instance of entertainment profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17080-17080 Film making profession is a subclass of entertainment profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17056-17056 Theater profession is a subclass of entertainment profession
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22203-22203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22202-22202
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22201-22201

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


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


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