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 6916-6919 | |
(domain GeographicPartTypeFn 2 GeographicArea) | Geography.kif 6914-6914 | Il numero 2 argomenti di GeographicPartTypeFn è un istanza di AreaGeografica |
(domainSubclass GeographicPartTypeFn 1 GeographicArea) | Geography.kif 6913-6913 | Il numero 1 argomento GeographicPartTypeFn è una sottoclasse diAreaGeografica |
(instance GeographicPartTypeFn BinaryFunction) | Geography.kif 6912-6912 | GeographicPartTypeFn è un' istanza di FunzioneBinaria |
(rangeSubclass GeographicPartTypeFn GeographicArea) | Geography.kif 6915-6915 | I valori resi da GeographicPartTypeFn sono sottoclassi diAreaGeografica |
appearance as argument number 2 |
(format ChineseLanguage GeographicPartTypeFn "%1 所有的 instances 在 %2 ") | domainEnglishFormat.kif 3518-3518 | |
(format ChineseTraditionalLanguage GeographicPartTypeFn "%1 所有的 instances 在 %2 ") | domainEnglishFormat.kif 3517-3517 | |
(format EnglishLanguage GeographicPartTypeFn "all the instances of %1 in %2") | domainEnglishFormat.kif 3516-3516 | |
(termFormat EnglishLanguage GeographicPartTypeFn "geographic part type fn") | domainEnglishFormat.kif 64934-64934 |
antecedent |
(=> (and (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?TYPE GeopoliticalArea) (instance ?AREA GeopoliticalArea)) (geopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 6931-6936 | |
(=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 6938-6942 | |
(=> (equal ?CLASS (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?CLASS ?TYPE)) |
Geography.kif 6921-6923 | |
(=> (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (part ?GEO ?AREA)) |
Geography.kif 6927-6929 |
|
statement |
(equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates)) |
Geography.kif 6976-6976 | AmericanState is uguale a GeographicPartTypeFn StatoOProvincia and UnitedStates |