hazardous - Sigma Knowledge base Browser

appearance as argument number 1

(documentation hazardous ChineseLanguage "hazardous 是一种 BinaryRelation，它把一个 Physical (Object 或 Process) 和这个物理可能造成 Damaging 的另外一个 Object 连系在一起。(hazardous ?THING ?OBJECT) 的月意思是 ?THING 可能为造成 ?OBJECT 损害。")	Geography.kif 5842-5844
(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 5839-5841
(domain hazardous 1 Physical)	Geography.kif 5845-5845	The number 1 argument of hazardous is an instance of physical
(domain hazardous 2 Object)	Geography.kif 5846-5846	The number 2 argument of hazardous is an instance of object
(instance hazardous BinaryPredicate)	Geography.kif 5847-5847	hazardous is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage hazardous "%1 is %n hazardous to %2")	Geography.kif 5848-5848
(subrelation maritimeHazard hazardous)	Geography.kif 5869-5869	maritime hazard is a subrelation of hazardous
(termFormat ChineseLanguage hazardous "危险")	Geography.kif 5850-5850	maritime hazard is a subrelation of hazardous
(termFormat EnglishLanguage hazardous "hazardous")	Geography.kif 5849-5849	maritime hazard is a subrelation of 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 5852-5861

If a physical is hazardous to an object,
then the statement there exists an entity such that the entity is an instance of damaging and the object is a patient of the entity and the physical is an involved in event of the entity or the physical causes the entity has the modal force of possibility

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 1562-1575	If a process is an instance of heavy zone and an object is an instance of water area and the process is located at the object, then there exist another process and an agent such that the other process is an instance of swimming and the agent is an instance of human and the agent is an agent of the other process and the other process is located at the object and the process is hazardous to the agent holds during the time of existence of the process
(=> (maritimeHazard ?A ?B) (exists (?SAIL ?WATER) (and (instance ?SAIL WaterTransportation) (instrument ?SAIL ?B) (eventLocated ?SAIL ?WATER) (located ?A ?WATER) (hazardous ?A ?B))))	Geography.kif 5873-5881	If a physical is hazardous to an object., then there exist a process and another object such that the process is an instance of water transportation and the object is an instrument for the process and the process is located at the other object and the physical is located at the other object and the physical is hazardous to the object

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

KB Term:			Term intersection

English Word: