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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MotionPicture
MotionPicture(motion picture)
3-D, 3D, Western, animated_cartoon, cartoon, celluloid, cinema, cinema_verite, cinematic, collage_film, coming_attraction, cut, dissolve, feature, feature_film, film, film_clip, film_noir, final_cut, flick, home_movie, horse_opera, jump, jump_cut, motion-picture_show, motion_picture, movie, moving-picture_show, moving_picture, newsreel, outtake, peepshow, pic, picture, picture_show, pilot, pilot_film, pilot_program, print, rough_cut, shoot-'em-up, short_subject, silent_movie, silent_picture, silents, skin_flick, slow_motion, spaghetti_Western, talkie, talking_picture...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1654-1655
No TPTP formula. May not be expressible in strict first order. Merge.kif 1388-1390
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 240-242
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 284-286
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2601-2601
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2492-2492
No TPTP formula. May not be expressible in strict first order. Merge.kif 1386-1386 Motion picture is a subclass of recording
No TPTP formula. May not be expressible in strict first order. Merge.kif 1387-1387 Motion picture is a subclass of text

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15954-15954 Documentary is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15943-15943 Motion picture scene is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15918-15918 Motion picture shot is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 837-837 Motion picture shot is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. english_format.kif 876-876 Motion picture shot is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. french_format.kif 513-513 Motion picture shot is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 45-45 Motion picture shot is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. terms-it.txt 48-48 Motion picture shot is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2198-2198 Motion picture shot is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 465-465 Motion picture shot is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 80-80 Motion picture shot is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. terms-de.txt 339-339 Motion picture shot is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 534-534 Motion picture shot is a subclass of motion picture
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 49-49 Motion picture shot is a subclass of motion picture

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22337-22337 The number 2 argument of directed is an instance of motion picture

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1517-1530

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24148-24156
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22283-22290
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15947-15952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15923-15928
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1517-1530

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4566-4571 There exist a process and an entity such that the process is an instance of disseminating and Netflix Corp. is an agent of the process and the entity is a patient of the process and the entity is an instance of motion picture


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