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	Il numero 1 argomenti di mapOfArea è un istanza di Regione
(domain mapOfArea 2 SymbolicString)	Geography.kif 528-528	Il numero 2 argomenti di mapOfArea è un istanza di Stringa
(instance mapOfArea BinaryPredicate)	Geography.kif 526-526	mapOfArea è un' istanza di PredicatoBinario

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