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


KB Term:  Term intersection
English Word: 

Sigma KEE - SafeContainer
SafeContainer(safe container)bank, cabinet, cashbox, coin_bank, deedbox, deposit_box, lockbox, locker, money_box, safe, safe-deposit, safe-deposit_box, safety-deposit, safety_deposit_box, savings_bank, storage_locker, strongbox, till

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


(subclass SafeContainer Container) Mid-level-ontology.kif 3321-3321 Safe container is a subclass of container
(subclass SafeContainer SecurityDevice) Mid-level-ontology.kif 3322-3322 Safe container is a subclass of security device
(documentation SafeContainer EnglishLanguage "A Container with a Lock which is intended to secure items from theft. Note that this covers safes, lockers, and locked storage compartments.") Mid-level-ontology.kif 3323-3325 Safe container is a subclass of security device
(defaultMinimumHeight SafeContainer
    (MeasureFn 19 Inch))		 DimensioningAmenities.kif 288-288 The minimum expected height of safe container is 19 inch(s)
(defaultMaximumHeight SafeContainer
    (MeasureFn 72 Inch))		 DimensioningAmenities.kif 289-289 The maximum expected height of safe container is 72 inch(s)
(defaultMinimumWidth SafeContainer
    (MeasureFn 16 Inch))		 DimensioningAmenities.kif 290-290 The minimum expected width of safe container is 16 inch(s)
(defaultMaximumWidth SafeContainer
    (MeasureFn 35 Inch))		 DimensioningAmenities.kif 291-291 The maximum expected width of safe container is 35 inch(s)
(defaultMinimumLength SafeContainer
    (MeasureFn 14 Inch))		 DimensioningAmenities.kif 292-292 The minimum expected length of safe container is 14 inch(s)
(defaultMaximumLength SafeContainer
    (MeasureFn 29 Inch))		 DimensioningAmenities.kif 293-293 The maximum expected length of safe container is 29 inch(s)
(defaultMinimumMeasure SafeContainer
    (MeasureFn 80 PoundMass))		 DimensioningAmenities.kif 294-294 The minimum expected value of safe container is 80 pound mass(s)
(defaultMaximumMeasure SafeContainer
    (MeasureFn 2 TonMass))		 DimensioningAmenities.kif 295-295 The maximum expected value of safe container is 2 ton mass(s)

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


(termFormat EnglishLanguage SafeContainer "safe container") domainEnglishFormat.kif 50770-50770
(termFormat ChineseTraditionalLanguage SafeContainer "安全的容器") domainEnglishFormat.kif 50771-50771
(termFormat ChineseLanguage SafeContainer "安全的容器") domainEnglishFormat.kif 50772-50772

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


(=>
    (instance ?S SafeContainer)
    (exists (?L)
        (and
            (instance ?L Lock)
            (part ?L ?S))))		 Mid-level-ontology.kif 3327-3332 If X is an instance of safe container, then there exists Y such that Y is an instance of lock and Y is a part of X

consequent
-------------------------


(=>
    (instance ?SVC SafetyDepositService)
    (exists (?SAFE ?KEEP ?OBJ ?AGENT)
        (and
            (serviceProvider ?SVC ?AGENT)
            (instance ?SAFE SafeContainer)
            (instance ?KEEP Keeping)
            (located ?KEEP ?SAFE)
            (possesses ?AGENT ?SAFE)
            (patient ?KEEP ?OBJ)
            (subProcess ?KEEP ?SVC)
            (not
                (possesses ?AGENT ?OBJ)))))		 Hotel.kif 2280-2291 If X is an instance of safety deposit box, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that V provides a service during X (3) Y is an instance of safe container (4) Z is an instance of keeping (5) Z is located at Y (6) V possesses Y (7) W is a patient of Z (8) Z is a subprocess of X (9) V doesn't possess W


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