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 The number 1 argument of map of area is an instance of region
(domain mapOfArea 2 SymbolicString) Geography.kif 528-528 The number 2 argument of map of area is an instance of symbolic string
(instance mapOfArea BinaryPredicate) Geography.kif 526-526 map of area is an instance of binary predicate

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

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