|
|
  listingBidder
|
|
|
| appearance as argument number 1 |
|
|
| (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 21809-21811 | |
| (externalImage Fire "http://articulatesoftware.com/SUMOpictures/smiley/fire.png") | pictureList.kif 431-431 | |
| (subclass Fire Combustion) | Mid-level-ontology.kif 21808-21808 | 子類 火 and Combustion |
| appearance as argument number 2 |
|
|
| (subclass Arson Fire) | Mid-level-ontology.kif 21813-21813 | 子類 縱火 and 火 |
| (termFormat ChineseLanguage Fire "火") | domainEnglishFormat.kif 23906-23906 | |
| (termFormat ChineseTraditionalLanguage Fire "火") | domainEnglishFormat.kif 23905-23905 | |
| (termFormat EnglishLanguage Fire "fire") | domainEnglishFormat.kif 23904-23904 |
| consequent |
|
|
| (=> (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 26445-26463 | |
| (=> (instance ?C Candle) (hasPurpose ?C (exists (?F) (and (instance ?F Fire) (resource ?F ?C))))) |
Mid-level-ontology.kif 3030-3036 | |
| (=> (instance ?FE FireExtinguisher) (hasPurpose ?FE (exists (?PROC) (and (instance ?PROC (StopFn Fire)) (instrument ?PROC ?FE))))) |
Mid-level-ontology.kif 25480-25487 | |
| (=> (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 25465-25475 |
|
|
|
