| Region(地区) | |
| appearance as argument number 1 |
|
|
| (documentation Region ChineseLanguage "这是一个地理位置。 Region 包括 Object 的表面、虚构的 地方 和 GeographicArea 。注：Region 是唯一能够定位于作自身的 Object 。 另外要注意的是 Region 不是 SelfConnectedObject 的子类别， 因为有一些 Region ，像群岛有些 part 跟其他部分 不 connected 。") | chinese_format.kif 1626-1629 | |
| (documentation Region EnglishLanguage "A topographic location. Regions encompass surfaces of Objects, imaginary places, and GeographicAreas. Note that a Region is the only kind of Object which can be located at itself. Note too that Region is not a subclass of SelfConnectedObject, because some Regions, e.g. archipelagos, have parts which are not connected with one another.") | Merge.kif 1174-1180 | |
| (partition Region GeographicArea SpaceRegion) | Mid-level-ontology.kif 8603-8603 | 地区 详尽无遗地 partition 成 地理区域 和 空间区域 |
| (subclass Region Object) | Merge.kif 1172-1172 | 地区 是 客体 的 subclass |
| appearance as argument number 2 |
|
|
| (range FlowRegionFn Region) | Geography.kif 4737-4737 | 流动区域 的 range 是 地区 的实例 |
| (range InnerBoundaryFn Region) | Geography.kif 796-796 | 内部边界 的 range 是 地区 的实例 |
| (range LatitudeFn Region) | Geography.kif 410-410 | 纬度 的 range 是 地区 的实例 |
| (range OuterBoundaryFn Region) | Geography.kif 808-808 | 外边界 的 range 是 地区 的实例 |
| (range WhereFn Region) | Merge.kif 4092-4092 | 表示位置的函数 的 range 是 地区 的实例 |
| (subclass Atmosphere Region) | Weather.kif 10-10 | 大气层 是 地区 的 subclass |
| (subclass DiningArea Region) | Mid-level-ontology.kif 14983-14983 | DiningArea 是 地区 的 subclass |
| (subclass FlowRegion Region) | Mid-level-ontology.kif 8620-8620 | 流动区域 是 地区 的 subclass |
| (subclass GeographicArea Region) | Merge.kif 13442-13442 | 地理区域 是 地区 的 subclass |
| (subclass Hole Region) | Merge.kif 9490-9490 | 洞 是 地区 的 subclass |
| (subclass HydrophilicSide Region) | VirusProteinAndCellPart.kif 496-496 | 亲水侧 是 地区 的 subclass |
| (subclass HydrophobicSide Region) | VirusProteinAndCellPart.kif 485-485 | 疏水面 是 地区 的 subclass |
| (subclass Indoors Region) | Mid-level-ontology.kif 8718-8718 | 在室内 是 地区 的 subclass |
| (subclass KitchenArea Region) | Mid-level-ontology.kif 14958-14958 | KitchenArea 是 地区 的 subclass |
| (subclass Latitude Region) | Geography.kif 302-302 | 纬度 是 地区 的 subclass |
| (subclass Longitude Region) | Geography.kif 311-311 | 经度 是 地区 的 subclass |
| (subclass Outdoors Region) | Mid-level-ontology.kif 8706-8706 | 在户外 是 地区 的 subclass |
| (subclass ParkingRegion Region) | TransportDetail.kif 31-31 | ParkingRegion 是 地区 的 subclass |
| (subclass Patio Region) | Mid-level-ontology.kif 25954-25954 | Patio 是 地区 的 subclass |
| (subclass PerimeterArea Region) | Geography.kif 761-761 | 周边区域 是 地区 的 subclass |
| (subclass PlayArea Region) | Dining.kif 935-935 | PlayArea 是 地区 的 subclass |
| (subclass RealEstate Region) | FinancialOntology.kif 1308-1308 | 房地产 是 地区 的 subclass |
| (subclass Road Region) | Mid-level-ontology.kif 21645-21645 | 路 是 地区 的 subclass |
| (subclass SittingArea Region) | Mid-level-ontology.kif 14945-14945 | SittingArea 是 地区 的 subclass |
| (subclass SpaceRegion Region) | Mid-level-ontology.kif 8644-8644 | 空间区域 是 地区 的 subclass |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domain InnerBoundaryFn 1 Region) | Geography.kif 795-795 | 内部边界 的 1 数量 是 地区 的 instance |
| (domain MaritimeClaimsTerritorialSeaFn 1 Region) | Geography.kif 780-780 | 海上主张领海 的 1 数量 是 地区 的 instance |
| (domain MealAttributeFn 2 Region) | Food.kif 227-227 | MealAttributeFn 的 2 数量 是 地区 的 instance |
| (domain OuterBoundaryFn 1 Region) | Geography.kif 807-807 | 外边界 的 1 数量 是 地区 的 instance |
| (domain PerimeterAreaFn 1 Region) | Geography.kif 768-768 | 周边区域 的 1 数量 是 地区 的 instance |
| (domain VelocityFn 3 Region) | Merge.kif 6435-6435 | 速度函数 的 3 数量 是 地区 的 instance |
| (domain areaOfOperation 1 Region) | MilitaryProcesses.kif 1313-1313 | 经营范围 的 1 数量 是 地区 的 instance |
| (domain baptismplace 2 Region) | Biography.kif 78-78 | baptismplace 的 2 数量 是 地区 的 instance |
| (domain canonicalPlaceName 1 Region) | Mid-level-ontology.kif 23903-23903 | canonicalPlaceName 的 1 数量 是 地区 的 instance |
| (domain capableAtLocation 4 Region) | Transportation.kif 2697-2697 | 能够在位置 的 4 数量 是 地区 的 instance |
| (domain capacityByArrangement 1 Region) | Hotel.kif 765-765 | capacityByArrangement 的 1 数量 是 地区 的 instance |
| (domain cloudCoverFraction 1 Region) | Weather.kif 870-870 | 云覆盖部分 的 1 数量 是 地区 的 instance |
| (domain daylightHoursInterval 1 Region) | Weather.kif 850-850 | 白天小时间隔 的 1 数量 是 地区 的 instance |
| (domain daylightHoursTotal 1 Region) | Weather.kif 860-860 | 白天的总时数 的 1 数量 是 地区 的 instance |
| (domain highTide 1 Region) | Geography.kif 4819-4819 | highTide 的 1 数量 是 地区 的 instance |
| (domain lowTide 1 Region) | Geography.kif 4828-4828 | lowTide 的 1 数量 是 地区 的 instance |
| (domain mapOfArea 1 Region) | Geography.kif 527-527 | 地区地图 的 1 数量 是 地区 的 instance |
| (domain providesDestination 2 Region) | Transportation.kif 3403-3403 | providesDestination 的 2 数量 是 地区 的 instance |
| (domain routeBetween 2 Region) | Transportation.kif 2911-2911 | 之间的路线 的 2 数量 是 地区 的 instance |
| (domain routeBetween 3 Region) | Transportation.kif 2912-2912 | 之间的路线 的 3 数量 是 地区 的 instance |
| (domain routeEnd 1 Region) | Transportation.kif 2784-2784 | routeEnd 的 1 数量 是 地区 的 instance |
| (domain routeStart 1 Region) | Transportation.kif 2761-2761 | routeStart 的 1 数量 是 地区 的 instance |
| (domain totalArea 1 Region) | Geography.kif 538-538 | 总面积 的 1 数量 是 地区 的 instance |
| (domain visibilityInMeteorology 1 Region) | Weather.kif 2697-2697 | 气象学能见度 的 1 数量 是 地区 的 instance |
| antecedent |
|
|
| (<=> (and (instance ?X Region) (holdsDuring ?T (property ?X StandardAmbientTemperaturePressure))) (holdsDuring ?T (and (airTemperature ?X (MeasureFn 298.15 KelvinDegree)) (barometricPressure ?X (MeasureFn 29.530 InchMercury))))) |
Weather.kif 2675-2685 | 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring |
| (<=> (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region))) (attribute ?REGION Illuminated)) |
Merge.kif 13081-13087 | 有存在 过程 这样 那个 过程 是 放射光线 的 instance 和 客体 是 那个 过程 的 patient 和 那个 客体 是 地区 的 instance 若且唯若 发光的 是 那个 客体 的 attribute |
| (=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I)))) |
Mid-level-ontology.kif 29470-29477 | |
| (=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U))))) |
Mid-level-ontology.kif 29454-29462 | |
| (=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90)) |
Geography.kif 427-431 | |
| (=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180)) |
Geography.kif 467-474 | |
| (=> (and (instance ?OP MilitaryOperation) (eventLocated ?OP ?REGION) (instance ?REGION Region)) (areaOfOperation ?REGION ?OP)) |
MilitaryProcesses.kif 1325-1330 | |
| (=> (and (instance ?X Region) (attribute ?X Vacuum)) (not (exists (?O) (and (instance ?O Object) (located ?O ?X))))) |
Cars.kif 368-376 | |
| (=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO)) |
Geography.kif 3401-3406 | |
| (=> (and (visibilityInMeteorology ?Area ?Time (MeasureFn ?Distance ?U)) (instance ?U UnitOfMeasure) (instance ?Time NightTime) (instance ?Observe Looking) (instance ?B Region) (attribute ?B Illuminated) (measure ?B (MeasureFn 1000 Candela)) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (exists (?D2) (and (distance ?A ?B (MeasureFn ?D2 ?U)) (greaterThan ?Distance ?D2)))) |
Weather.kif 2745-2766 |
|
| (=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South))) |
Geography.kif 421-425 | |
| (=> (instance (LongitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION East) (equal ?DIRECTION West))) |
Geography.kif 461-465 | |
| (=> (instance ?REGION Region) (exists (?PHYS) (located ?PHYS ?REGION))) |
Merge.kif 1182-1185 | |
| (=> (instance ?REGION Region) (superficialPart (InnerBoundaryFn ?REGION) ?REGION)) |
Geography.kif 802-804 | |
| (=> (instance ?REGION Region) (superficialPart (OuterBoundaryFn ?REGION) ?REGION)) |
Geography.kif 814-816 |
| consequent |
|
|
|
|
|