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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - maritimeHazard

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


    (maritimeHazard ?A ?B)
    (exists (?SAIL ?WATER)
            (instance ?SAIL WaterTransportation)
            (instrument ?SAIL ?B)
            (eventLocated ?SAIL ?WATER)
            (located ?A ?WATER)
            (hazardous ?A ?B))))
Geography.kif 5679-5687


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

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