| MultimediaProjector(multimedia projector) | | cine_projector, film_projector, movie_projector, overhead_projector |
| appearance as argument number 1 |
|
|
| (subclass MultimediaProjector MediaSystem) | Mid-level-ontology.kif 28891-28891 | Multimedia projector is a subclass of media system |
| (documentation MultimediaProjector EnglishLanguage "MultimediaProjector is a type of MediaSystem that projects images on a screen") | Mid-level-ontology.kif 28892-28893 | Multimedia projector is a subclass of media system |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MultimediaProjector "multimedia projector") | Mid-level-ontology.kif 28894-28894 |
| antecedent |
|
|
| (=> (instance ?X MultimediaProjector) (hasPurpose ?X (exists (?RS ?SCREEN ?VIDEO) (and (instance ?RS RadiatingLight) (instrument ?RS ?X) (patient ?RS ?VIDEO) (or (instance ?VIDEO VideoRecording) (instance ?VIDEO Image)) (destination ?RS ?SCREEN) (instance ?SCREEN Artifact) (attribute ?SCREEN Flat) (not (connected ?X ?SCREEN)))))) |
Mid-level-ontology.kif 28896-28910 | If X is an instance of multimedia projector, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of radiating light (3) X is an instrument for Y (4) W is a patient of Y (5) W is an instance of video recording or W is an instance of image (6) Y ends up at Z (7) Z is an instance of artifact (8) flat is an attribute of Z (9) X is not connected to Z |
|
|
|