SurveillanceSystem - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SurveillanceSystem EnglishLanguage "SurveillanceSystem is a Collection 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 28620-28622
(subclass SurveillanceSystem Collection)	Mid-level-ontology.kif 28619-28619	Surveillance system is a subclass of collection

appearance as argument number 2

(termFormat EnglishLanguage SurveillanceSystem "surveillance system")

Mid-level-ontology.kif 28623-28623

antecedent

(=> (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 28631-28657	If a physical is an instance of surveillance system and the physical is a member of a collection and the physical is a member of another collection and the collection is located at an object and the collection is an instance of camera and the other collection is located at another object and the object is not equal to the other object and the other collection is an instance of video display, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and the entity is located at the object and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
(=> (instance ?X SurveillanceSystem) (and (memberType ?X Camera) (memberType ?X VideoDisplay)))	Mid-level-ontology.kif 28625-28629	If a collection is an instance of surveillance system, then camera is a member type of the collection and video display is a member type of the collection

consequent

(=>
    (instance ?X SecurityUnit)
    (modalAttribute
        (exists (?S)
            (and
                (instance ?S SurveillanceSystem)
                (inScopeOfInterest ?X ?S))) Likely))

Mid-level-ontology.kif 28659-28665

If an entity is an instance of security unit,
then the statement there exists another entity such that the other entity is an instance of surveillance system and the entity is interested in the other entity has the modal force of likely

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

KB Term:			Term intersection

English Word: