Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SoftwareInstallation
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MultimediaProjector MediaSystem) | Mid-level-ontology.kif 28781-28781 | 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 28782-28783 | Multimedia projector is a subclass of media system |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MultimediaProjector "multimedia projector") | Mid-level-ontology.kif 28784-28784 |
| 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 28786-28800 | 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 |
|