TreeView Knowledge Base Browser - SurveillanceSystem

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 26950-26952
(subclass SurveillanceSystem Collection)	Mid-level-ontology.kif 26949-26949	SurveillanceSystem e' uma sub-classe de Colecao

appearance as argument number 2

(termFormat EnglishLanguage SurveillanceSystem "surveillance system")

Mid-level-ontology.kif 26953-26953

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 26961-26987	Fisico e' uma instancia de SurveillanceSystem Fisico e' membro de Colecao Fisico e' membro de Colecao Colecao e' situado em Objeto Colecao e' uma instancia de Camera Colecao e' situado em Objeto Objeto e' igual a Objeto Colecao e' uma instancia de VideoDisplay Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Objeto Entidade define Entidade Camera e' um instrumento para Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Luz Irradiante Colecao e' um instrumento para Entidade Entidade e' um patient de Entidade o comeco de Entidade comeca antes de o comeco de Entidade o comeco de Entidade comeca antes de o comeco de Entidade
(=> (instance ?X SurveillanceSystem) (and (memberType ?X Camera) (memberType ?X VideoDisplay)))	Mid-level-ontology.kif 26955-26959	Colecao e' uma instancia de SurveillanceSystem memberType Colecao and Camera memberType Colecao and VideoDisplay

consequent

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

Mid-level-ontology.kif 26989-26995

Entidade e' uma instancia de SecurityUnit
o argumento Entidade Entidade e' uma instancia de SurveillanceSystem Entidade esta' interessado em Entidade tem a forca modal de Likely

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: