Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ElectronicLock
ElectronicLock(electronic lock)

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


(subclass ElectronicLock Lock) Mid-level-ontology.kif 28350-28350 Electronic lock is a subclass of lock
(documentation ElectronicLock EnglishLanguage "ElectronicLock is a type of Lock that depends on some ElectronicSignalling process to open") Mid-level-ontology.kif 28351-28352 Electronic lock is a subclass of lock
(defaultMinimumHeight ElectronicLock
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 534-534 The minimum expected height of electronic lock is 2 inch(s)
(defaultMaximumHeight ElectronicLock
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 535-535 The maximum expected height of electronic lock is 4 inch(s)
(defaultMinimumWidth ElectronicLock
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 536-536 The minimum expected width of electronic lock is 2 inch(s)
(defaultMaximumWidth ElectronicLock
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 537-537 The maximum expected width of electronic lock is 5 inch(s)
(defaultMinimumLength ElectronicLock
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 538-538 The minimum expected length of electronic lock is 5 inch(s)
(defaultMaximumLength ElectronicLock
    (MeasureFn 8 Inch))		 DimensioningAmenities.kif 539-539 The maximum expected length of electronic lock is 8 inch(s)
(defaultMinimumMeasure ElectronicLock
    (MeasureFn 2 PoundMass))		 DimensioningAmenities.kif 540-540 The minimum expected value of electronic lock is 2 pound mass(s)
(defaultMaximumMeasure ElectronicLock
    (MeasureFn 6 PoundMass))		 DimensioningAmenities.kif 541-541 The maximum expected value of electronic lock is 6 pound mass(s)

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


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

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 28355-28366 If X is an instance of electronic lock, then X has the purpose there exist Y, Z such that Y is an instance of electronic signalling, Y ends up at X, Z is an instance of opening, X is an instrument for Z, and the beginning of the time of existence of Y happens before the beginning of the time of existence of Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners