maritimeHazard - Sigma Knowledge base Browser

appearance as argument number 1

(documentation maritimeHazard ChineseLanguage "maritimeHazard 是 Hazardous 的 subrelation，是一种 BinaryRelation，专门处理对 WaterTransportation 造成的危险情况。")	Geography.kif 5958-5959
(documentation maritimeHazard EnglishLanguage "maritimeHazard is a subrelation of the BinaryRelation Hazardous which posts threat to WaterTransportation.")	Geography.kif 5956-5957
(domain maritimeHazard 1 Physical)	Geography.kif 5960-5960	The number 1 argument of maritime hazard is an instance of physical
(domain maritimeHazard 2 Object)	Geography.kif 5961-5961	The number 2 argument of maritime hazard is an instance of object
(instance maritimeHazard BinaryPredicate)	Geography.kif 5963-5963	maritime hazard is an instance of binary predicate
(subrelation maritimeHazard hazardous)	Geography.kif 5962-5962	maritime hazard is a subrelation of hazardous

appearance as argument number 2

(format EnglishLanguage maritimeHazard "%1 is %n hazardous to %2.")	Geography.kif 5964-5964
(termFormat ChineseLanguage maritimeHazard "海上危险")	domainEnglishFormat.kif 36259-36259
(termFormat ChineseTraditionalLanguage maritimeHazard "海上危險")	domainEnglishFormat.kif 36258-36258
(termFormat EnglishLanguage maritimeHazard "maritime hazard")	domainEnglishFormat.kif 36257-36257

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

consequent

(=> (and (instance ?BERG Iceberg) (instance ?SHIP WaterVehicle)) (maritimeHazard ?BERG ?SHIP))	Geography.kif 4820-4824	If a physical is an instance of iceberg and an object is an instance of water vehicle, then the physical is hazardous to the object.
(=> (and (instance ?R Reef) (instance ?B WaterVehicle)) (maritimeHazard ?R ?B))	Geography.kif 6028-6032	If a physical is an instance of reef and an object is an instance of water vehicle, then the physical is hazardous to the object.
(=> (and (instance ?S Shoal) (instance ?B WaterVehicle)) (maritimeHazard ?S ?B))	Geography.kif 5998-6002	If a physical is an instance of shoal and an object is an instance of water vehicle, then the physical is hazardous to the object.