hazardous |
appearance as argument number 1 |
(documentation hazardous ChineseLanguage "hazardous 是一种 BinaryRelation,它把 一个 Physical (Object 或 Process) 和这个物理可能造成 Damaging 的另外一个 Object 连系在一起。(hazardous ?THING ?OBJECT) 的月意思是 ?THING 可能为造成 ?OBJECT 损害。") | Geography.kif 5866-5868 | |
(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 5863-5865 | |
(domain hazardous 1 Physical) | Geography.kif 5869-5869 | |
(domain hazardous 2 Object) | Geography.kif 5870-5870 | |
(instance hazardous BinaryPredicate) | Geography.kif 5871-5871 |
appearance as argument number 2 |
(format EnglishLanguage hazardous "%1 is %n hazardous to %2") | Geography.kif 5872-5872 | |
(subrelation maritimeHazard hazardous) | Geography.kif 5893-5893 | |
(termFormat ChineseLanguage hazardous "危险") | Geography.kif 5874-5874 | |
(termFormat EnglishLanguage hazardous "hazardous") | Geography.kif 5873-5873 |
antecedent |
(=> (hazardous ?A ?B) (modalAttribute (exists (?D) (and (instance ?D Damaging) (patient ?D ?B) (or (involvedInEvent ?D ?A) (causes ?A ?D)))) Possibility)) |
Geography.kif 5876-5885 |
consequent |
(=> (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 1579-1592 | |
(=> (maritimeHazard ?A ?B) (exists (?SAIL ?WATER) (and (instance ?SAIL WaterTransportation) (instrument ?SAIL ?B) (eventLocated ?SAIL ?WATER) (located ?A ?WATER) (hazardous ?A ?B)))) |
Geography.kif 5897-5905 |