TreeView Knowledge Base Browser

appearance as argument number 1

(instance mapOfArea BinaryPredicate)	Geography.kif 2002-2002	map of area is an instance of binary predicate
(domain mapOfArea 1 Region)	Geography.kif 2003-2003	The number 1 argument of map of area is an instance of region
(domain mapOfArea 2 SymbolicString)	Geography.kif 2004-2004	The number 2 argument of map of area is an instance of symbolic string
(documentation mapOfArea EnglishLanguage "(mapOfArea ?AREA ?POINTER) means that a map of the Region ?AREA can be found at the location ?POINTER.")	Geography.kif 2006-2007	The number 2 argument of map of area is an instance of symbolic string

appearance as argument number 2

(format EnglishLanguage mapOfArea "%2 is %n a map of area of %1")	domainEnglishFormat.kif 1609-1609
(format ChineseTraditionalLanguage mapOfArea "%2 %n 是區域 %1 的 map ")	domainEnglishFormat.kif 1610-1610
(format ChineseLanguage mapOfArea "%2 %n 是区域 %1 的 map ")	domainEnglishFormat.kif 1611-1611
(termFormat EnglishLanguage mapOfArea "map of area")	domainEnglishFormat.kif 36089-36089
(termFormat ChineseTraditionalLanguage mapOfArea "地區地圖")	domainEnglishFormat.kif 36090-36090
(termFormat ChineseLanguage mapOfArea "地区地图")	domainEnglishFormat.kif 36091-36091