maritimeHazard |
appearance as argument number 1 |
(documentation maritimeHazard ChineseLanguage "maritimeHazard 是 Hazardous 的 subrelation,是一种 BinaryRelation, 专门处理对 WaterTransportation 造成的危险情况。") | Geography.kif 5889-5890 | |
(documentation maritimeHazard EnglishLanguage "maritimeHazard is a subrelation of the BinaryRelation Hazardous which posts threat to WaterTransportation.") | Geography.kif 5887-5888 | |
(domain maritimeHazard 1 Physical) | Geography.kif 5891-5891 | 域 海上危險, 1 and Physical |
(domain maritimeHazard 2 Object) | Geography.kif 5892-5892 | 域 海上危險, 2 and Object |
(instance maritimeHazard BinaryPredicate) | Geography.kif 5894-5894 | 例 海上危險 and BinaryPredicate |
(subrelation maritimeHazard hazardous) | Geography.kif 5893-5893 | 子關係 海上危險 and hazardous |
appearance as argument number 2 |
(format EnglishLanguage maritimeHazard "%1 is %n hazardous to %2.") | Geography.kif 5895-5895 | |
(termFormat ChineseLanguage maritimeHazard "海上危险") | domainEnglishFormat.kif 36233-36233 | |
(termFormat ChineseTraditionalLanguage maritimeHazard "海上危險") | domainEnglishFormat.kif 36232-36232 | |
(termFormat EnglishLanguage maritimeHazard "maritime hazard") | domainEnglishFormat.kif 36231-36231 |
antecedent |
(=> (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 |
consequent |
(=> (and (instance ?BERG Iceberg) (instance ?SHIP WaterVehicle)) (maritimeHazard ?BERG ?SHIP)) |
Geography.kif 4751-4755 | |
(=> (and (instance ?R Reef) (instance ?B WaterVehicle)) (maritimeHazard ?R ?B)) |
Geography.kif 5959-5963 | |
(=> (and (instance ?S Shoal) (instance ?B WaterVehicle)) (maritimeHazard ?S ?B)) |
Geography.kif 5929-5933 |