mapOfArea |
appearance as argument number 1 |
![]() |
(documentation mapOfArea EnglishLanguage "(mapOfArea ?AREA ?POINTER) means that a map of the Region ?AREA can be found at the location ?POINTER.") | Geography.kif 530-531 | |
(domain mapOfArea 1 Region) | Geography.kif 527-527 | The number 1 argument of map of area is an instance of region |
(domain mapOfArea 2 SymbolicString) | Geography.kif 528-528 | The number 2 argument of map of area is an instance of symbolic string |
(instance mapOfArea BinaryPredicate) | Geography.kif 526-526 | map of area is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage mapOfArea "%2 %n 是区域 %1 的 map ") | domainEnglishFormat.kif 1607-1607 | |
(format ChineseTraditionalLanguage mapOfArea "%2 %n 是區域 %1 的 map ") | domainEnglishFormat.kif 1606-1606 | |
(format EnglishLanguage mapOfArea "%2 is %n a map of area of %1") | domainEnglishFormat.kif 1605-1605 | |
(termFormat ChineseLanguage mapOfArea "地区地图") | domainEnglishFormat.kif 36089-36089 | |
(termFormat ChineseTraditionalLanguage mapOfArea "地區地圖") | domainEnglishFormat.kif 36088-36088 | |
(termFormat EnglishLanguage mapOfArea "map of area") | domainEnglishFormat.kif 36087-36087 |
![]() |
![]() |