Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Region Object) | Merge.kif 1324-1324 | Region is a subclass of object |
| (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 1326-1332 | Region is a subclass of object |
| (partition Region GeographicArea SpaceRegion) | Mid-level-ontology.kif 10393-10393 | Region is exhaustively partitioned into geographic area and space region |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (and (instance ?MOVEMENT Translocation) (origin ?MOVEMENT ?PLACE1)) (exists (?PLACE2 ?STAGE) (and (instance ?PLACE2 Region) (not (equal ?PLACE1 ?PLACE2)) (subProcess ?STAGE ?MOVEMENT) (located ?STAGE ?PLACE2)))) |
Merge.kif 11834-11843 | If X is an instance of translocation and X originates at Y, then there exist Z, W such that Z is an instance of region, equal Y, Z, W is a subprocess of X, and W is located at Z |
| (=> (attribute ?REGION Illuminated) (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region)))) |
Merge.kif 13972-13978 | If illuminated is an attribute of X, then there exists Y such that Y is an instance of radiating light, X is a patient of Y, and X is an instance of region |
| (=> (instance ?R PositionReport) (containsFormula ?R (exists (?O ?A) (and (instance ?O Object) (instance ?A Region) (holdsDuring (WhenFn ?R) (located ?O ?A)))))) |
Mid-level-ontology.kif 7874-7882 | If X is an instance of position report, then X contains the formula there exist Y, Z such that Y is an instance of object, Z is an instance of region, and Y is located at Z holds during the time of existence of X |
| (=> (orientation ?OBJ ?REGION Outside) (instance ?REGION Region)) |
Mid-level-ontology.kif 10484-10486 | If X is outside of to Y, then Y is an instance of region |
| (=> (orientation ?OBJ ?REGION Inside) (instance ?REGION Region)) |
Mid-level-ontology.kif 10488-10490 | If X is inside the to Y, then Y is an instance of region |
| (=> (instance ?E Entering) (exists (?R ?A) (and (instance ?R Region) (destination ?E ?R) (agent ?E ?A) (instance ?A AutonomousAgent) (holdsDuring (BeginFn (WhenFn ?E)) (orientation ?A ?R Outside)) (holdsDuring (EndFn (WhenFn ?E)) (orientation ?A ?R Inside))))) |
Mid-level-ontology.kif 18829-18842 | If X is an instance of entering, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of region (3) X ends up at Y (4) Z is an agent of X (5) Z is an instance of agent (6) Z is outside of to Y holds during the beginning of the time of existence of X (7) Z is inside the to Y holds during the end of the time of existence of X |
| (=> (instance ?E Exiting) (exists (?R ?A) (and (instance ?R Region) (origin ?E ?R) (agent ?E ?A) (instance ?A AutonomousAgent) (holdsDuring (BeginFn (WhenFn ?E)) (orientation ?A ?R Inside)) (holdsDuring (EndFn (WhenFn ?E)) (orientation ?A ?R Outside))))) |
Mid-level-ontology.kif 18848-18861 | If X is an instance of exiting, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of region (3) X originates at Y (4) Z is an agent of X (5) Z is an instance of agent (6) Z is inside the to Y holds during the beginning of the time of existence of X (7) Z is outside of to Y holds during the end of the time of existence of X |
| (=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (element ?A1 ?AC) (subclass ?PC Process) (instance ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (instance ?P1 ?PC) (refers ?X ?Q) (refers ?Q ?P1) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L))))))))) |
Mid-level-ontology.kif 32629-32659 | If X is an instance of breaking record and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T,, , S (2) R such that Z is an instance of set (3) Y is an element of Z (4) W is a subclass of process (5) S is an instance of region (6) U is an instance of time point (7) R is an instance of quantity (8) V is an instance of W (9) X includes a reference to R (10) R includes a reference to V (11) Y plays role in event T for V (12) V is located at S (13) there don't exist Q (14) P such that Q is an instance of Z (15) equal Q (16) Y (17) P is an instance of W (18) Q plays role in event T for P (19) P is located at S holds during interval between U (20) the end of the time of existence of X |
| (=> (attribute ?X PartialVacuum) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P1 ?P2)))) |
Cars.kif 336-349 | If partial vacuum is an attribute of X, then there exist Y, Z,, , W,, , V and U such that Y is an instance of self connected object and Z is an instance of region and equal Z and X and X is connected to Y and Z is connected to Y and the measure of Z is W U(s) and the measure of X is V U(s) and U is an instance of unit of atmospheric pressure and W is greater than V |
| (=> (attribute ?X Pressurized) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P2 ?P1)))) |
Cars.kif 356-369 | If pressurized is an attribute of X, then there exist Y, Z,, , W,, , V and U such that Y is an instance of self connected object and Z is an instance of region and equal Z and X and X is connected to Y and Z is connected to Y and the measure of Z is W U(s) and the measure of X is V U(s) and U is an instance of unit of atmospheric pressure and V is greater than W |
| (=> (instance ?T Telemetry) (exists (?REMOTELOCATION ?MEASURINGDEVICE ?RECEIVINGLOCATION ?RECEIVINGSTATION ?MEASURING ?MESSAGING) (and (instance ?MEASURING Measuring) (instance ?MEASURINGDEVICE MeasuringDevice) (instance ?REMOTELOCATION Region) (instance ?RECEIVINGLOCATION Region) (instance ?MESSAGING Messaging) (subProcess ?MESSAGING ?T) (subProcess ?MEASURING ?T) (instance ?RECEIVINGSTATION ElectronicDataStorageDevice) (agent ?MEASURING ?MEASURINGDEVICE) (located ?MEASURINGDEVICE ?REMOTELOCATION) (located ?RECEIVINGSTATION ?RECEIVINGLOCATION) (eventLocated ?MEASURING ?REMOTELOCATION) (not (equal ?RECEIVINGLOCATION ?REMOTELOCATION)) (origin ?MESSAGING ?MEASURINGDEVICE) (destination ?MESSAGING ?RECEIVINGSTATION)))) |
Communications.kif 322-340 | If X is an instance of telemetry, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that U is an instance of measuring (3) Z is an instance of measuring device (4) Y is an instance of region (5) W is an instance of region (6) T is an instance of messaging (7) T is a subprocess of X (8) U is a subprocess of X (9) V is an instance of electronic data storage device (10) Z is an agent of U (11) Z is located at Y (12) V is located at W (13) U is located at Y (14) equal W (15) Y (16) T originates at Z (17) T ends up at V |
| (=> (and (instance ?LE LandMeanOfProduction) (attribute ?LEO ?LE)) (exists (?L ?EMS) (or (and (instance ?L Region) (part ?LEO ?L)) (and (instance ?EMS ElectromagenticSpectrum) (equal ?LEO ?EMS))))) |
Economy.kif 6159-6170 | If X is an instance of natural resource and X is an attribute of Y, then there exist Z, W such that Z is an instance of region, Y is a part of Z or W is an instance of ElectromagenticSpectrum, equal Y, and W |
| (=> (attribute ?X DownAndInRoom) (exists (?LOC ?INDOOR) (and (instance ?INDOOR Indoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?INDOOR)))) |
Hotel.kif 1065-1073 | If down and in room is an attribute of X, then there exist Y, Z such that Z is an instance of indoors, Y is an instance of region, Y is adjacent to X, Y is outside of to X, and Y is located at Z |
| (=> (attribute ?X DownAndOutRoom) (exists (?LOC ?OUTDOOR) (and (instance ?OUTDOOR Outdoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?OUTDOOR)))) |
Hotel.kif 1080-1088 | If down and out room is an attribute of X, then there exist Y, Z such that Z is an instance of outdoors, Y is an instance of region, Y is adjacent to X, Y is outside of to X, and Y is located at Z |
| (=> (and (instance ?LOCATING Locating) (patient ?LOCATING ?THING) (agent ?LOCATING ?AGENT)) (hasPurpose ?LOCATING (exists (?LOCATION) (and (instance ?LOCATION Region) (knows ?AGENT (located ?THING ?LOCATION)))))) |
MilitaryProcesses.kif 599-609 | If X is an instance of locating, Y is a patient of X, and Z is an agent of X, then X has the purpose there exists W such that W is an instance of region and Z knows Y is located at W |
| (=> (instance ?HOLE GolfHole) (exists (?C ?CIR) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C ?CIR) (equal ?CIR Circle) (diameter ?CIR (MeasureFn 4.25 Inch))))) |
Sports.kif 990-1000 | If X is an instance of golf hole, then there exist Y and Z such that X is cylinder and the top of X is Y and Y is an instance of region and Y is Z and equal Z and circle and the diameter of Z is 4.25 inch(s) |
| (=> (surfaceWindDirection ?PLACE ?DIR) (exists (?WIND ?FROM) (and (instance ?WIND Wind) (instance ?FROM Region) (eventPartlyLocated ?WIND ?PLACE) (origin ?WIND ?FROM) (orientation ?FROM ?PLACE ?DIR)))) |
Weather.kif 166-174 | If X is a surface wind direction of Y, then there exist Z, W such that Z is an instance of wind, W is an instance of region, Z is partly located at Y, Z originates at W, and W is X to Y |
| (=> (instance ?HR HeavyRaining) (holdsDuring (WhenFn ?HR) (exists (?AREA ?NUM) (and (instance ?AREA Region) (eventLocated ?HR ?AREA) (rainfallIntensity ?AREA (WhenFn ?HR) (PerFn (MeasureFn ?NUM Millimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 10.0) (greaterThan 50.0 ?NUM))))) |
Weather.kif 1789-1803 | If X is an instance of heavy raining, then there exist Y and Z such that Y is an instance of region and X is located at Y and the rate of rain in Y during the time of existence of X is the per of Z millimeter(s) and 1 hour duration(s) and Z is greater than 10.0 and 50.0 is greater than Z holds during the time of existence of X |
| (=> (and (instance ?DRYSPELL Drought) (eventLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (eventLocated ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL))))) |
Weather.kif 3738-3749 | If X is an instance of drought and X is located at Y, then All of the following hold: (1) there don't exist Z (2) W such that Z is an instance of raining (3) W is an instance of region (4) Z is located at W (5) W (6) Y overlapsSpatially (7) X overlaps Z |
| (=> (instance ?SHOWER RainShowering) (holdsDuring (WhenFn ?SHOWER) (exists (?RAIN1 ?RAIN2 ?AREA) (and (instance ?RAIN1 Raining) (instance ?RAIN2 Raining) (instance ?AREA Region) (subProcess ?RAIN1 ?SHOWER) (subProcess ?RAIN2 ?SHOWER) (eventLocated ?RAIN1 ?AREA) (eventLocated ?RAIN2 ?AREA) (not (overlapsTemporally (WhenFn ?RAIN1) (WhenFn ?RAIN2))))))) |
Weather.kif 4133-4147 | If X is an instance of rain showering, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of raining (3) Z is an instance of raining (4) W is an instance of region (5) Y is a subprocess of X (6) Z is a subprocess of X (7) Y is located at W (8) Z is located at W (9) the time of existence of Z doesn't overlap the time of existence of Y holds during the time of existence of X |
| (=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (exists (?LOW ?AREA ?AIR ?RISE) (and (instance ?LOW LowPressureWeatherSystem) (instance ?AREA Region) (eventLocated ?LOW ?AREA) (instance ?AIR Air) (instance ?RISE MotionUpward) (patient ?RISE ?AIR) (eventLocated ?RISE ?AREA) (subProcess ?RISE ?LOW))))) |
Weather.kif 4184-4197 | If X is an instance of storm, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of low pressure weather system (3) Z is an instance of region (4) Y is located at Z (5) W is an instance of air (6) V is an instance of motion upward (7) W is a patient of V (8) V is located at Z (9) V is a subprocess of Y holds during the time of existence of X |
| (=> (instance ?CTRL TemperatureControl) (exists (?DEVICE ?TEMP) (and (instance ?DEVICE ElectricDevice) (part ?CTRL ?DEVICE) (hasPurpose ?DEVICE (exists (?PROC) (and (instance ?AREA Region) (or (instance ?PROC Heating) (instance ?PROC Cooling)) (instrument ?PROC ?CTRL))))))) |
engineering.kif 1563-1576 | If X is an instance of temperature control, then there exist Y, Z such that Y is an instance of electric device, X is a part of Y, Y has the purpose there exists W such that V is an instance of region, W is an instance of heating or W is an instance of cooling, and X is an instrument for W |
|