Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - maritimeHazard
maritimeHazard

appearance as argument number 1
-------------------------


(documentation maritimeHazard ChineseLanguage "maritimeHazard 是 Hazardous 的 subrelation,是一种 BinaryRelation, 专门处理对 WaterTransportation 造成的危险情况。") Geography.kif 6192-6193
(documentation maritimeHazard EnglishLanguage "maritimeHazard is a subrelation of the BinaryRelation Hazardous which posts threat to WaterTransportation.") Geography.kif 6190-6191
(domain maritimeHazard 1 Physical) Geography.kif 6194-6194
(domain maritimeHazard 2 Object) Geography.kif 6195-6195
(instance maritimeHazard BinaryPredicate) Geography.kif 6197-6197
(subrelation maritimeHazard hazardous) Geography.kif 6196-6196

appearance as argument number 2
-------------------------


(format EnglishLanguage maritimeHazard "%1 is %n hazardous to %2.") Geography.kif 6198-6198
(termFormat ChineseLanguage maritimeHazard "海上危险") domainEnglishFormat.kif 36242-36242
(termFormat ChineseTraditionalLanguage maritimeHazard "海上危險") domainEnglishFormat.kif 36241-36241
(termFormat EnglishLanguage maritimeHazard "maritime hazard") domainEnglishFormat.kif 36240-36240

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 6200-6208

consequent
-------------------------


(=>
    (and
        (instance ?BERG Iceberg)
        (instance ?SHIP WaterVehicle))
    (maritimeHazard ?BERG ?SHIP))
Geography.kif 4991-4995
(=>
    (and
        (instance ?R Reef)
        (instance ?B WaterVehicle))
    (maritimeHazard ?R ?B))
Geography.kif 6262-6266
(=>
    (and
        (instance ?S Shoal)
        (instance ?B WaterVehicle))
    (maritimeHazard ?S ?B))
Geography.kif 6232-6236


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners