EntertainmentCompany - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - EntertainmentCompany

EntertainmentCompany(entertainment company)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6763-6765
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1477-1477
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6762-6762	Entertainment company is a subclass of Business

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22204-22204
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

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 6766-6772

If an agent is an instance of entertainment company,
then there exists a process such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of performance

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