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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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