| 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 |
|
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