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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hazardous
hazardous

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


(documentation hazardous ChineseLanguage "hazardous 是一种 BinaryRelation,它把 一个 Physical (ObjectProcess) 和这个物理可能造成 Damaging 的另外一个 Object 连系在一起。(hazardous ?THING ?OBJECT) 的月意思是 ?THING 可能为造成 ?OBJECT 损害。") Geography.kif 5774-5776
(documentation hazardous EnglishLanguage "hazardous is a BinaryRelation which associates a Physical (an Object or a Process) to the Damaging it may bring to another Object. (hazardous ?THING ?OBJECT) means that ?THING may cause damage to ?OBJECT.") Geography.kif 5771-5773
(domain hazardous 1 Physical) Geography.kif 5777-5777 危险 的 1 数量 是 物理instance
(domain hazardous 2 Object) Geography.kif 5778-5778 危险 的 2 数量 是 客体instance
(instance hazardous BinaryRelation) Geography.kif 5779-5779 危险二元关系instance

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


(format EnglishLanguage hazardous "%1 is %n hazardous to %2") Geography.kif 5780-5780
(subrelation maritimeHazard hazardous) Geography.kif 5801-5801 海上危险危险subrelation
(termFormat ChineseLanguage hazardous "危险") Geography.kif 5782-5782
(termFormat EnglishLanguage hazardous "hazardous") Geography.kif 5781-5781

antecedent
-------------------------


(=>
    (hazardous ?A ?B)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Damaging)
                (patient ?D ?B)
                (or
                    (involvedInEvent ?D ?A)
                    (causes ?A ?D)))) Possibility))
Geography.kif 5784-5793

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


(=>
    (and
        (instance ?HS HeavySurf)
        (instance ?PLACE WaterArea)
        (eventLocated ?HS ?PLACE))
    (exists (?SWIM ?A)
        (and
            (instance ?SWIM Swimming)
            (instance ?A Human)
            (agent ?SWIM ?A)
            (eventLocated ?SWIM ?PLACE)
            (holdsDuring
                (WhenFn ?HS)
                (hazardous ?HS ?A)))))
Weather.kif 1579-1592
(=>
    (maritimeHazard ?A ?B)
    (exists (?SAIL ?WATER)
        (and
            (instance ?SAIL WaterTransportation)
            (instrument ?SAIL ?B)
            (eventLocated ?SAIL ?WATER)
            (located ?A ?WATER)
            (hazardous ?A ?B))))
Geography.kif 5805-5813


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