GeographicPartTypeFn |
appearance as argument number 1 |
![]() |
(documentation GeographicPartTypeFn EnglishLanguage "(GeographicPartTypeFn ?TYPE ?AREA) evaluates to the Class of all instances of ?TYPE that are located in the GeographicArea ?AREA.") | Geography.kif 7253-7256 | |
(domain GeographicPartTypeFn 2 GeographicArea) | Geography.kif 7251-7251 | GeographicPartTypeFn の数値 2 引数は 地理的地域 の instance では |
(domainSubclass GeographicPartTypeFn 1 GeographicArea) | Geography.kif 7250-7250 | GeographicPartTypeFn の数値 1 引数は 地理的地域 のsubclass では |
(instance GeographicPartTypeFn BinaryFunction) | Geography.kif 7249-7249 | GeographicPartTypeFn は 2変数関数 の instance では |
(rangeSubclass GeographicPartTypeFn GeographicArea) | Geography.kif 7252-7252 | GeographicPartTypeFn が返す値は 地理的地域 の subclasses では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage GeographicPartTypeFn "%1 所有的 instances 在 %2 ") | domainEnglishFormat.kif 3516-3516 | |
(format ChineseTraditionalLanguage GeographicPartTypeFn "%1 所有的 instances 在 %2 ") | domainEnglishFormat.kif 3515-3515 | |
(format EnglishLanguage GeographicPartTypeFn "all the instances of %1 in %2") | domainEnglishFormat.kif 3514-3514 | |
(termFormat EnglishLanguage GeographicPartTypeFn "geographic part type fn") | domainEnglishFormat.kif 64926-64926 |
antecedent |
![]() |
(=> (and (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?TYPE GeopoliticalArea) (instance ?AREA GeopoliticalArea)) (geopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 7268-7273 | |
(=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 7275-7279 | |
(=> (equal ?CLASS (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?CLASS ?TYPE)) |
Geography.kif 7258-7260 | |
(=> (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (part ?GEO ?AREA)) |
Geography.kif 7264-7266 |
statement |
![]() |
(equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates)) |
Geography.kif 7313-7313 | equal AmericanState and GeographicPartTypeFn 州 and UnitedStates |
(equal CanadianProvinces (GeographicPartTypeFn StateOrProvince Canada)) |
Geography.kif 434-435 | equal CanadianProvinces and GeographicPartTypeFn 州 and Canada |
![]() |
![]() |