(=>     (and         (instance ?SYSTEM HighPressureWeatherSystem)         (eventLocated ?SYSTEM ?AREA))     (and         (barometricPressure ?AREA             (MeasureFn ?AMOUNT InchMercury))         (greaterThan ?AMOUNT 30.2)))	Weather.kif 798-804	If a process is an instance of high pressure weather system and the process is located at an object, then a real number inch mercury(s) is a barometric pressure of the object and the real number is greater than 30.2
(=>     (and         (instance ?SYSTEM LowPressureWeatherSystem)         (instance ?AREA Region)         (eventLocated ?SYSTEM ?AREA))     (and         (barometricPressure ?AREA             (MeasureFn ?AMOUNT InchMercury))         (lessThan ?AMOUNT 29.5)))	Weather.kif 543-550	If a process is an instance of low pressure weather system and an object is an instance of region and the process is located at the object, then a real number inch mercury(s) is a barometric pressure of the object and the real number is less than 29.5
(=>     (and         (instance ?T ElectricalTransformer)         (instance ?WC1 WireCoil)         (instance ?WC2 WireCoil)         (coilCount ?WC1 ?N1)         (coilCount ?WC2 ?N2)         (holdsDuring ?T             (measure ?WC1                 (MeasureFn Volt ?V1))))     (and         (holdsDuring ?T             (measure ?WC2                 (MeasureFn Volt ?V2)))         (equal ?V2             (MultiplicationFn ?V1                 (DivisionFn ?N2 ?N1)))))	Cars.kif 3102-3116	If a time position is an instance of transformer and a wire coil is an instance of wire coil and another wire coil is an instance of wire coil and the number of coils in the wire coil is an integer and the number of coils in the other wire coil is another integer and the measure of the wire coil is volt a real number(s) holds during the time position, then the measure of the other wire coil is volt another real number(s) holds during the time position and the other real number is equal to the real number and the other integer and the integer
(=>     (and         (instance ?T Tornado)         (instance ?EF EF5)         (eventLocated ?T ?AREA)         (believes ?A             (property ?T ?EF)))     (exists (?GUST)         (and             (greaterThan ?GUST 200.0)             (believes ?A                 (equal                     (MeasureFn ?GUST MilesPerHour)                     (ThreeSecondGustSpeedFn ?AREA                         (WhenFn ?T)))))))	Weather.kif 2187-2201	If a process is an instance of tornado and an entity is an instance of EF5 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 200.0 and the cognitive agent believes the real number miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
(=>     (and         (instance ?T Tornado)         (instance ?EF EFScaleAttribute)         (eventLocated ?T ?AREA)         (believes ?A             (property ?T ?EF))         (speedScaleAttributeMinMax ?EF             (MeasureFn ?MIN MilesPerHour)             (MeasureFn ?MAX MilesPerHour)))     (exists (?GUST)         (and             (greaterThanOrEqualTo ?GUST ?MIN)             (lessThanOrEqualTo ?GUST ?MAX)             (believes ?A                 (equal                     (MeasureFn ?GUST MilesPerHour)                     (ThreeSecondGustSpeedFn ?AREA                         (WhenFn ?T)))))))	Weather.kif 2092-2110	If a process is an instance of tornado and a speed scale attribute is an instance of enhanced fuijita scale attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number miles per hour(s) and another real number miles per hour(s) are the min and max speed of the speed scale attribute, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
(=>     (and         (instance ?TC TropicalCyclone)         (destination ?TC ?DEST)         (instance ?DEST GeographicArea))     (not         (exists (?L ?SL ?X)             (and                 (instance ?L LandArea)                 (instance ?SL Shoreline)                 (located ?DEST ?L)                 (distance ?L ?SL                     (MeasureFn ?X Mile))                 (greaterThan ?X 200.0)))))	Weather.kif 689-702	If a process is an instance of tropical cyclone and the process ends up at a physical and the physical is an instance of geographic area, then there don't exist an object, another physical and a real number such that the object is an instance of land area and the other physical is an instance of shoreline and the physical is located at the object and the distance between the object and the other physical is the real number mile(s) and the real number is greater than 200.0
(=>     (and         (instance ?TC TropicalCyclonicSystem)         (origin ?TC ?SEA)         (or             (instance ?SEA NorthAtlanticOcean)             (instance ?SEA PacificOcean)             (instance ?SEA IndianOcean)))     (not         (exists (?AREA ?DIR ?NUM ?LONG)             (and                 (located ?AREA ?SEA)                 (instance ?DIR DirectionalAttribute)                 (objectGeographicCoordinates ?AREA                     (LatitudeFn ?DIR                         (MeasureFn ?NUM AngularDegree)) ?LONG)                 (or                     (equal ?DIR North)                     (equal ?DIR South))                 (lessThan ?NUM 5.0)))))	Weather.kif 623-642	If a process is an instance of tropical cyclonic system and the process originates at an object and the object is an instance of north atlantic ocean or the object is an instance of pacific ocean or the object is an instance of indian ocean, then there don't exist another object, a directional attribute,, , a real number and a longitude such that the other object is located at the object and the directional attribute is an instance of directional attribute and the other object is object geographic coordinates the region the directional attribute of the real number angular degree(s) for the longitude and the directional attribute is equal to north or the directional attribute is equal to south and the real number is less than 5.0
(=>     (and         (instance ?Transaction FinancialTransaction)         (origin ?Transaction             (CurrencyFn ?Account))         (transactionAmount ?Transaction             (MeasureFn ?Amount1 ?U))         (instance ?U UnitOfCurrency)         (instance ?Cash Currency)         (patient ?Transaction ?Cash)         (date ?Transaction ?Day))     (exists (?Amount2)         (and             (availableCash ?Account ?Day                 (MeasureFn ?Amount2 ?U))             (greaterThanOrEqualTo ?Amount1 ?Amount2))))	FinancialOntology.kif 3838-3852	If a financial transaction is an instance of financial transaction and the financial transaction originates at the currency of a financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the unit of measure is an instance of unit of currency and an entity is an instance of currency and the entity is a patient of the financial transaction and date of the financial transaction is a day, then there exists another real number such that the available cash of the financial account on the day is the other real number the unit of measure(s) and the real number is greater than or equal to the other real number
(=>     (and         (instance ?Transaction FinancialTransaction)         (origin ?Transaction ?Account)         (transactionAmount ?Transaction             (MeasureFn ?Amount1 ?U))         (instance ?U UnitOfCurrency)         (date ?Transaction ?Day))     (exists (?Amount2)         (and             (availableBalance ?Account ?Day                 (MeasureFn ?Amount2 ?U))             (greaterThanOrEqualTo ?Amount1 ?Amount2))))	FinancialOntology.kif 3815-3827	If a financial transaction is an instance of financial transaction and the financial transaction originates at a financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the unit of measure is an instance of unit of currency and date of the financial transaction is a day, then there exists another real number such that the available balance of the financial account on the day is the other real number the unit of measure(s) and the real number is greater than or equal to the other real number
(=>     (and         (instance ?U UnitOfCurrency)         (reservePrice ?AUCTION             (MeasureFn ?AMOUNT ?U))         (destination ?AUCTION ?BUYER))     (exists (?OFFER ?ITEM)         (and             (bidPrice ?ITEM                 (MeasureFn ?OFFER ?U) ?BUYER)             (greaterThan ?OFFER ?AMOUNT))))	UXExperimentalTerms.kif 415-423	If an unit of measure is an instance of unit of currency and the reserve price of an auctioning is a real number the unit of measure(s) and the auctioning ends up at an agent, then there exist another real number and an object such that the agent bids the other real number the unit of measure(s) for the object and the other real number is greater than the real number
(=>     (and         (instance ?UNIT UnitOfArea)         (landAreaOnly ?AREA             (MeasureFn ?LAND ?UNIT))         (waterAreaOnly ?AREA             (MeasureFn ?WATER ?UNIT)))     (totalArea ?AREA         (MeasureFn             (AdditionFn ?LAND ?WATER) ?UNIT)))	Geography.kif 555-560	If an unit of measure is an instance of unit of area and a real number the unit of measure(s) is a land area only of a geographic area and another real number the unit of measure(s) is a water area only of the geographic area, then (the real number and the other real number) the unit of measure(s) is a total area of the geographic area
(=>     (and         (instance ?UNIT UnitOfMeasure)         (equal ?GIGAUNIT             (GigaFn ?UNIT)))     (equal         (MeasureFn 1 ?GIGAUNIT)         (MeasureFn 1000000             (KiloFn ?UNIT))))	Merge.kif 6503-6507	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 billion the unit of measures, then 1 the other unit of measure(s) is equal to 1000000 1 thousand the unit of measures(s)
(=>     (and         (instance ?UNIT UnitOfMeasure)         (equal ?KILOUNIT             (KiloFn ?UNIT)))     (equal         (MeasureFn 1 ?KILOUNIT)         (MeasureFn 1000 ?UNIT)))	Merge.kif 6475-6479	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 thousand the unit of measures, then 1 the other unit of measure(s) is equal to 1000 the unit of measure(s)
(=>     (and         (instance ?UNIT UnitOfMeasure)         (equal ?MEGAUNIT             (MegaFn ?UNIT)))     (equal         (MeasureFn 1 ?MEGAUNIT)         (MeasureFn 1000000 ?UNIT)))	Merge.kif 6489-6493	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 million the unit of measures, then 1 the other unit of measure(s) is equal to 1000000 the unit of measure(s)
(=>     (and         (instance ?UNIT UnitOfMeasure)         (equal ?MICROUNIT             (MicroFn ?UNIT)))     (equal         (MeasureFn 1 ?MICROUNIT)         (MeasureFn 0.000001 ?UNIT)))	Merge.kif 6545-6549	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one millionth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.000001 the unit of measure(s)
(=>     (and         (instance ?UNIT UnitOfMeasure)         (equal ?MILLIUNIT             (MilliFn ?UNIT)))     (equal         (MeasureFn 1 ?MILLIUNIT)         (MeasureFn 0.001 ?UNIT)))	Merge.kif 6531-6535	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one thousandth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.001 the unit of measure(s)
(=>     (and         (instance ?UNIT UnitOfMeasure)         (equal ?NANOUNIT             (NanoFn ?UNIT)))     (equal         (MeasureFn 1 ?NANOUNIT)         (MeasureFn 0.000000001 ?UNIT)))	Merge.kif 6560-6564	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one billionth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.000000001 the unit of measure(s)
(=>     (and         (instance ?UNIT UnitOfMeasure)         (equal ?PICOUNIT             (PicoFn ?UNIT)))     (equal         (MeasureFn 1 ?PICOUNIT)         (MeasureFn 0.000000000001 ?UNIT)))	Merge.kif 6575-6579	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one trillionth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.000000000001 the unit of measure(s)
(=>     (and         (instance ?UNIT UnitOfMeasure)         (equal ?TERAUNIT             (TeraFn ?UNIT)))     (equal         (MeasureFn 1 ?TERAUNIT)         (MeasureFn 1000000000             (KiloFn ?UNIT))))	Merge.kif 6517-6521	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 trillion the unit of measures, then 1 the other unit of measure(s) is equal to 1000000000 1 thousand the unit of measures(s)
(=>     (and         (instance ?Uptick Uptick)         (patient ?Uptick ?Stock)         (equal             (WhenFn ?Uptick) ?Time1)         (instance ?U UnitOfCurrency)         (price ?Stock             (MeasureFn ?Price1 ?U) ?Time1))     (exists (?Transaction ?Time2 ?Price2)         (and             (instance ?Transaction StockMarketTransaction)             (patient ?Transaction ?Stock)             (equal                 (WhenFn ?Transaction) ?Time2)             (meetsTemporally ?Time2 ?Time1)             (price ?Stock                 (MeasureFn ?Price2 ?U) ?Time2)             (lessThan ?Price2 ?Price1))))	FinancialOntology.kif 3212-3228	If a process is an instance of uptick and a physical is a patient of the process and the time of existence of the process is equal to an agent and an unit of measure is an instance of unit of currency and the physical is price a real number the unit of measure(s) for the agent, then there exist another process, another agent and another real number such that the other process is an instance of stock market transaction and the physical is a patient of the other process and the time of existence of the other process is equal to the other agent and the other agent meets the agent and the physical is price the other real number the unit of measure(s) for the other agent and the other real number is less than the real number
(=>     (and         (instance ?W Wind)         (instance ?BN BeaufortNumber12)         (eventLocated ?W ?AREA)         (believes ?A             (property ?W ?BN)))     (exists (?SPEED)         (and             (greaterThan ?SPEED 73.0)             (believes ?A                 (surfaceWindSpeed ?AREA                     (MeasureFn ?SPEED MilesPerHour))))))	Weather.kif 484-496	If a process is an instance of wind and an entity is an instance of Beaufort number 12 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 73.0 and the cognitive agent believes the real number miles per hour(s) is a surface wind speed of the object
(=>     (and         (instance ?W Wind)         (instance ?BN BeaufortNumberAttribute)         (eventLocated ?W ?AREA)         (believes ?A             (property ?W ?BN))         (speedScaleAttributeMinMax ?BN             (MeasureFn ?MIN ?U)             (MeasureFn ?MAX ?U))         (instance ?U UnitOfMeasure))     (exists (?SPEED)         (and             (greaterThanOrEqualTo ?SPEED ?MIN)             (lessThanOrEqualTo ?SPEED ?MAX)             (believes ?A                 (surfaceWindSpeed ?AREA                     (MeasureFn ?SPEED ?U))))))	Weather.kif 349-366	If a process is an instance of wind and a speed scale attribute is an instance of Beaufort number attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is a surface wind speed of the object
(=>     (and         (instance ?WATERWAY Waterway)         (depth ?OBJ ?WATERWAY             (MeasureFn ?DEPTH ?UNIT))         (instance ?UNIT UnitOfLength)         (lessThan ?DRAFT ?DEPTH))     (navigableForDraft ?WATERWAY         (MeasureFn ?DRAFT ?UNIT)))	Transportation.kif 2667-2673	If a water area is an instance of waterway and the depth from a physical to the water area is a real number an unit of measure(s) and the unit of measure is an instance of unit of length and another real number is less than the real number, then the other real number the unit of measure(s) is a navigable for draft of the water area
(=>     (and         (instance ?WEARING Erosion)         (instance ?LAND LandForm)         (patient ?WEARING ?LAND)         (instance ?U UnitOfVolume)         (measure ?LAND             (MeasureFn ?SIZE1 ?U)))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?WEARING))         (exists (?SIZE2)             (and                 (measure ?LAND                     (MeasureFn ?SIZE2 ?U))                 (lessThan ?SIZE2 ?SIZE1)))))	Geography.kif 2689-2702	If a process is an instance of erosion and a physical is an instance of land form and the physical is a patient of the process and an unit of measure is an instance of unit of volume and the measure of the physical is a real number the unit of measure(s), then there exists an entity such that the measure of the physical is the entity the unit of measure(s) and the entity is less than the real number holds during immediately after the time of existence of the process
(=>     (and         (instance ?WW WaterWave)         (waveHeight ?WW ?WH))     (exists (?LIST ?WA ?U ?SWH)         (and             (inList ?WH ?LIST)             (instance ?WA WaterArea)             (eventLocated ?WW ?WA)             (instance ?U UnitOfLength)             (significantWaveHeight ?WA                 (WhenFn ?WW)                 (MeasureFn ?SWH ?U))             (equal ?SWH                 (MultiplicationFn 4.0                     (StandardDeviationFn ?LIST))))))	Weather.kif 1528-1543	If a water wave is an instance of water wave and The waveHeight of the water wave a length measure., then there exist a list, a water area,, , an unit of measure and a real number such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at the water area and the unit of measure is an instance of unit of length and significantWaveHeight in the water area during the time of existence of the water wave is the real number the unit of measure(s). and the real number is equal to 4.0 and The StandardDeviationFn of the list
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners