Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - mapOfArea
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 Le nombre 1 argument de mapOfArea est une instance de r�gion
(domain mapOfArea 2 SymbolicString) Geography.kif 528-528 Le nombre 2 argument de mapOfArea est une instance de cha�ne sympbolique
(instance mapOfArea BinaryPredicate) Geography.kif 526-526 mapOfArea est une instance de pr�dicat binaire

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners