Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| hazardous |
| appearance as argument number 1 |
|
| (documentation hazardous EnglishLanguage "hazardous is a BinaryPredicate which associates a Physical (an Object or a Process) to the Damaging it may bring to another Object. (hazardous ?THING ?OBJECT) means that ?THING may cause damage to ?OBJECT.") | Geography.kif 7463-7465 | |
| (documentation hazardous ChineseLanguage "hazardous 是一种 BinaryRelation，它把 一个 Physical (Object 或 Process) 和这个物理可能造成 Damaging 的另外一个 Object 连系在一起。(hazardous ?THING ?OBJECT) 的月意思是 ?THING 可能为造成 ?OBJECT 损害。") | Geography.kif 7466-7468 | |
| (domain hazardous 1 Physical) | Geography.kif 7469-7469 | The number 1 argument of hazardous is an instance of physical |
| (domain hazardous 2 Object) | Geography.kif 7470-7470 | The number 2 argument of hazardous is an instance of object |
| (instance hazardous BinaryPredicate) | Geography.kif 7471-7471 | hazardous is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (hazardous ?A ?B) (modalAttribute (exists (?D) (and (instance ?D Damaging) (patient ?D ?B) (or (involvedInEvent ?D ?A) (causes ?A ?D)))) Possibility)) |
Geography.kif 7476-7485 | If X is hazardous to Y, then the statement there exists Z such that Z is an instance of damaging, Y is a patient of Z, and X is an involved in event of Z or X causes Z has the modal force of possibility |
| consequent |
|
|
| (=> (maritimeHazard ?A ?B) (exists (?SAIL ?WATER) (and (instance ?SAIL WaterTransportation) (instrument ?SAIL ?B) (eventLocated ?SAIL ?WATER) (located ?A ?WATER) (hazardous ?A ?B)))) |
Geography.kif 7497-7505 | If X is hazardous to Y., then there exist Z, W such that Z is an instance of water transportation, Y is an instrument for Z, Z is located at W, X is located at W, and X is hazardous to Y |
| (=> (instance ?W StrongWind) (holdsDuring (WhenFn ?W) (exists (?A) (and (instance ?A GeographicArea) (eventLocated ?W ?A) (hazardous ?W ?A))))) |
Weather.kif 1943-1951 | If X is an instance of strong wind, then there exists Y such that Y is an instance of geographic area, X is located at Y, and X is hazardous to Y holds during the time of existence of X |
| (=> (and (instance ?HS HeavySurf) (instance ?PLACE WaterArea) (eventLocated ?HS ?PLACE)) (exists (?SWIM ?A) (and (instance ?SWIM Swimming) (instance ?A Human) (agent ?SWIM ?A) (eventLocated ?SWIM ?PLACE) (holdsDuring (WhenFn ?HS) (hazardous ?HS ?A))))) |
Weather.kif 2888-2901 | If X is an instance of heavy zone, Y is an instance of water area, and X is located at Y, then there exist Z, W such that Z is an instance of swimming, W is an instance of human, W is an agent of Z, Z is located at Y, and X is hazardous to W holds during the time of existence of X |
|