TreeView Knowledge Base Browser

appearance as argument number 1

(documentation maritimeHazard ChineseLanguage "maritimeHazard 是 Hazardous 的 subrelation，是一种 BinaryRelation，专门处理对 WaterTransportation 造成的危险情况。")	Geography.kif 5786-5787
(documentation maritimeHazard EnglishLanguage "maritimeHazard is a subrelation of the BinaryRelation Hazardous which posts threat to WaterTransportation.")	Geography.kif 5784-5785
(domain maritimeHazard 1 Physical)	Geography.kif 5788-5788
(domain maritimeHazard 2 Object)	Geography.kif 5789-5789
(instance maritimeHazard BinaryPredicate)	Geography.kif 5791-5791
(subrelation maritimeHazard hazardous)	Geography.kif 5790-5790

appearance as argument number 2

(format EnglishLanguage maritimeHazard "%1 is n% hazardous to %2.")	Geography.kif 5792-5792
(termFormat ChineseLanguage maritimeHazard "海上危险")	domainEnglishFormat.kif 36216-36216
(termFormat ChineseTraditionalLanguage maritimeHazard "海上危險")	domainEnglishFormat.kif 36215-36215
(termFormat EnglishLanguage maritimeHazard "maritime hazard")	domainEnglishFormat.kif 36214-36214

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

consequent

(=> (and (instance ?BERG Iceberg) (instance ?SHIP WaterVehicle)) (maritimeHazard ?BERG ?SHIP))	Geography.kif 4649-4653
(=> (and (instance ?R Reef) (instance ?B WaterVehicle)) (maritimeHazard ?R ?B))	Geography.kif 5856-5860
(=> (and (instance ?S Shoal) (instance ?B WaterVehicle)) (maritimeHazard ?S ?B))	Geography.kif 5826-5830