maritimeHazard |
appearance as argument number 1 |
![]() |
(documentation maritimeHazard ChineseLanguage "maritimeHazard 是 Hazardous 的 subrelation,是一种 BinaryRelation, 专门处理对 WaterTransportation 造成的危险情况。") | Geography.kif 6192-6193 | |
(documentation maritimeHazard EnglishLanguage "maritimeHazard is a subrelation of the BinaryRelation Hazardous which posts threat to WaterTransportation.") | Geography.kif 6190-6191 | |
(domain maritimeHazard 1 Physical) | Geography.kif 6194-6194 | |
(domain maritimeHazard 2 Object) | Geography.kif 6195-6195 | |
(instance maritimeHazard BinaryPredicate) | Geography.kif 6197-6197 | |
(subrelation maritimeHazard hazardous) | Geography.kif 6196-6196 |
appearance as argument number 2 |
![]() |
(format EnglishLanguage maritimeHazard "%1 is %n hazardous to %2.") | Geography.kif 6198-6198 | |
(termFormat ChineseLanguage maritimeHazard "海上危险") | domainEnglishFormat.kif 36242-36242 | |
(termFormat ChineseTraditionalLanguage maritimeHazard "海上危險") | domainEnglishFormat.kif 36241-36241 | |
(termFormat EnglishLanguage maritimeHazard "maritime hazard") | domainEnglishFormat.kif 36240-36240 |
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 6200-6208 |
consequent |
![]() |
(=> (and (instance ?BERG Iceberg) (instance ?SHIP WaterVehicle)) (maritimeHazard ?BERG ?SHIP)) |
Geography.kif 4991-4995 | |
(=> (and (instance ?R Reef) (instance ?B WaterVehicle)) (maritimeHazard ?R ?B)) |
Geography.kif 6262-6266 | |
(=> (and (instance ?S Shoal) (instance ?B WaterVehicle)) (maritimeHazard ?S ?B)) |
Geography.kif 6232-6236 |
![]() |
![]() |