| appearance as argument number 1 |
|
|
| s__documentation(s__Region,s__ChineseLanguage,'这是一个地理位置。 Region 包括 Object 的表面、虚构的 地方 和 GeographicArea 。注：Region 是唯一能够定位于作自身的 Object 。 另外要注意的是 Region 不是 SelfConnectedObject 的子类别， 因为有一些 Region ，像群岛有些 part 跟其他部分 不 connected 。')
|
Merge.kif 1272-1275 | |
| s__documentation(s__Region,s__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 1266-1271 | |
| s__partition_3(s__Region,s__GeographicArea,s__SpaceRegion)
|
Mid-level-ontology.kif 8698-8698 | |
| s__instance(s__Region,s__SetOrClass)
|
Merge.kif 1265-1265 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1086-1096 | |
| ( ! [V__REGION] : ((? [V__EMIT] : (s__instance(V__EMIT,s__RadiatingLight) & s__patient(V__EMIT,V__REGION) & s__instance(V__REGION,s__Region))) <=> s__attribute(V__REGION,s__Illuminated)) )
|
Merge.kif 13569-13575 | |
| ( ! [V__I] : ((s__attribute(V__I,s__Inhabited) & s__instance(V__I,s__Region)) => (? [V__H] : (s__instance(V__H,s__Human) & s__inhabits(V__H,V__I)))) )
|
Mid-level-ontology.kif 28198-28205 | |
| ( ! [V__U] : ((s__attribute(V__U,s__Uninhabited) & s__instance(V__U,s__Region)) => (~ (? [V__H] : (s__instance(V__H,s__Human) & s__inhabits(V__H,V__U))))) )
|
Mid-level-ontology.kif 28182-28190 | |
| ( ! [V__DIRECTION,V__ROW1,V__NUM] : ((s__instance(s__LatitudeFn_2(V__DIRECTION,V__ROW1) ,s__Region) & (s__ListOrderFn(s__ListFn_1(V__ROW1) ,1) = s__MeasureFn(V__NUM,s__AngularDegree))) => s__lessThanOrEqualTo(V__NUM,90)) )
|
Geography.kif 427-431 | |
| ( ! [V__DIRECTION,V__ROW1,V__NUM] : ((s__instance(s__LongitudeFn_2(V__DIRECTION,V__ROW1) ,s__Region) & (s__ListOrderFn(s__ListFn_1(V__ROW1) ,1) = s__MeasureFn(V__NUM,s__AngularDegree))) => s__lessThanOrEqualTo(V__NUM,180)) )
|
Geography.kif 467-471 | |
| ( ! [V__OP,V__REGION] : ((s__instance(V__OP,s__MilitaryOperation) & s__eventLocated(V__OP,V__REGION) & s__instance(V__REGION,s__Region)) => s__areaOfOperation(V__REGION,V__OP)) )
|
MilitaryProcesses.kif 1314-1319 | |
| ( ! [V__X] : ((s__instance(V__X,s__Region) & s__attribute(V__X,s__Vacuum)) => (~ (? [V__O] : (s__instance(V__O,s__Object) & s__located(V__O,V__X))))) )
|
Cars.kif 368-376 | |
| ( ! [V__ONE,V__TWO] : ((s__overlapsSpatially(V__ONE,V__TWO) & s__instance(V__TWO,s__Region) & (~ (V__ONE = V__TWO))) => s__partlyLocated(V__ONE,V__TWO)) )
|
Geography.kif 3342-3347 | |
| ( ! [V__Area,V__Time,V__Distance,V__Observe,V__B,V__A,V__D2] : ((s__visibilityInMeteorology(V__Area,V__Time,V__Distance) & s__instance(V__Time,s__NightTime) & s__instance(V__Observe,s__Looking) & s__instance(V__B,s__Region) & s__attribute(V__B,s__Illuminated) & s__measure(V__B,s__MeasureFn(1000,s__Candela)) & s__agent(V__Observe,V__A) & s__patient(V__Observe,V__B) & s__orientation(V__A,V__B,s__Horizontal) & s__eventLocated(V__Observe,V__Area) & s__during(s__WhenFn(V__Observe) ,V__Time) & s__instance(V__B,s__Object)) => (s__distance(V__A,V__B,V__D2) & s__greaterThan(V__Distance,V__D2))) )
|
Weather.kif 1155-1172 | |
| ( ! [V__DIRECTION,V__ROW1,V__ROW2,V__ROW3] : (s__instance(s__LatitudeFn_4(V__DIRECTION,V__ROW1,V__ROW2,V__ROW3) ,s__Region) => ((V__DIRECTION = s__North) | (V__DIRECTION = s__South))) )
|
Geography.kif 421-425 | |
| ( ! [V__DIRECTION,V__ROW1] : (s__instance(s__LongitudeFn_2(V__DIRECTION,V__ROW1) ,s__Region) => ((V__DIRECTION = s__East) | (V__DIRECTION = s__West))) )
|
Geography.kif 461-465 | |
| ( ! [V__REGION] : (s__instance(V__REGION,s__Region) => (? [V__PHYS] : s__located(V__PHYS,V__REGION))) )
|
Merge.kif 1277-1280 | |
| ( ! [V__REGION] : (s__instance(V__REGION,s__Region) => s__superficialPart(s__InnerBoundaryFn(V__REGION) ,V__REGION)) )
|
Geography.kif 795-797 | |
| ( ! [V__REGION] : (s__instance(V__REGION,s__Region) => s__superficialPart(s__OuterBoundaryFn(V__REGION) ,V__REGION)) )
|
Geography.kif 807-809 |
| consequent |
|
|
| ( ! [V__DRYSPELL,V__AREA] : ((s__instance(V__DRYSPELL,s__Drought) & s__eventLocated(V__DRYSPELL,V__AREA)) => (~ (? [V__RAIN,V__PLACE] : (s__instance(V__RAIN,s__Raining) & s__instance(V__PLACE,s__Region) & s__eventLocated(V__RAIN,V__PLACE) & s__overlapsSpatially(V__PLACE,V__AREA) & s__overlapsTemporally(V__RAIN,V__DRYSPELL))))) )
|
Weather.kif 908-919 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 566-576 | |
| ( ! [V__MOVEMENT,V__PLACE1] : ((s__instance(V__MOVEMENT,s__Translocation) & s__origin(V__MOVEMENT,V__PLACE1)) => (? [V__PLACE2,V__STAGE] : (s__instance(V__PLACE2,s__Region) & (~ (V__PLACE1 = V__PLACE2)) & s__subProcess(V__STAGE,V__MOVEMENT) & s__located(V__STAGE,V__PLACE2)))) )
|
Merge.kif 11447-11456 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28110-28139 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 913-937 | |
| ( ! [V__X] : (s__attribute(V__X,s__DownAndInRoom) => (? [V__LOC,V__INDOOR] : (s__instance(V__INDOOR,s__Indoors) & s__instance(V__LOC,s__Region) & s__orientation(V__LOC,V__X,s__Adjacent) & s__orientation(V__LOC,V__X,s__Outside) & s__located(V__LOC,V__INDOOR)))) )
|
Hotel.kif 1010-1018 | |
| ( ! [V__X] : (s__attribute(V__X,s__DownAndOutRoom) => (? [V__LOC,V__OUTDOOR] : (s__instance(V__OUTDOOR,s__Outdoors) & s__instance(V__LOC,s__Region) & s__orientation(V__LOC,V__X,s__Adjacent) & s__orientation(V__LOC,V__X,s__Outside) & s__located(V__LOC,V__OUTDOOR)))) )
|
Hotel.kif 1025-1033 | |
| ( ! [V__X,V__PM,V__P1,V__P2] : (s__attribute(V__X,s__PartialVacuum) => (? [V__O,V__G] : (s__instance(V__O,s__SelfConnectedObject) & s__instance(V__G,s__Region) & (~ (V__G = V__X)) & s__connected(V__X,V__O) & s__connected(V__G,V__O) & s__measure(V__G,s__MeasureFn(V__PM,V__P1)) & s__measure(V__X,s__MeasureFn(V__PM,V__P2)) & s__instance(V__PM,s__UnitOfAtmosphericPressure) & s__greaterThan(V__P1,V__P2)))) )
|
Cars.kif 383-396 | |
| ( ! [V__X,V__PM,V__P1,V__P2] : (s__attribute(V__X,s__Pressurized) => (? [V__O,V__G] : (s__instance(V__O,s__SelfConnectedObject) & s__instance(V__G,s__Region) & (~ (V__G = V__X)) & s__connected(V__X,V__O) & s__connected(V__G,V__O) & s__measure(V__G,s__MeasureFn(V__PM,V__P1)) & s__measure(V__X,s__MeasureFn(V__PM,V__P2)) & s__instance(V__PM,s__UnitOfAtmosphericPressure) & s__greaterThan(V__P2,V__P1)))) )
|
Cars.kif 403-416 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1134-1146 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 721-735 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1290-1304 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1346-1359 | |
| ( ! [V__OBJ,V__REGION] : (s__orientation(V__OBJ,V__REGION,s__Inside) => s__instance(V__REGION,s__Region)) )
|
Mid-level-ontology.kif 8840-8842 | |
| ( ! [V__OBJ,V__REGION] : (s__orientation(V__OBJ,V__REGION,s__Outside) => s__instance(V__REGION,s__Region)) )
|
Mid-level-ontology.kif 8836-8838 | |
| ( ! [V__PLACE,V__DIR] : (s__surfaceWindDirection(V__PLACE,V__DIR) => (? [V__WIND,V__FROM] : (s__instance(V__WIND,s__Wind) & s__instance(V__FROM,s__Region) & s__eventPartlyLocated(V__WIND,V__PLACE) & s__origin(V__WIND,V__FROM) & s__orientation(V__FROM,V__PLACE,V__DIR)))) )
|
Weather.kif 166-174 |
|
|
|