Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| naturalHazardTypeInArea |
| appearance as argument number 1 |
|
| (instance naturalHazardTypeInArea BinaryPredicate) | Geography.kif 3710-3710 | natural hazard type in area is an instance of binary predicate |
| (domain naturalHazardTypeInArea 1 GeographicArea) | Geography.kif 3711-3711 | The number 1 argument of natural hazard type in area is an instance of geographic area |
| (domainSubclass naturalHazardTypeInArea 2 Physical) | Geography.kif 3712-3712 | The number 2 argument of natural hazard type in area is a subclass of physical |
| (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 3714-3717 | The number 2 argument of natural hazard type in area is a subclass of physical |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage naturalHazardTypeInArea "%2 is %n a natural hazard type in area of %1") | domainEnglishFormat.kif 1785-1785 | |
| (format ChineseTraditionalLanguage naturalHazardTypeInArea "%2 %n 是區域 %1 的 natural 有害類別") | domainEnglishFormat.kif 1786-1786 | |
| (format ChineseLanguage naturalHazardTypeInArea "%2 %n 是区域 %1 的 natural 有害类别") | domainEnglishFormat.kif 1787-1787 | |
| (termFormat EnglishLanguage naturalHazardTypeInArea "natural hazard type in area") | domainEnglishFormat.kif 39895-39895 | |
| (termFormat ChineseTraditionalLanguage naturalHazardTypeInArea "區域內的自然災害類型") | domainEnglishFormat.kif 39896-39896 | |
| (termFormat ChineseLanguage naturalHazardTypeInArea "区域内的自然灾害类型") | domainEnglishFormat.kif 39897-39897 |
| antecedent |
|
|
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (geographicSubregion ?AREA ?COUNTRY) (instance ?COUNTRY Nation)) (naturalHazardTypeInArea ?COUNTRY ?TYPE)) |
Geography.kif 3719-3724 | If X is a natural hazard type in area of Y, Y is a geographic subregion of Z, and Z is an instance of nation, then X is a natural hazard type in area of Z |
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Object)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA)))) |
Geography.kif 3726-3733 | If X is a natural hazard type in area of Y and X is a subclass of object, then there exists Z such that Z is an instance of X and Z is located at Y |
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Process)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA) (overlapsTemporally (WhenFn ?ITEM) (WhenFn ?AREA))))) |
Geography.kif 3735-3745 | If X is a natural hazard type in area of Y and X is a subclass of process, then there exists Z such that Z is an instance of X, Z is located at Y, and the time of existence of Y overlaps the time of existence of Z |
| consequent |
|
|
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (geographicSubregion ?AREA ?COUNTRY) (instance ?COUNTRY Nation)) (naturalHazardTypeInArea ?COUNTRY ?TYPE)) |
Geography.kif 3719-3724 | If X is a natural hazard type in area of Y, Y is a geographic subregion of Z, and Z is an instance of nation, then X is a natural hazard type in area of Z |
| appearance as argument number 0 |
|
|
| (naturalHazardTypeInArea SouthernOcean CyclonicStorm) | Geography.kif 6219-6219 | Cyclonic storm is a natural hazard type in area of southern ocean |
| (naturalHazardTypeInArea SouthernOcean Iceberg) | Geography.kif 6220-6220 | Iceberg is a natural hazard type in area of southern ocean |
| (naturalHazardTypeInArea SouthernOcean SeaIce) | Geography.kif 6221-6221 | Sea ice is a natural hazard type in area of southern ocean |
|