maritimeHazard - Sigma Knowledge base Browser

appearance as argument number 1

(documentation maritimeHazard EnglishLanguage "maritimeHazard is a subrelation of the BinaryRelation Hazardous which posts threat to WaterTransportation.")	Geography.kif 7487-7488
(documentation maritimeHazard ChineseLanguage "maritimeHazard 是 Hazardous 的 subrelation，是一种 BinaryRelation，专门处理对 WaterTransportation 造成的危险情况。")	Geography.kif 7489-7490
(domain maritimeHazard 1 Physical)	Geography.kif 7491-7491	The number 1 argument of maritime hazard is an instance of physical
(domain maritimeHazard 2 Object)	Geography.kif 7492-7492	The number 2 argument of maritime hazard is an instance of object
(subrelation maritimeHazard hazardous)	Geography.kif 7493-7493	maritime hazard is a subrelation of hazardous
(instance maritimeHazard BinaryPredicate)	Geography.kif 7494-7494	maritime hazard is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage maritimeHazard "%1 is %n hazardous to %2.")	Geography.kif 7495-7495
(termFormat EnglishLanguage maritimeHazard "maritime hazard")	domainEnglishFormat.kif 36233-36233
(termFormat ChineseTraditionalLanguage maritimeHazard "海上危險")	domainEnglishFormat.kif 36234-36234
(termFormat ChineseLanguage maritimeHazard "海上危险")	domainEnglishFormat.kif 36235-36235

antecedent

(=>
    (maritimeHazard ?A ?B)
    (exists (?SAIL ?WATER)
        (and
            (instance ?SAIL WaterTransportation)
            (instrument ?SAIL ?B)
            (eventLocated ?SAIL ?WATER)
            (located ?A ?WATER)
            (hazardous ?A ?B))))

If X is hazardous to Y., then there exist Z, W such that Z is an instance of water transportation, Y is an instrument for Z, Z is located at W, X is located at W, and X is hazardous to Y

consequent

(=> (and (instance ?BERG Iceberg) (instance ?SHIP WaterVehicle)) (maritimeHazard ?BERG ?SHIP))	Geography.kif 6293-6297	If X is an instance of iceberg and Y is an instance of water vehicle, then X is hazardous to Y.
(=> (and (instance ?S Shoal) (instance ?B WaterVehicle)) (maritimeHazard ?S ?B))	Geography.kif 7529-7533	If X is an instance of shoal and Y is an instance of water vehicle, then X is hazardous to Y.
(=> (and (instance ?R Reef) (instance ?B WaterVehicle)) (maritimeHazard ?R ?B))	Geography.kif 7559-7563	If X is an instance of reef and Y is an instance of water vehicle, then X is hazardous to Y.