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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mapOfArea

 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 地区地图 的 1 数量 是 地区 的 instance
(domain mapOfArea 2 SymbolicString) Geography.kif 528-528 地区地图 的 2 数量 是 符号串 的 instance
(instance mapOfArea BinaryPredicate) Geography.kif 526-526 地区地图 是 二元谓语 的 instance

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 36095-36095
(termFormat ChineseTraditionalLanguage mapOfArea "地區地圖") domainEnglishFormat.kif 36094-36094
(termFormat EnglishLanguage mapOfArea "map of area") domainEnglishFormat.kif 36093-36093


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

Show without tree


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