| appearance as argument number 1 |
|
| (documentation maritimeHazard ChineseLanguage "maritimeHazard 是 Hazardous 的 subrelation，是一种 BinaryRelation， 专门处理对 WaterTransportation 造成的危险情况。") | Geography.kif 5580-5581 | |
| (documentation maritimeHazard EnglishLanguage "maritimeHazard is a subrelation of the BinaryRelation Hazardous which posts threat to WaterTransportation.") | Geography.kif 5578-5579 | |
| (domain maritimeHazard 1 Physical) | Geography.kif 5582-5582 | |
| (domain maritimeHazard 2 Object) | Geography.kif 5583-5583 | |
| (subrelation maritimeHazard hazardous) | Geography.kif 5584-5584 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage maritimeHazard "%1 is n% hazardous to %2.") | Geography.kif 5585-5585 | |
| (termFormat ChineseLanguage maritimeHazard "海上危险") | domainEnglishFormat.kif 36223-36223 | |
| (termFormat ChineseTraditionalLanguage maritimeHazard "海上危險") | domainEnglishFormat.kif 36222-36222 | |
| (termFormat EnglishLanguage maritimeHazard "maritime hazard") | domainEnglishFormat.kif 36221-36221 |
| 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 5587-5595 |
| consequent |
|
|
| (=> (and (instance ?BERG Iceberg) (instance ?SHIP WaterVehicle)) (maritimeHazard ?BERG ?SHIP)) |
Geography.kif 4457-4461 | |
| (=> (and (instance ?R Reef) (instance ?B WaterVehicle)) (maritimeHazard ?R ?B)) |
Geography.kif 5648-5652 | |
| (=> (and (instance ?S Shoal) (instance ?B WaterVehicle)) (maritimeHazard ?S ?B)) |
Geography.kif 5619-5623 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners