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 7220-7223 | |
(domain GeographicPartTypeFn 2 GeographicArea) | Geography.kif 7218-7218 | The number 2 argument of geographic part type fn is an instance of geographic area |
(domainSubclass GeographicPartTypeFn 1 GeographicArea) | Geography.kif 7217-7217 | The number 1 argument of geographic part type fn is a subclass of geographic area |
(instance GeographicPartTypeFn BinaryFunction) | Geography.kif 7216-7216 | Geographic part type fn is an instance of binary function |
(rangeSubclass GeographicPartTypeFn GeographicArea) | Geography.kif 7219-7219 | The values returned by geographic part type fn are subclasses of geographic area |
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 |
![]() |
statement |
![]() |
(equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates)) |
Geography.kif 7280-7280 | equal american state and all the instances of state or province in united states |
(equal CanadianProvinces (GeographicPartTypeFn StateOrProvince Canada)) |
Geography.kif 401-402 | equal Canadian provinces and all the instances of state or province in canada |
![]() |
![]() |