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

Formal Language: 



KB Term:  Term intersection
English Word: 

  maritimeHazard

Sigma KEE - maritimeHazard
maritimeHazard

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


(documentation maritimeHazard ChineseLanguage "maritimeHazard 是 Hazardous 的 subrelation,是一种 BinaryRelation, 专门处理对 WaterTransportation 造成的危险情况。") Geography.kif 5696-5697
(documentation maritimeHazard EnglishLanguage "maritimeHazard is a subrelation of the BinaryRelation Hazardous which posts threat to WaterTransportation.") Geography.kif 5694-5695
(domain maritimeHazard 1 Physical) Geography.kif 5698-5698 The number 1 argument of maritime hazard is an instance of physical
(domain maritimeHazard 2 Object) Geography.kif 5699-5699 The number 2 argument of maritime hazard is an instance of object
(instance maritimeHazard BinaryPredicate) Geography.kif 5701-5701 maritime hazard is an instance of binary predicate
(subrelation maritimeHazard hazardous) Geography.kif 5700-5700 maritime hazard is a subrelation of hazardous

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


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

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


(=>
    (and
        (instance ?BERG Iceberg)
        (instance ?SHIP WaterVehicle))
    (maritimeHazard ?BERG ?SHIP))
Geography.kif 4567-4571
(=>
    (and
        (instance ?R Reef)
        (instance ?B WaterVehicle))
    (maritimeHazard ?R ?B))
Geography.kif 5765-5769
(=>
    (and
        (instance ?S Shoal)
        (instance ?B WaterVehicle))
    (maritimeHazard ?S ?B))
Geography.kif 5736-5740


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

Show without tree


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