MotionPictureScene - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MotionPictureScene

MotionPictureScene(motion picture scene)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14573-14574
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2704-2704
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2858-2858
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14572-14572	Motion picture scene is a subclass of motion picture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38757-38757
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38756-38756
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38755-38755

antecedent

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

Mid-level-ontology.kif 14576-14581

If a content bearing physical is an instance of motion picture scene,
then there exists another content bearing physical such that the other content bearing physical is an instance of motion picture and the other content bearing physical subsumes the content of the content bearing physical

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