TreeView Knowledge Base Browser - MotionPictureShot

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MotionPictureShot

Sigma KEE - MotionPictureShot

MotionPictureShot(motion picture shot)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14548-14550
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2859-2859
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2705-2705
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14547-14547	Motion picture shot is a subclass of motion picture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38763-38763
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38762-38762
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38761-38761

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14559-14570	If a process is an instance of motion picture shot, then there exists an object such that the object is an instance of camera and the object is an instrument for the process and there doesn't exist the object2 such that the object2 is an instance of camera and the object is not equal to the object2 and the object2 is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14552-14557	If a content bearing physical is an instance of motion picture shot, 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 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