Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Fire
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Fire Combustion) | Mid-level-ontology.kif 24102-24102 | Fire is a subclass of burning |
| (documentation Fire EnglishLanguage "Fire is the subclass of Combustion events in which flames are present. Fires are slower combustion processes than explosions, though some fires may include explosive episodes.") | Mid-level-ontology.kif 24103-24105 | Fire is a subclass of burning |
| (externalImage Fire "http://articulatesoftware.com/SUMOpictures/smiley/fire.png") | pictureList.kif 431-431 | Fire is a subclass of burning |
| appearance as argument number 2 |
|
|
| (subclass Arson Fire) | Mid-level-ontology.kif 24107-24107 | Arson is a subclass of fire |
| (termFormat EnglishLanguage Fire "fire") | domainEnglishFormat.kif 23902-23902 | Arson is a subclass of fire |
| (termFormat ChineseTraditionalLanguage Fire "火") | domainEnglishFormat.kif 23903-23903 | Arson is a subclass of fire |
| (termFormat ChineseLanguage Fire "火") | domainEnglishFormat.kif 23904-23904 | Arson is a subclass of fire |
| consequent |
|
|
| (=> (instance ?C Candle) (hasPurpose ?C (exists (?F) (and (instance ?F Fire) (resource ?F ?C))))) |
Mid-level-ontology.kif 3657-3663 | If X is an instance of candle, then X has the purpose there exists Y such that Y is an instance of fire and X is a resource for Y |
| (=> (instance ?X FireSprinklerSystem) (exists (?FIRE ?DISCOVER ?WM) (and (instance ?DISCOVER Discovering) (instance ?FIRE Fire) (instrument ?DISCOVER ?X) (patient ?DISCOVER ?FIRE) (instance ?WM WaterMotion) (origin ?WM ?X) (causes ?DISCOVER ?WM)))) |
Mid-level-ontology.kif 27769-27779 | If X is an instance of sprinkler system, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of discovering (3) Y is an instance of fire (4) X is an instrument for Z (5) Y is a patient of Z (6) W is an instance of water motion (7) W originates at X (8) Z causes W |
| (=> (instance ?FE FireExtinguisher) (hasPurpose ?FE (exists (?PROC) (and (instance ?PROC (StopFn Fire)) (instrument ?PROC ?FE))))) |
Mid-level-ontology.kif 27784-27791 | If X is an instance of fire extinguisher, then X has the purpose there exists Y such that Y is an instance of the stop of fire and X is an instrument for Y |
| (=> (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 |
|
