naturalHazardTypeInArea |
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 2247-2250 | |
(domain naturalHazardTypeInArea 1 GeographicArea) | Geography.kif 2244-2244 | The number 1 argument of natural hazard type in area is an instance of geographic area |
(domainSubclass naturalHazardTypeInArea 2 Physical) | Geography.kif 2245-2245 | The number 2 argument of natural hazard type in area is a subclass of physical |
(instance naturalHazardTypeInArea BinaryPredicate) | Geography.kif 2243-2243 | 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 39921-39921 | |
(termFormat ChineseTraditionalLanguage naturalHazardTypeInArea "區域內的自然災害類型") | domainEnglishFormat.kif 39920-39920 | |
(termFormat EnglishLanguage naturalHazardTypeInArea "natural hazard type in area") | domainEnglishFormat.kif 39919-39919 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (geographicSubregion ?AREA ?COUNTRY) (instance ?COUNTRY Nation)) (naturalHazardTypeInArea ?COUNTRY ?TYPE)) |
Geography.kif 2252-2257 |
|
appearance as argument number 0 |
![]() |
(naturalHazardTypeInArea SouthernOcean CyclonicStorm) | Geography.kif 4746-4746 | Cyclonic storm is a natural hazard type in area of southern ocean |
(naturalHazardTypeInArea SouthernOcean Iceberg) | Geography.kif 4747-4747 | Iceberg is a natural hazard type in area of southern ocean |
(naturalHazardTypeInArea SouthernOcean SeaIce) | Geography.kif 4748-4748 | Sea ice is a natural hazard type in area of southern ocean |
![]() |
![]() |