maritimeHazard - Sigma Knowledge base Browser

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 36267-36267
(termFormat ChineseTraditionalLanguage maritimeHazard "海上危險")	domainEnglishFormat.kif 36266-36266
(termFormat EnglishLanguage maritimeHazard "maritime hazard")	domainEnglishFormat.kif 36265-36265

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	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 5959-5963	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 5929-5933	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.