TreeView Knowledge Base Browser

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	mapOfArea の数値 1 引数は地域の instance では %n
(domain mapOfArea 2 SymbolicString)	Geography.kif 528-528	mapOfArea の数値 2 引数は記号文字列の instance では %n
(instance mapOfArea BinaryPredicate)	Geography.kif 526-526	mapOfArea は 2進述語の instance では %n

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