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 | The number 1 argument of maritime hazard is an instance of physical |
(domain maritimeHazard 2 Object) | Geography.kif 5892-5892 | The number 2 argument of maritime hazard is an instance of object |
(instance maritimeHazard BinaryPredicate) | Geography.kif 5894-5894 | maritime hazard is an instance of binary predicate |
(subrelation maritimeHazard hazardous) | Geography.kif 5893-5893 | maritime hazard is a subrelation of 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 |
|