consequent

(<=>     (larger ?OBJ1 ?OBJ2)     (forall (?QUANT1 ?QUANT2 ?UNIT)         (=>             (and                 (measure ?OBJ1                     (MeasureFn ?QUANT1 ?UNIT))                 (measure ?OBJ2                     (MeasureFn ?QUANT2 ?UNIT))                 (instance ?UNIT UnitOfLength))             (greaterThan ?QUANT1 ?QUANT2))))	Merge.kif 7843-7851	An object is larger than another object if and only if for all a real number, another real number and an unit of measure if the measure of the object is the real number the unit of measure(s) and the measure of the other object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of length, then the real number is greater than the other real number
(<=>     (measure ?O         (MeasureFn ?A MetricTon))     (measure ?O         (MeasureFn             (MultiplicationFn ?A 2205.0) PoundMass)))	Mid-level-ontology.kif 14934-14940	The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205.0 pound mass(s)
(<=>     (measure ?OBJ         (MeasureFn ?DEG AngularDegree))     (measure ?OBJ         (MeasureFn             (MultiplicationFn 60.0 ?DEG) ArcMinute)))	Geography.kif 1782-1784	The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s)
(<=>     (measure ?OBJ         (MeasureFn ?DEG ArcMinute))     (measure ?OBJ         (MeasureFn             (MultiplicationFn 60.0 ?DEG) ArcSecond)))	Geography.kif 1801-1803	The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s)
(<=>     (measure ?OBJECT         (MeasureFn ?NUMBER OunceMass))     (measure ?OBJECT         (MeasureFn             (DivisionFn ?NUMBER 16.0) PoundMass)))	Mid-level-ontology.kif 14656-14661	The measure of a physical is a real number Ounce(s) if and only if the measure of the physical is the real number and 16.0 pound mass(s)
(=>     (and         (arableLandArea ?REGION             (MeasureFn ?FRACTION ?UNIT))         (greaterThanOrEqualTo ?FRACTION 0.0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea))     (exists (?ARABLE)         (and             (instance ?ARABLE ArableLand)             (geographicSubregion ?ARABLE ?REGION)             (measure ?ARABLE                 (MeasureFn                     (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 3484-3498	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, then there exists another geographic area such that the other geographic area is an instance of arable land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the real number and the other real number the unit of measure(s)
(=>     (and         (attribute ?Order LimitOrder)         (partyToAgreement ?Order ?Broker)         (attribute ?Broker Broker)         (orderFor ?Order Buying ?Object)         (measure ?Object ?Quantity)         (limitPrice ?Order             (MeasureFn ?LimitPrice ?U))         (instance ?U UnitOfCurrency)         (askPrice ?Object             (MeasureFn ?Price ?U) ?Time)         (lessThanOrEqualTo ?Price ?LimitPrice))     (holdsObligation         (KappaFn ?Buy             (and                 (instance ?Buy Buying)                 (patient ?Buy ?Object)                 (measure ?Object ?Quantity)                 (equal                     (WhenFn ?Buy) ?BuyingTime)                 (overlapsTemporally ?Time ?BuyingTime))) ?Broker))	FinancialOntology.kif 2025-2046	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of unit of currency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (attribute ?Order LimitOrder)         (partyToAgreement ?Order ?Broker)         (attribute ?Broker Broker)         (orderFor ?Order Selling ?Object)         (measure ?Object ?Quantity)         (limitPrice ?Order             (MeasureFn ?LimitPrice ?U))         (bidPrice ?Object             (MeasureFn ?Price ?U) ?Time)         (instance ?U UnitOfCurrency)         (greaterThanOrEqualTo ?Price ?LimitPrice))     (holdsObligation         (KappaFn ?Sell             (and                 (instance ?Sell Selling)                 (patient ?Sell ?Object)                 (measure ?Object ?Quantity)                 (equal                     (WhenFn ?Sell) ?SellingTime)                 (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 2048-2069	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of unit of currency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=>     (and         (attribute ?ROOM Oversized)         (immediateInstance ?ROOM ?HOTELUNIT)         (subclass ?HOTELUNIT HotelUnit))     (exists (?NORMAL ?AREA1 ?AREA2 ?U)         (and             (immediateInstance ?NORMAL ?HOTELUNIT)             (instance ?U UnitOfArea)             (measure ?NORMAL                 (MeasureFn ?AREA1 ?U))             (measure ?ROOM                 (MeasureFn ?AREA2 ?U))             (instance ?AREA1 AreaMeasure)             (instance ?AREA2 AreaMeasure)             (greaterThan ?AREA2 ?AREA1))))	Hotel.kif 1194-1209	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of unit of area and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
(=>     (and         (attribute ?X ?Y)         (instance ?Y TemperatureAttribute)         (instance ?X Object))     (exists (?TEMP)         (and             (measure ?X ?TEMP)             (instance ?TEMP TemperatureMeasure)             (attribute ?TEMP ?Y))))	Mid-level-ontology.kif 27573-27582	If an attribute is an attribute of an object and the attribute is an instance of temperature attribute and the object is an instance of object, then there exists another object such that the measure of the object is the other object and the other object is an instance of temperature measure and the attribute is an attribute of the other object
(=>     (and         (defaultMaximumMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (greaterThan ?QUANTITY ?Q))) Unlikely))	Mid-level-ontology.kif 14865-14874	If the maximum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number has the modal force of unlikely
(=>     (and         (defaultMaximumMeasure ?OBJECT             (MeasureFn ?Q ?UNIT1))         (subclass ?UNITCLASS NonCompositeUnitOfMeasure)         (instance ?UNIT1 ?UNITCLASS))     (modalAttribute         (exists (?INST ?QUANTITY ?UNIT2)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT2))                 (instance ?UNIT2 ?UNITCLASS)                 (greaterThan                     (MeasureFn ?QUANTITY ?UNIT2)                     (MeasureFn ?Q ?UNIT1)))) Unlikely))	Mid-level-ontology.kif 14876-14887	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure and the unit of measure is an instance of the class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the class and the real numberUANTITY the third entity(s) is greater than the real number the unit of measure(s) has the modal force of unlikely
(=>     (and         (defaultMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (greaterThan ?QUANTITY                     (MultiplicationFn ?Q 1.5)))) Unlikely))	Mid-level-ontology.kif 14895-14904	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number and 1.5 has the modal force of unlikely
(=>     (and         (defaultMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (lessThan ?QUANTITY                     (MultiplicationFn ?Q 0.5)))) Unlikely))	Mid-level-ontology.kif 14906-14915	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number and 0.5 has the modal force of unlikely
(=>     (and         (defaultMinimumMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (lessThan ?QUANTITY ?Q))) Unlikely))	Mid-level-ontology.kif 14834-14843	If the minimum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number has the modal force of unlikely
(=>     (and         (defaultMinimumMeasure ?OBJECT             (MeasureFn ?Q ?UNIT1))         (subclass ?UNITCLASS NonCompositeUnitOfMeasure)         (instance ?UNIT1 ?UNITCLASS))     (modalAttribute         (exists (?INST ?QUANTITY ?UNIT2)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT2))                 (instance ?UNIT2 ?UNITCLASS)                 (lessThan ?QUANTITY ?Q))) Unlikely))	Mid-level-ontology.kif 14845-14856	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure and the unit of measure is an instance of the class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the class and the real numberUANTITY is less than the real number has the modal force of unlikely
(=>     (and         (graphMeasure ?G ?M)         (instance ?AN GraphNode)         (graphPart ?AN ?G)         (graphPart ?AA ?G)         (instance ?AA GraphArc)         (abstractCounterpart ?AN ?PN)         (abstractCounterpart ?AA ?PA)         (arcWeight ?AA ?N))     (measure ?PA         (MeasureFn ?N ?M)))	Merge.kif 6190-6201	If an unit of measure is the unit in a graph and a graph element is an instance of graph node and the graph element is a part of the graph and a graph arc is a part of the graph and the graph arc is an instance of graph arc and the abstract counterpart of a physical is the graph element and the abstract counterpart of another physical is the graph arc and the value of the graph arc is a real number, then the measure of the other physical is the real number the unit of measure(s)
(=>     (and         (immediateInstance ?BIG ?CLASS)         (immediateInstance ?NORMAL ?CLASS)         (attribute ?BIG Oversized))     (exists (?BIGSIZE ?NORMALSIZE ?U)         (and             (instance ?U UnitOfMeasure)             (measure ?BIG                 (MeasureFn ?BIGSIZE ?U))             (measure ?NORMAL                 (MeasureFn ?NORMALSIZE ?U))             (greaterThan ?BIGSIZE ?NORMALSIZE))))	Hotel.kif 1180-1192	If an object is an immediate instance of a class and a physical is an immediate instance of the class and oversized is an attribute of the object, then there exist the objectSIZE, the physicalSIZE and an unit of measure such that the unit of measure is an instance of unit of measure and the measure of the object is the objectSIZE the unit of measure(s) and the measure of the physical is the physicalSIZE the unit of measure(s) and the objectSIZE is greater than the physicalSIZE
(=>     (and         (immediateInstance ?X ?CLASS)         (immediateInstance ?Y ?CLASS)         (attribute ?X ColdTemperature)         (attribute ?Y HotTemperature))     (exists (?TEMPX ?TEMPY ?UNIT)         (and             (measure ?X                 (MeasureFn ?TEMPX ?UNIT))             (instance ?UNIT UnitOfTemperature)             (instance ?TEMPX TemperatureMeasure)             (measure ?Y                 (MeasureFn ?TEMPY ?UNIT))             (instance ?TEMPY TemperatureMeasure)             (greaterThan ?TEMPY ?TEMPX))))	Mid-level-ontology.kif 27608-27623	If an object is an immediate instance of a class and another object is an immediate instance of the class and cold is an attribute of the object and hot is an attribute of the other object, then there exist a real number, another real number and an unit of measure such that the measure of the object is the real number the unit of measure(s) and the unit of measure is an instance of unit of temperature and the real number is an instance of temperature measure and the measure of the other object is the other real number the unit of measure(s) and the other real number is an instance of temperature measure and the other real number is greater than the real number
(=>     (and         (instance ?ACCELERATE Accelerating)         (agent ?ACCELERATE ?AGENT))     (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?ACCELERATE))                 (measure ?AGENT                     (SpeedFn                         (MeasureFn ?LENGTH1 ?U1)                         (MeasureFn ?TIME1 ?U2))))             (holdsDuring                 (EndFn                     (WhenFn ?ACCELERATE))                 (measure ?AGENT                     (SpeedFn                         (MeasureFn ?LENGTH2 ?U1)                         (MeasureFn ?TIME2 ?U2))))             (or                 (greaterThan ?LENGTH2 ?LENGTH1)                 (greaterThan ?TIME2 ?TIME1)))))	Mid-level-ontology.kif 18516-18537	If a process is an instance of accelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the other real number is greater than the real number or the fourth real number is greater than the third real number
(=>     (and         (instance ?ATOM Actinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 227 Amu)))	Mid-level-ontology.kif 30714-30718	If a physical is an instance of actinium and the physical is an instance of atom, then the measure of the physical is 227 amu(s)
(=>     (and         (instance ?ATOM Aluminum)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 26.9815 Amu)))	Mid-level-ontology.kif 29380-29384	If a physical is an instance of aluminum and the physical is an instance of atom, then the measure of the physical is 26.9815 amu(s)
(=>     (and         (instance ?ATOM Americium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 243 Amu)))	Mid-level-ontology.kif 30820-30824	If a physical is an instance of americium and the physical is an instance of atom, then the measure of the physical is 243 amu(s)
(=>     (and         (instance ?ATOM Antimony)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 121.75 Amu)))	Mid-level-ontology.kif 30014-30018	If a physical is an instance of antimony and the physical is an instance of atom, then the measure of the physical is 121.75 amu(s)
(=>     (and         (instance ?ATOM Argon)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 39.948 Amu)))	Mid-level-ontology.kif 29463-29467	If a physical is an instance of argon and the physical is an instance of atom, then the measure of the physical is 39.948 amu(s)
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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