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

KB Term:  Term intersection
English Word: 

Sigma KEE - FireAlarm
FireAlarm(fire alarm)fire_alarm, smoke_alarm

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


(subclass FireAlarm Device) Mid-level-ontology.kif 29050-29050 Fire alarm is a subclass of device
(documentation FireAlarm EnglishLanguage "FireAlarm is a Device that releases a distinctive noise to inform people that there is a Fire") Mid-level-ontology.kif 29051-29052 Fire alarm is a subclass of device
(defaultMinimumHeight FireAlarm
    (MeasureFn 0.5 Inch))		 DimensioningAmenities.kif 1019-1019 The minimum expected height of fire alarm is 0.5 inch(s)
(defaultMaximumHeight FireAlarm
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 1020-1020 The maximum expected height of fire alarm is 2 inch(s)
(defaultMinimumWidth FireAlarm
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 1021-1021 The minimum expected width of fire alarm is 2 inch(s)
(defaultMaximumWidth FireAlarm
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 1022-1022 The maximum expected width of fire alarm is 6 inch(s)
(defaultMinimumLength FireAlarm
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 1023-1023 The minimum expected length of fire alarm is 5 inch(s)
(defaultMaximumLength FireAlarm
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 1024-1024 The maximum expected length of fire alarm is 7 inch(s)
(defaultMinimumMeasure FireAlarm
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 1025-1025 The minimum expected value of fire alarm is 1 pound mass(s)
(defaultMaximumMeasure FireAlarm
    (MeasureFn 2 PoundMass))		 DimensioningAmenities.kif 1026-1026 The maximum expected value of fire alarm is 2 pound mass(s)

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


(termFormat EnglishLanguage FireAlarm "fire alarm") Mid-level-ontology.kif 29053-29053

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


(=>
    (and
        (instance ?X FireAlarm)
        (attribute ?X DeviceOn)
        (located ?X ?LOC))
    (exists (?RS)
        (and
            (instance ?RS RadiatingSound)
            (instrument ?RS ?X)
            (hasPurpose ?RS
                (exists (?GRP)
                    (and
                        (instance ?GRP GroupOfPeople)
                        (located ?GRP ?LOC)
                        (knows ?GRP
                            (exists (?FIRE)
                                (and
                                    (instance ?FIRE Fire)
                                    (eventLocated ?FIRE ?LOC))))))))))		 Mid-level-ontology.kif 29055-29073 If X is an instance of fire alarm, device on is an attribute of X, and X is located at Y, then there exists Z such that Z is an instance of radiating sound, X is an instrument for Z, Z has the purpose there exists W such that W is an instance of group of people, W is located at Y, W knows there exists V such that V is an instance of fire, and V is located at Y


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