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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Region
Region

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1626-1629
No TPTP formula. May not be expressible in strict first order. Merge.kif 1253-1259
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 208-211
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 247-251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9026-9026 劃分 Region, GeographicArea and 空間區域
No TPTP formula. May not be expressible in strict first order. Merge.kif 1251-1251 子類 Region and Object

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4926-4926 範圍 流動區域 and Region
No TPTP formula. May not be expressible in strict first order. Geography.kif 797-797 範圍 內部邊界 and Region
No TPTP formula. May not be expressible in strict first order. Geography.kif 410-410 範圍 緯度 and Region
No TPTP formula. May not be expressible in strict first order. Geography.kif 809-809 範圍 外邊界 and Region
No TPTP formula. May not be expressible in strict first order. Merge.kif 4224-4224 範圍 哪裡 and Region
No TPTP formula. May not be expressible in strict first order. Weather.kif 10-10 子類 大氣層 and Region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15566-15566 子類 DiningArea and Region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9043-9043 子類 流動區域 and Region
No TPTP formula. May not be expressible in strict first order. Merge.kif 14031-14031 子類 GeographicArea and Region
No TPTP formula. May not be expressible in strict first order. Merge.kif 9851-9851 子類 HoleRegion and Region
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 547-547 子類 親水側 and Region
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 536-536 子類 疏水面 and Region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9141-9141 子類 在室內 and Region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15541-15541 子類 KitchenArea and Region
No TPTP formula. May not be expressible in strict first order. Geography.kif 302-302 子類 緯度 and Region
No TPTP formula. May not be expressible in strict first order. Geography.kif 311-311 子類 經度 and Region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9129-9129 子類 在戶外 and Region
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 31-31 子類 ParkingRegion and Region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26634-26634 子類 Patio and Region
No TPTP formula. May not be expressible in strict first order. Geography.kif 762-762 子類 周邊區域 and Region
No TPTP formula. May not be expressible in strict first order. Dining.kif 982-982 子類 PlayArea and Region
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1354-1354 子類 房地產 and Region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22217-22217 子類 and Region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15528-15528 子類 SittingArea and Region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9067-9067 子類 空間區域 and Region

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 796-796 內部邊界, 1 and Region
No TPTP formula. May not be expressible in strict first order. Geography.kif 781-781 海上主張領海, 1 and Region
No TPTP formula. May not be expressible in strict first order. Food.kif 1899-1899 MealAttributeFn, 2 and Region
No TPTP formula. May not be expressible in strict first order. Geography.kif 808-808 外邊界, 1 and Region
No TPTP formula. May not be expressible in strict first order. Geography.kif 769-769 周邊區域, 1 and Region
No TPTP formula. May not be expressible in strict first order. Merge.kif 6670-6670 速度, 3 and Region
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1314-1314 經營範圍, 1 and Region
No TPTP formula. May not be expressible in strict first order. Biography.kif 189-189 baptizedplace, 2 and Region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24580-24580 canonicalPlaceName, 1 and Region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2690-2690 能夠在位置, 4 and Region
No TPTP formula. May not be expressible in strict first order. Hotel.kif 786-786 capacityByArrangement, 1 and Region
No TPTP formula. May not be expressible in strict first order. Weather.kif 870-870 雲覆蓋部分, 1 and Region
No TPTP formula. May not be expressible in strict first order. Weather.kif 850-850 白天小時間隔, 1 and Region
No TPTP formula. May not be expressible in strict first order. Weather.kif 860-860 白天的總時數, 1 and Region
No TPTP formula. May not be expressible in strict first order. Geography.kif 5010-5010 highTide, 1 and Region
No TPTP formula. May not be expressible in strict first order. Geography.kif 5019-5019 lowTide, 1 and Region
No TPTP formula. May not be expressible in strict first order. Geography.kif 527-527 地區地圖, 1 and Region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3396-3396 providesDestination, 2 and Region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2904-2904 之間的路線, 2 and Region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2905-2905 之間的路線, 3 and Region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2777-2777 routeEnd, 1 and Region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2754-2754 routeStart, 1 and Region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31194-31194 總面積, 1 and Region
No TPTP formula. May not be expressible in strict first order. Weather.kif 2702-2702 visibilityInMeteorology, 1 and Region

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2680-2690 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 Entityair 溫度 測量 29.530 and 英寸汞 Entitybarometric 壓力
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30120-30127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30104-30112
No TPTP formula. May not be expressible in strict first order. Geography.kif 427-431
No TPTP formula. May not be expressible in strict first order. Geography.kif 467-474
No TPTP formula. May not be expressible in strict first order. Merge.kif 13655-13660
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1326-1331
No TPTP formula. May not be expressible in strict first order. Cars.kif 368-376
No TPTP formula. May not be expressible in strict first order. Geography.kif 3496-3501
No TPTP formula. May not be expressible in strict first order. Weather.kif 2750-2771
No TPTP formula. May not be expressible in strict first order. Geography.kif 421-425
No TPTP formula. May not be expressible in strict first order. Geography.kif 461-465
No TPTP formula. May not be expressible in strict first order. Geography.kif 803-805
No TPTP formula. May not be expressible in strict first order. Geography.kif 815-817

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2471-2482
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 577-587
No TPTP formula. May not be expressible in strict first order. Merge.kif 11558-11567
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30030-30060
No TPTP formula. May not be expressible in strict first order. Merge.kif 13662-13668
No TPTP formula. May not be expressible in strict first order. Dining.kif 956-980
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1057-1065
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1072-1080
No TPTP formula. May not be expressible in strict first order. Cars.kif 383-396
No TPTP formula. May not be expressible in strict first order. Cars.kif 403-416
No TPTP formula. May not be expressible in strict first order. engineering.kif 1139-1151
No TPTP formula. May not be expressible in strict first order. Weather.kif 1109-1123
No TPTP formula. May not be expressible in strict first order. Weather.kif 2865-2879
No TPTP formula. May not be expressible in strict first order. Weather.kif 2916-2929
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9115-9117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9111-9113
No TPTP formula. May not be expressible in strict first order. Weather.kif 178-186


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