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 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	The number 1 argument of hazardous is an instance of physical
(domain hazardous 2 Object)	Geography.kif 5939-5939	The number 2 argument of hazardous is an instance of object
(instance hazardous BinaryPredicate)	Geography.kif 5940-5940	hazardous is an instance of binary predicate

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	Hazardous material transport attribute is internally related to hazardous
(subrelation maritimeHazard hazardous)	Geography.kif 5962-5962	maritime hazard is a subrelation of hazardous
(termFormat ChineseLanguage hazardous "危险")	Geography.kif 5943-5943	maritime hazard is a subrelation of hazardous
(termFormat EnglishLanguage hazardous "hazardous")	Geography.kif 5942-5942	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 5945-5954

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 1561-1574	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 5966-5974	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: