(=>
(and
(instance ?TEXT BirthCertificate)
(instance ?B Birth)
(instance ?A Human)
(experiencer ?B ?A))
(containsFormula ?TEXT
(exists (?DAY ?P ?N)
(and
(birthdate ?A ?DAY)
(instance ?DAY Day)
(birthplace ?A ?P)
(instance ?P GeographicArea)
(represents ?N ?A)
(instance ?N Name))))) |
Biography.kif 256-270 |
If X is an instance of birth certificate, Y is an instance of birth, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V (2) U such that W is a birthdate of Z (3) W is an instance of day (4) V is a birthplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name |
(=>
(and
(instance ?TEXT DeathCertificate)
(instance ?D Death)
(instance ?A Human)
(experiencer ?D ?A))
(containsFormula ?TEXT
(exists (?DAY ?P ?N ?PROC)
(and
(deathdate ?A ?DAY)
(instance ?DAY Day)
(deathplace ?A ?P)
(instance ?P GeographicArea)
(represents ?N ?A)
(instance ?N Name)
(causes ?PROC ?D)
(instance ?PROC Process))))) |
Biography.kif 287-303 |
If X is an instance of death certificate, Y is an instance of death, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V,, , U (2) T such that W is a deathdate of Z (3) W is an instance of day (4) V is a deathplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name (8) T causes Y (9) T is an instance of process |
(=>
(climateTypeInArea ?AREA ?CLASS)
(exists (?REGION ?TYPE)
(and
(instance ?REGION GeographicArea)
(instance ?TYPE ?CLASS)
(attribute ?REGION ?TYPE)
(part ?REGION ?AREA)))) |
Geography.kif 2715-2722 |
If X is a climate type in area of Y, then there exist Z, W such that Z is an instance of geographic area, W is an instance of X, W is an attribute of Z, and Z is a part of Y |
(=>
(terrainInArea ?AREA ?ATTRIBUTE)
(exists (?REGION)
(and
(instance ?REGION GeographicArea)
(attribute ?REGION ?ATTRIBUTE)
(partlyLocated ?REGION ?AREA)))) |
Geography.kif 3174-3180 |
If X is a terrain in area of Y, then there exists Z such that Z is an instance of geographic area, X is an attribute of Z, and Z is partly located in Y |
(=>
(elevation ?OBJECT ?HEIGHT)
(exists (?PLACE)
(and
(instance ?PLACE GeographicArea)
(located ?OBJECT ?PLACE)))) |
Geography.kif 3356-3361 |
If X is an elevation of Y, then there exists Z such that Z is an instance of geographic area and Y is located at Z |
(=>
(instance ?CAC Cactus)
(modalAttribute
(exists (?AREA)
(and
(instance ?AREA GeographicArea)
(located ?CAC ?AREA)
(exists (?D)
(and
(instance ?D Drought)
(eventLocated ?D ?AREA))))) Likely)) |
Geography.kif 7923-7933 |
If X is an instance of cactus, then the statement there exists Y such that Y is an instance of geographic area, X is located at Y, there exists Z such that Z is an instance of drought, and Z is located at Y has the modal force of likely |
(=>
(codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X)
(and
(instance ?X GeographicArea)
(instance ?TOKEN AlphabeticString)
(stringLength 2 ?TOKEN))) |
Media.kif 2638-2643 |
If X in ISO_3166_1_alpha_2 denotes Y, then Y is an instance of geographic area, X is an instance of alphabetic string, and X is 2 characters long |
(=>
(instance ?X LandVehicle)
(hasPurpose ?X
(exists (?EV ?SURF)
(and
(surface ?SURF GeographicArea)
(instance ?EV Transportation)
(holdsDuring
(WhenFn ?EV)
(meetsSpatially ?X ?SURF)))))) |
Mid-level-ontology.kif 3932-3941 |
If X is an instance of land vehicle, then X has the purpose there exist Y, Z such that Z is a surface of geographic area, Y is an instance of transportation, and X meets Z holds during the time of existence of Y |
(=>
(instance ?M Map)
(exists (?A)
(and
(instance ?A GeographicArea)
(represents ?M ?A)))) |
Mid-level-ontology.kif 14756-14761 |
If X is an instance of map, then there exists Y such that Y is an instance of geographic area and X expresses Y |
(=>
(instance ?X Kidnapping)
(exists (?A ?LOC1 ?LOC2)
(and
(instance ?A SentientAgent)
(instance ?LOC1 GeographicArea)
(instance ?LOC2 GeographicArea)
(not
(equal ?LOC1 ?LOC2))
(holdsDuring
(ImmediatePastFn
(WhenFn ?X))
(located ?A ?LOC1))
(holdsDuring
(WhenFn ?X)
(located ?A ?LOC2))))) |
Mid-level-ontology.kif 24322-24337 |
If X is an instance of kidnapping, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of sentient agent (3) Z is an instance of geographic area (4) W is an instance of geographic area (5) equal Z (6) W (7) Y is located at Z holds during immediately before the time of existence of X (8) Y is located at W holds during the time of existence of X |
(=>
(instance ?X GuideBook)
(exists (?LOC)
(and
(instance ?LOC GeographicArea)
(refers ?X ?LOC)))) |
Mid-level-ontology.kif 29064-29069 |
If X is an instance of guide book, then there exists Y such that Y is an instance of geographic area and X includes a reference to Y |
(=>
(instance ?X DiningGuide)
(exists (?LOC ?REST)
(and
(instance ?LOC GeographicArea)
(refers ?X ?LOC)
(instance ?REST Restaurant)
(located ?REST ?LOC)
(refers ?X ?REST)))) |
Mid-level-ontology.kif 29076-29084 |
If X is an instance of dining guide, then there exist Y, Z such that Y is an instance of geographic area, X includes a reference to Y, Z is an instance of restaurant, Z is located at Y, and X includes a reference to Z |
(=>
(attribute ?A UrbanArea)
(instance ?A GeographicArea)) |
Mid-level-ontology.kif 29267-29269 |
If urban is an attribute of X, then X is an instance of geographic area |
(=>
(instance ?M GroundAttackMissile)
(hasPurpose ?M
(exists (?OBJ ?REGION ?DAMAGE)
(and
(instrument ?DAMAGE ?M)
(patient ?DAMAGE ?OBJ)
(instance ?DAMAGE Damaging)
(instance ?REGION GeographicArea)
(holdsDuring
(BeginFn
(WhenFn ?DAMAGE))
(and
(located ?M ?REGION)
(located ?OBJ ?REGION))))))) |
MilitaryDevices.kif 1156-1170 |
If X is an instance of ground attack missile, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that X is an instrument for W (3) Y is a patient of W (4) W is an instance of damaging (5) Z is an instance of geographic area (6) X is located at Z (7) Y is located at Z holds during the beginning of the time of existence of W |
(=>
(instance ?X SubwaySystem)
(exists (?SURF)
(and
(surface ?SURF GeographicArea)
(orientation ?X ?SURF Below)))) |
Transportation.kif 328-333 |
If X is an instance of subway, then there exists Y such that Y is a surface of geographic area and X is below to Y |
(=>
(and
(instance ?W Transitway)
(attribute ?W BiDirectionalTraffic))
(exists (?P)
(and
(instance ?P Policy)
(confersNorm ?P
(exists (?T1 ?A ?B)
(and
(instance ?T1 Transportation)
(path ?T1 ?W)
(instance ?A GeographicArea)
(origin ?T1 ?A)
(instance ?B GeographicArea)
(destination ?T1 ?B)
(holdsDuring
(WhenFn ?T1)
(exists (?T2)
(and
(instance ?T2 Transportation)
(path ?T2 ?W)
(origin ?T1 ?B)
(destination ?T1 ?A)
(not
(equal ?T1 ?T2))))))) Permission)))) |
Transportation.kif 3761-3785 |
If X is an instance of transitway and bidirectional traffic is an attribute of X, then All of the following hold: (1) there exists Y such that Y is an instance of policy (2) Y confers norm there exist Z, W (3) V such that Z is an instance of transportation (4) X is path along which Z occurs (5) W is an instance of geographic area (6) Z originates at W (7) V is an instance of geographic area (8) Z ends up at V (9) there exists U such that U is an instance of transportation (10) X is path along which U occurs (11) Z originates at V (12) Z ends up at W (13) equal Z (14) U holds during the time of existence of Z for permission |
(=>
(and
(instance ?W Transitway)
(attribute ?W UniDirectionalTraffic))
(exists (?P)
(and
(instance ?P Policy)
(confersNorm ?P
(exists (?T1 ?A ?B)
(and
(instance ?T1 Transportation)
(path ?T1 ?W)
(instance ?A GeographicArea)
(origin ?T1 ?A)
(instance ?B GeographicArea)
(destination ?T1 ?B)
(holdsDuring
(WhenFn ?T1)
(exists (?T2)
(and
(instance ?T2 Transportation)
(path ?T2 ?W)
(origin ?T1 ?B)
(destination ?T1 ?A)
(not
(equal ?T1 ?T2))))))) Prohibition)))) |
Transportation.kif 3794-3818 |
If X is an instance of transitway and unidirectional traffic is an attribute of X, then All of the following hold: (1) there exists Y such that Y is an instance of policy (2) Y confers norm there exist Z, W (3) V such that Z is an instance of transportation (4) X is path along which Z occurs (5) W is an instance of geographic area (6) Z originates at W (7) V is an instance of geographic area (8) Z ends up at V (9) there exists U such that U is an instance of transportation (10) X is path along which U occurs (11) Z originates at V (12) Z ends up at W (13) equal Z (14) U holds during the time of existence of Z for prohibition |
(=>
(and
(duration ?T
(MeasureFn ?P MonthDuration))
(greaterThanOrEqualTo ?P 5)
(holdsDuring ?T
(and
(equal ?D
(SubtractionFn ?S ?L))
(equal
(MeasureFn ?S CelsiusDegree)
(ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
(equal
(MeasureFn ?L CelsiusDegree)
(ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
(greaterThan ?D 0.5))))
(holdsDuring ?T
(exists (?EL ?A)
(and
(instance ?EL ElNinoPhase)
(instance ?A GeographicArea)
(eventLocated ?EL ?A))))) |
Weather.kif 544-565 |
If duration of X is Y month duration(s), Y is greater than or equal to 5, and equal Z and (W and V) and equal W celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month U year T in region Nino 3.4 and equal V celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month U in year T of region Nino 3.4 and Z is greater than 0.5 holds during X, then there exist S, R such that S is an instance of El Nino phase, R is an instance of geographic area, and S is located at R holds during X |
(=>
(and
(duration ?T
(MeasureFn ?P MonthDuration))
(greaterThanOrEqualTo ?P 5)
(holdsDuring ?T
(and
(equal ?D
(SubtractionFn ?S ?L))
(equal
(MeasureFn ?S CelsiusDegree)
(ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
(equal
(MeasureFn ?L CelsiusDegree)
(ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
(lessThan ?D -0.5))))
(holdsDuring ?T
(exists (?LA ?A)
(and
(instance ?LA LaNinaPhase)
(instance ?A GeographicArea)
(eventLocated ?LA ?A))))) |
Weather.kif 579-600 |
If duration of X is Y month duration(s), Y is greater than or equal to 5, and equal Z and (W and V) and equal W celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month U year T in region Nino 3.4 and equal V celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month U in year T of region Nino 3.4 and Z is less than -0.5 holds during X, then there exist S, R such that S is an instance of La Nina phase, R is an instance of geographic area, and S is located at R holds during X |
(=>
(holdsDuring ?T
(and
(equal ?D
(SubtractionFn ?S ?L))
(equal
(MeasureFn ?S CelsiusDegree)
(ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
(equal
(MeasureFn ?L CelsiusDegree)
(ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
(greaterThanOrEqualTo ?D -0.5)
(lessThanOrEqualTo ?D 0.5)))
(holdsDuring ?T
(exists (?N ?A)
(and
(instance ?N ENSONeutralPhase)
(instance ?A GeographicArea)
(eventLocated ?N ?A))))) |
Weather.kif 608-626 |
If equal X and (Y and Z) and equal Y celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month W year V in region Nino 3.4 and equal Z celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month W in year V of region Nino 3.4 and X is greater than or equal to -0.5 and X is less than or equal to 0.5 holds during U, then there exist T, S such that T is an instance of Enso neutral phase, S is an instance of geographic area, and T is located at S holds during U |
(=>
(instance ?STORM TropicalCyclonicSystem)
(exists (?PLACE)
(and
(instance ?PLACE GeographicArea)
(geographicSubregion ?PLACE Tropics)
(origin ?STORM ?PLACE)))) |
Weather.kif 1060-1066 |
If X is an instance of tropical cyclonic system, then there exists Y such that Y is an instance of geographic area, Y is a geographic subregion of tropics, and X originates at Y |
(=>
(instance ?TD TropicalDepression)
(exists (?PLACE ?WIND)
(and
(instance ?PLACE GeographicArea)
(eventLocated ?TD ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?PLACE
(WhenFn ?TD)))
(lessThanOrEqualTo ?WIND 38.0)))) |
Weather.kif 1101-1111 |
If X is an instance of tropical depression, then there exist Y and Z such that Y is an instance of geographic area and X is located at Y and equal Z miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Y and Z is less than or equal to 38.0 |
(=>
(instance ?TC TropicalCyclone)
(exists (?PLACE ?WIND)
(and
(instance ?PLACE GeographicArea)
(eventLocated ?TC ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?PLACE
(WhenFn ?TC)))
(greaterThanOrEqualTo ?WIND 44.0)))) |
Weather.kif 1122-1132 |
If X is an instance of tropical cyclone, then there exist Y and Z such that Y is an instance of geographic area and X is located at Y and equal Z miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Y and Z is greater than or equal to 44.0 |
(=>
(instance ?TS TropicalStorm)
(exists (?PLACE ?WIND)
(and
(instance ?PLACE GeographicArea)
(eventLocated ?TS ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?PLACE
(WhenFn ?TS)))
(greaterThanOrEqualTo ?WIND 39.0)
(lessThanOrEqualTo ?WIND 74.0)))) |
Weather.kif 1157-1168 |
If X is an instance of tropical storm, then there exist Y and Z such that Y is an instance of geographic area and X is located at Y and equal Z miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Y and Z is greater than or equal to 39.0 and Z is less than or equal to 74.0 |
(=>
(instance ?H Hurricane)
(exists (?TC ?PLACE ?WIND)
(and
(instance ?TC TropicalCyclone)
(instance ?PLACE GeographicArea)
(eventLocated ?TC ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?PLACE
(WhenFn ?TC)))
(greaterThanOrEqualTo ?WIND 74.0)))) |
Weather.kif 1181-1192 |
If X is an instance of hurricane, then there exist Y, Z and W such that Y is an instance of tropical cyclone and Z is an instance of geographic area and Y is located at Z and equal W miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of Y in region Z and W is greater than or equal to 74.0 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
