TreeView Knowledge Base Browser

appearance as argument number 1

(documentation maritimeHazard ChineseLanguage "maritimeHazard 是 Hazardous 的 subrelation，是一种 BinaryRelation，专门处理对 WaterTransportation 造成的危险情况。")	Geography.kif 5671-5672
(documentation maritimeHazard EnglishLanguage "maritimeHazard is a subrelation of the BinaryRelation Hazardous which posts threat to WaterTransportation.")	Geography.kif 5669-5670
(domain maritimeHazard 1 Physical)	Geography.kif 5673-5673
(domain maritimeHazard 2 Object)	Geography.kif 5674-5674
(instance maritimeHazard BinaryPredicate)	Geography.kif 5676-5676
(subrelation maritimeHazard hazardous)	Geography.kif 5675-5675

appearance as argument number 2

(format EnglishLanguage maritimeHazard "%1 is n% hazardous to %2.")	Geography.kif 5677-5677
(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 5679-5687

consequent

(=> (and (instance ?BERG Iceberg) (instance ?SHIP WaterVehicle)) (maritimeHazard ?BERG ?SHIP))	Geography.kif 4542-4546
(=> (and (instance ?R Reef) (instance ?B WaterVehicle)) (maritimeHazard ?R ?B))	Geography.kif 5740-5744
(=> (and (instance ?S Shoal) (instance ?B WaterVehicle)) (maritimeHazard ?S ?B))	Geography.kif 5711-5715