| appearance as argument number 1 |
|
| (documentation naturalHazardTypeInArea EnglishLanguage "(naturalHazardTypeInArea ?AREA ?TYPE) means that in the GeographicArea ?AREA, Processes of ?TYPE occur with some frequency and may cause damage or danger to human lives and property.") | Geography.kif 2417-2420 | |
| (domain naturalHazardTypeInArea 1 GeographicArea) | Geography.kif 2414-2414 | The number 1 argument of natural hazard type in area is an instance of geographic area |
| (domainSubclass naturalHazardTypeInArea 2 Physical) | Geography.kif 2415-2415 | The number 2 argument of natural hazard type in area is a subclass of physical |
| (instance naturalHazardTypeInArea BinaryPredicate) | Geography.kif 2413-2413 | natural hazard type in area is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage naturalHazardTypeInArea "%2 %n 是区域 %1 的 natural 有害类别") | domainEnglishFormat.kif 1787-1787 | |
| (format ChineseTraditionalLanguage naturalHazardTypeInArea "%2 %n 是區域 %1 的 natural 有害類別") | domainEnglishFormat.kif 1786-1786 | |
| (format EnglishLanguage naturalHazardTypeInArea "%2 is %n a natural hazard type in area of %1") | domainEnglishFormat.kif 1785-1785 | |
| (termFormat ChineseLanguage naturalHazardTypeInArea "区域内的自然灾害类型") | domainEnglishFormat.kif 39904-39904 | |
| (termFormat ChineseTraditionalLanguage naturalHazardTypeInArea "區域內的自然災害類型") | domainEnglishFormat.kif 39903-39903 | |
| (termFormat EnglishLanguage naturalHazardTypeInArea "natural hazard type in area") | domainEnglishFormat.kif 39902-39902 |
| antecedent |
|
|
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (geographicSubregion ?AREA ?COUNTRY) (instance ?COUNTRY Nation)) (naturalHazardTypeInArea ?COUNTRY ?TYPE)) |
Geography.kif 2422-2427 |
|
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Object)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA)))) |
Geography.kif 2429-2436 |
|
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Process)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA) (overlapsTemporally (WhenFn ?ITEM) (WhenFn ?AREA))))) |
Geography.kif 2438-2448 |
|
| consequent |
|
|
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (geographicSubregion ?AREA ?COUNTRY) (instance ?COUNTRY Nation)) (naturalHazardTypeInArea ?COUNTRY ?TYPE)) |
Geography.kif 2422-2427 |
|
| appearance as argument number 0 |
|
|
| (naturalHazardTypeInArea SouthernOcean CyclonicStorm) | Geography.kif 4917-4917 | Cyclonic storm is a &aturalHazardTypeInArea$"natural" hazard type in area of southern ocean |
| (naturalHazardTypeInArea SouthernOcean Iceberg) | Geography.kif 4918-4918 | Iceberg is a &aturalHazardTypeInArea$"natural" hazard type in area of southern ocean |
| (naturalHazardTypeInArea SouthernOcean SeaIce) | Geography.kif 4919-4919 | Sea ice is a &aturalHazardTypeInArea$"natural" hazard type in area of southern ocean |
|
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