| appearance as argument number 1 |
|
| (documentation hazardous ChineseLanguage "hazardous 是一种 BinaryRelation，它把 一个 Physical (Object 或 Process) 和这个物理可能造成 Damaging 的另外一个 Object 连系在一起。(hazardous ?THING ?OBJECT) 的月意思是 ?THING 可能为造成 ?OBJECT 损害。") | Geography.kif 6169-6171 | |
| (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 6166-6168 | |
| (domain hazardous 1 Physical) | Geography.kif 6172-6172 | |
| (domain hazardous 2 Object) | Geography.kif 6173-6173 | |
| (instance hazardous BinaryPredicate) | Geography.kif 6174-6174 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage hazardous "%1 is %n hazardous to %2") | Geography.kif 6175-6175 | |
| (relatedInternalConcept HazardousMaterialTransportAttribute hazardous) | Transportation.kif 4113-4113 | |
| (subrelation maritimeHazard hazardous) | Geography.kif 6196-6196 | |
| (termFormat ChineseLanguage hazardous "危险") | Geography.kif 6177-6177 | |
| (termFormat EnglishLanguage hazardous "hazardous") | Geography.kif 6176-6176 |
| antecedent |
|
|
| (=> (hazardous ?A ?B) (modalAttribute (exists (?D) (and (instance ?D Damaging) (patient ?D ?B) (or (involvedInEvent ?D ?A) (causes ?A ?D)))) Possibility)) |
Geography.kif 6179-6188 |
| 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 2303-2316 | |
| (=> (instance ?W StrongWind) (holdsDuring (WhenFn ?W) (exists (?A) (and (instance ?A GeographicArea) (eventLocated ?W ?A) (hazardous ?W ?A))))) |
Weather.kif 1499-1507 | |
| (=> (maritimeHazard ?A ?B) (exists (?SAIL ?WATER) (and (instance ?SAIL WaterTransportation) (instrument ?SAIL ?B) (eventLocated ?SAIL ?WATER) (located ?A ?WATER) (hazardous ?A ?B)))) |
Geography.kif 6200-6208 |
|
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