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 凱文度 是 Entity 的 air 溫度 測量 29.530 and 英寸汞 是 Entity 的 barometric 壓力 |
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 |