Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectronicLock
ElectronicLock

appearance as argument number 1
-------------------------


(documentation ElectronicLock EnglishLanguage "ElectronicLock is a type of Lock that depends on some ElectronicSignalling process to open") Mid-level-ontology.kif 25816-25817
(subclass ElectronicLock Lock) Mid-level-ontology.kif 25815-25815

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ElectronicLock "electronic lock") Mid-level-ontology.kif 25818-25818

antecedent
-------------------------


(=>
    (instance ?LOCK ElectronicLock)
    (hasPurpose ?LOCK
        (exists (?ES ?PROC)
            (and
                (instance ?ES ElectronicSignalling)
                (destination ?ES ?LOCK)
                (instance ?PROC Opening)
                (instrument ?PROC ?LOCK)
                (before
                    (BeginFn
                        (WhenFn ?ES))
                    (BeginFn
                        (WhenFn ?PROC)))))))
Mid-level-ontology.kif 25820-25831


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