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 (Object 或 Process) 和这个物理可能造成 Damaging 的另外一个 Object 连系在一起。(hazardous ?THING ?OBJECT) 的月意思是 ?THING 可能为造成 ?OBJECT 损害。") Geography.kif 5935-5937
(documentation hazardous EnglishLanguage "hazardous is a BinaryPredicate 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 5932-5934
(domain hazardous 1 Physical) Geography.kif 5938-5938 Le nombre 1 argument de hazardous est une instance de physique
(domain hazardous 2 Object) Geography.kif 5939-5939 Le nombre 2 argument de hazardous est une instance de objet
(instance hazardous BinaryPredicate) Geography.kif 5940-5940 hazardous est une instance de pr�dicat binaire

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


(format EnglishLanguage hazardous "%1 is %n hazardous to %2") Geography.kif 5941-5941
(relatedInternalConcept HazardousMaterialTransportAttribute hazardous) Transportation.kif 4107-4107 HazardousMaterialTransportAttribute est reli� � l'int�rieur de SUMO � hazardous
(subrelation maritimeHazard hazardous) Geography.kif 5962-5962 maritimeHazard est une sous-relation de hazardous
(termFormat ChineseLanguage hazardous "危险") Geography.kif 5943-5943 maritimeHazard est une sous-relation de hazardous
(termFormat EnglishLanguage hazardous "hazardous") Geography.kif 5942-5942 maritimeHazard est une sous-relation de hazardous

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


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

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 1561-1574
(=>
    (maritimeHazard ?A ?B)
    (exists (?SAIL ?WATER)
        (and
            (instance ?SAIL WaterTransportation)
            (instrument ?SAIL ?B)
            (eventLocated ?SAIL ?WATER)
            (located ?A ?WATER)
            (hazardous ?A ?B))))		 Geography.kif 5966-5974


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