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 | 地区 详尽无遗地 partition 成 地理区域 和 空间区域 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1251-1251 | 地区 是 客体 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4926-4926 | 流动区域 的 range 是 地区 的实例 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 797-797 | 内部边界 的 range 是 地区 的实例 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 410-410 | 纬度 的 range 是 地区 的实例 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 809-809 | 外边界 的 range 是 地区 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4224-4224 | 表示位置的函数 的 range 是 地区 的实例 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 10-10 | 大气层 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15566-15566 | DiningArea 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9043-9043 | 流动区域 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14031-14031 | 地理区域 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9851-9851 | 洞 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 547-547 | 亲水侧 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 536-536 | 疏水面 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9141-9141 | 在室内 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15541-15541 | KitchenArea 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 302-302 | 纬度 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 311-311 | 经度 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9129-9129 | 在户外 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 31-31 | ParkingRegion 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26634-26634 | Patio 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 762-762 | 周边区域 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 982-982 | PlayArea 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1354-1354 | 房地产 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22217-22217 | 路 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15528-15528 | SittingArea 是 地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9067-9067 | 空间区域 是 地区 的 subclass |
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 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 781-781 | 海上主张领海 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1899-1899 | MealAttributeFn 的 2 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 808-808 | 外边界 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 769-769 | 周边区域 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6670-6670 | 速度函数 的 3 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1314-1314 | 经营范围 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 189-189 | baptizedplace 的 2 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24580-24580 | canonicalPlaceName 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2690-2690 | 能够在位置 的 4 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 786-786 | capacityByArrangement 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 870-870 | 云覆盖部分 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 850-850 | 白天小时间隔 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 860-860 | 白天的总时数 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5010-5010 | highTide 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5019-5019 | lowTide 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 527-527 | 地区地图 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3396-3396 | providesDestination 的 2 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2904-2904 | 之间的路线 的 2 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2905-2905 | 之间的路线 的 3 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2777-2777 | routeEnd 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2754-2754 | routeStart 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31194-31194 | 总面积 的 1 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2702-2702 | 气象学能见度 的 1 数量 是 地区 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2680-2690 | 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring |
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 |