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 5889-5890
(documentation maritimeHazard EnglishLanguage "maritimeHazard is a subrelation of the BinaryRelation Hazardous which posts threat to WaterTransportation.") Geography.kif 5887-5888
(domain maritimeHazard 1 Physical) Geography.kif 5891-5891 Le nombre 1 argument de maritimeHazard est une instance de physique
(domain maritimeHazard 2 Object) Geography.kif 5892-5892 Le nombre 2 argument de maritimeHazard est une instance de objet
(instance maritimeHazard BinaryPredicate) Geography.kif 5894-5894 maritimeHazard est une instance de pr�dicat binaire
(subrelation maritimeHazard hazardous) Geography.kif 5893-5893 maritimeHazard est une sous-relation de hazardous

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


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

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 5897-5905

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


(=>
    (and
        (instance ?BERG Iceberg)
        (instance ?SHIP WaterVehicle))
    (maritimeHazard ?BERG ?SHIP))
Geography.kif 4751-4755
(=>
    (and
        (instance ?R Reef)
        (instance ?B WaterVehicle))
    (maritimeHazard ?R ?B))
Geography.kif 5959-5963
(=>
    (and
        (instance ?S Shoal)
        (instance ?B WaterVehicle))
    (maritimeHazard ?S ?B))
Geography.kif 5929-5933


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