TreeView 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 5763-5765
(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 5760-5762
(domain hazardous 1 Physical)	Geography.kif 5766-5766	The number 1 argument of hazardous is an instance of physical
(domain hazardous 2 Object)	Geography.kif 5767-5767	The number 2 argument of hazardous is an instance of object
(instance hazardous BinaryRelation)	Geography.kif 5768-5768	hazardous is an instance of binary relation

appearance as argument number 2

(format EnglishLanguage hazardous "%1 is n% hazardous to %2")	Geography.kif 5769-5769
(subrelation maritimeHazard hazardous)	Geography.kif 5790-5790	maritime hazard is a subrelation of hazardous
(termFormat ChineseLanguage hazardous "危险")	Geography.kif 5771-5771
(termFormat EnglishLanguage hazardous "hazardous")	Geography.kif 5770-5770

antecedent

(=>
    (hazardous ?A ?B)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Damaging)
                (patient ?D ?B)
                (or
                    (involvedInEvent ?D ?A)
                    (causes ?A ?D)))) Possibility))

Geography.kif 5773-5782

If a physical is n% 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 1578-1591	If a process is an instance of heavy zone and an entity is an instance of water area and the process is located at 2, 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 2 and the process is n% 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 5794-5802	If a physical is n% 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 2 and the physical is located at the other object and the physical is n% hazardous to the object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: