Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SurveillanceSystem
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SurveillanceSystem CollectionOfObjects) | Mid-level-ontology.kif 29555-29555 | Surveillance system is a subclass of collection |
| (documentation SurveillanceSystem EnglishLanguage "SurveillanceSystem is a CollectionOfObjects of Devices that work together to provide security by recording sound or video in a certain location and showing it instantly to people, presumably a SecurityUnit") | Mid-level-ontology.kif 29556-29558 | Surveillance system is a subclass of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SurveillanceSystem "surveillance system") | Mid-level-ontology.kif 29559-29559 |
| antecedent |
|
|
| (=> (instance ?X SurveillanceSystem) (and (memberType ?X Camera) (memberType ?X VideoDisplay))) |
Mid-level-ontology.kif 29561-29565 | If X is an instance of surveillance system, then camera is a member type of X and video display is a member type of X |
| (=> (and (instance ?X SurveillanceSystem) (member ?X ?VIDEO) (member ?X ?DISPLAY) (located ?VIDEO ?LOC1) (instance ?VIDEO Camera) (located ?DISPLAY ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?DISPLAY VideoDisplay)) (hasPurpose ?X (exists (?PROC ?VID ?RL ?CAPTURE) (and (instance ?PROC Process) (eventLocated ?PROC ?LOC1) (represents ?VID ?PROC) (instrument ?CAPTURE Camera) (result ?CAPTURE ?VID) (instance ?RL RadiatingLight) (instrument ?RL ?DISPLAY) (patient ?RL ?VID) (before (BeginFn ?PROC) (BeginFn ?CAPTURE)) (before (BeginFn ?CAPTURE) (BeginFn ?RL)))))) |
Mid-level-ontology.kif 29567-29593 | If All of the following hold: (1) X is an instance of surveillance system (2) X is a member of Y (3) X is a member of Z (4) Y is located at W (5) Y is an instance of camera (6) Z is located at V (7) equal W and V (8) Z is an instance of video display, then All of the following hold: (1) X has the purpose there exist U, T,, , S (2) R such that U is an instance of process (3) U is located at W (4) T expresses U (5) camera is an instrument for R (6) T is a result of R (7) S is an instance of radiating light (8) Z is an instrument for S (9) T is a patient of S (10) the beginning of U happens before the beginning of R (11) the beginning of R happens before the beginning of S |
| consequent |
|
|
| (=> (instance ?X SecurityUnit) (modalAttribute (exists (?S) (and (instance ?S SurveillanceSystem) (inScopeOfInterest ?X ?S))) Likely)) |
Mid-level-ontology.kif 29595-29601 | If X is an instance of security unit, then the statement there exists Y such that Y is an instance of surveillance system and X is interested in Y has the modal force of likely |
|