measure - Sigma Knowledge base Browser

appearance as argument number 1

(documentation measure ChineseLanguage "这是一个非常概括的 Predicate，它用于断言一个特定的 Object 是由一种特定的 PhysicalQuantity 来量度。一般来说，这个 Predicate 的第二个参数会是由 Function MeasureFn 所产生的术语。")	chinese_format.kif 2632-2634
(documentation measure EnglishLanguage "A very general Predicate for asserting that a particular Physical is measured by a particular PhysicalQuantity. In general, the second argument of this Predicate will be a term produced with the Function MeasureFn.")	Merge.kif 7506-7509
(documentation measure JapaneseLanguage "非常に一般的な Predicate は、特定の Object が特定の PhysicalQuantity によって測定されると主張する。　一般に、この Predicate の第2の引数は、 Function MeasureFn で生成される用語になる。")	japanese_format.kif 1347-1349
(domain measure 1 Physical)	Merge.kif 7503-7503	The number 1 argument of measure is an instance of physical
(domain measure 2 PhysicalQuantity)	Merge.kif 7504-7504	The number 2 argument of measure is an instance of physical quantity
(instance measure AsymmetricRelation)	Merge.kif 7502-7502	measure is an instance of asymmetric relation
(instance measure BinaryPredicate)	Merge.kif 7501-7501	measure is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage measure "%1 的 measure %n 是 %2")	chinese_format.kif 607-607
(format EnglishLanguage measure "the measure of %1 is %n %2")	english_format.kif 610-610
(format FrenchLanguage measure "la mesure de %1 est %n %2")	french_format.kif 368-368
(format ItalianLanguage measure "lamisura %1 è %n %2")	relations-it.txt 177-177
(format JapaneseLanguage measure " %1 の measure は %2 では %n")	japanese_format.kif 2102-2102
(format PortugueseLanguage measure "a medida de %1 e' %n %2")	portuguese_format.kif 320-320
(format cz measure "the measure of %1 %p{je} %n{nen�} %2")	relations-cz.txt 378-378
(format de measure "das mass von %1 ist %2 %n{nicht}")	relations-de.txt 794-794
(format hi measure "%1 kii maapa %2 %n hai")	relations-hindi.txt 215-215
(format ro measure "measure%t{mãsura} lui %1 %n{nu} este %2")	relations-ro.kif 390-390
(format sv measure "mätningen av %1 är %n{inte} %2")	relations-sv.txt 409-409
(format tg measure "ang sukatan ng %1 %n ay %2")	relations-tg.txt 350-350
(subrelation absorbedDose measure)	MilitaryProcesses.kif 868-868	absorbed dose is a subrelation of measure
(subrelation age measure)	Merge.kif 7518-7518	age is a subrelation of measure
(subrelation airTemperature measure)	Mid-level-ontology.kif 25939-25939	air temperature is a subrelation of measure
(subrelation barometricPressure measure)	Merge.kif 7851-7851	barometric pressure is a subrelation of measure
(subrelation effectiveRange measure)	Mid-level-ontology.kif 1379-1379	effective range is a subrelation of measure
(subrelation fleetDeadWeightTonnage measure)	Transportation.kif 1005-1005	fleet dead weight tonnage is a subrelation of measure
(subrelation fleetGrossRegisteredTonnage measure)	Transportation.kif 987-987	fleet gross registered tonnage is a subrelation of measure
(subrelation linearExtent measure)	Merge.kif 7531-7531	linear extent is a subrelation of measure
(subrelation loudness measure)	Mid-level-ontology.kif 13945-13945	loudness is a subrelation of measure
(subrelation memorySize measure)	QoSontology.kif 1660-1660	memory size is a subrelation of measure
(subrelation phMeasure measure)	Mid-level-ontology.kif 10082-10082	pH measure is a subrelation of measure
(subrelation trackWidth measure)	Transportation.kif 393-393	track width is a subrelation of measure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205.0) PoundMass)))	Mid-level-ontology.kif 13823-13829	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 378-380	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 397-399	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 13544-13549	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)
(<=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (potentialOfHydrogen ?SOLUTION ?PH))	Geography.kif 2548-2551	The measure of a solution is a real number PH value(s) if and only if the real number is a potential of hydrogen of the solution
(=> (and (amount ?S ?CO (MeasureFn ?N ?U)) (instance ?SI ?S) (measure ?SI (MeasureFn ?N2 ?U)) (part ?SI ?CO)) (exists (?L) (and (inList (MeasureFn ?N2 ?U) ?L) (equal ?L (AmountsFn ?S ?CO ?U)) (equal ?N (ListSumFn ?L)))))	Merge.kif 7597-7612	If amount a kind of substance, a corpuscular object and a real number an unit of mass(s) and a kind of substanceI is an instance of the kind of substance and the measure of the kind of substanceI is the real number2 the unit of mass(s) and the kind of substanceI is a part of the corpuscular object, then there exists a list such that the real number2 the unit of mass(s) is a member of the list and the list is equal to Amounts fn the kind of substance, the corpuscular object and the unit of mass and the real number is equal to the sum of the list
(=> (and (approximateDiameter ?O (MeasureFn ?L ?LM)) (sphereRadius ?S (MeasureFn (DivisionFn ?L 2.0) ?LM)) (measure ?S (MeasureFn ?V1 ?VM)) (measure ?O (MeasureFn ?V2 ?VM)) (instance ?LM UnitOfLength) (instance ?VM UnitOfVolume)) (equal ?V1 ?V2))	Mid-level-ontology.kif 18206-18217	If the approximate diameter of a self connected object is a real number the real numberM(s) and the radius of an object is the real number and 2.0 the real numberM(s) and the measure of the object is another real number another unit of measure(s) and the measure of the self connected object is a third real number the other unit of measure(s) and the real numberM is an instance of unit of length and the other unit of measure is an instance of unit of volume, then the other real number is equal to the third real number
(=> (and (attribute ?FOOD1 FamilyStylePortion) (measure ?FOOD1 (MeasureFn ?MEAS1 ?U)) (not (attribute ?FOOD2 FamilyStylePortion)) (measure ?FOOD2 (MeasureFn ?MEAS2 ?U)) (instance ?FOOD1 ?CLASS) (instance ?FOOD2 ?CLASS) (instance ?U UnitOfMeasure)) (greaterThan ?MEAS1 ?MEAS2))	Dining.kif 1165-1176	If family-style portions is an attribute of an object and the measure of the object is a real number an unit of measure(s) and family-style portions is not an attribute of another object and the measure of the other object is another real number the unit of measure(s) and the object is an instance of a class and the other object is an instance of the class and the unit of measure is an instance of unit of measure, then the real number is greater than the other real number
(=> (and (attribute ?H Anemia) (instance ?B Blood) (part ?B ?H) (attribute ?H Female) (measure ?B (MeasureFn 0.1 Liter)) (instance ?HE Hemoglobin) (part ?HE ?B) (not (instance ?HE2 Hemoglobin)) (not (equal ?HE ?HE2)) (part ?H2 ?B) (measure ?HE (MeasureFn ?N Gram))) (lessThan ?N 12))	Medicine.kif 172-187	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and female is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 12
(=> (and (attribute ?H Anemia) (instance ?B Blood) (part ?B ?H) (attribute ?H Male) (measure ?B (MeasureFn 0.1 Liter)) (instance ?HE Hemoglobin) (part ?HE ?B) (not (instance ?HE2 Hemoglobin)) (not (equal ?HE ?HE2)) (part ?H2 ?B) (measure ?HE (MeasureFn ?N Gram))) (lessThan ?N 13))	Medicine.kif 155-170	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and male is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 13
(=> (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 2008-2029	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 2031-2052	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 (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Gas)) (exists (?BOIL) (and (overlapsTemporally (WhenFn ?BOIL) ?TIME) (instance ?BOIL Boiling) (patient ?BOIL ?SUBSTANCE)))))	Merge.kif 13887-13900	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of unit of temperature and the other real number is greater than or equal to the real number, then gas is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of boiling and the entity is a patient of the process
(=> (and (comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2) (instance ?UNIT UnitOfArea) (measure ?REGION1 (MeasureFn ?NUM1 ?UNIT)) (measure ?REGION2 (MeasureFn ?NUM2 ?UNIT))) (?RELATION (MeasureFn ?NUM1 ?UNIT) (MeasureFn (MultiplicationFn ?FACTOR ?NUM2) ?UNIT)))	Geography.kif 659-669	If a geographic area comparative area a binary relation extended to quantities for a positive real number with another geographic area and an unit of measure is an instance of unit of area and the measure of the geographic area is a real number the unit of measure(s) and the measure of the other geographic area is another real number the unit of measure(s), then the binary relation extended to quantities the real number the unit of measure(s) and the positive real number and the other real number the unit of measure(s)
(=> (and (concentration (MeasureFn ?N1 ?U) ?S (MeasureFn ?N2 ?U2) ?M) (instance ?SI ?S) (part ?SI ?M) (measure ?SI (MeasureFn ?N3 ?U3)) (part ?SI ?M) (not (instance ?SI2 ?S)) (not (equal ?SI ?SIE2)) (part ?SI2 ?M) (measure ?M (MeasureFn ?N2 ?U2))) (approximateValue ?N1 ?N3))	Medicine.kif 234-249	If the concentration of a kind of substance in a mixture is a real number an unit of measure(s) per another real number the unit of measure2(s) and a kind of substanceI is an instance of the kind of substance and the kind of substanceI is a part of the mixture and the measure of the kind of substanceI is a third real number the unit of measure3(s) and the kind of substanceI is a part of the mixture and the kind of substanceI2 is not an instance of the kind of substance and the kind of substanceI is not equal to the kind of substanceIE2 and the kind of substanceI2 is a part of the mixture and the measure of the mixture is the other real number the unit of measure2(s), then the approximate value of the real number is the third real number
(=> (and (engineIdleSpeed ?E (RotationFn (MeasureFn ?N1 MilesPerHour) ?M)) (instance ?A Automobile) (instance ?P GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (part ?C ?E) (holdsDuring (WhenFn ?P) (measure ?C (RotationFn (MeasureFn ?N2 MilesPerHour) ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Cars.kif 2568-2586	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the internal combustion engine is a part of the object and the other object is a part of the object and a third object is an instance of crankshaft and the third object is a part of the internal combustion engine and the measure of the third object is the rotation of an entity miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number has the modal force of likely
(=> (and (equal ?MEASURE (MeasureFn ?NUMBER Rad)) (measure ?OBJ ?MEASURE)) (absorbedDose ?OBJ ?MEASURE))	MilitaryProcesses.kif 862-866	If a radiation measure is equal to a real number rad(s) and the measure of an object is the radiation measure, then the object has absorbed a dose of radiation equal to the radiation measure
(=> (and (governorSpeed ?V ?Q) (equal (MeasureFn ?FAST MilesPerHour) (SpeedFn ?L1 ?T1)) (equal (MeasureFn ?SLOW MilesPerHour) (SpeedFn ?L2 ?T2)) (greaterThan ?FAST ?SLOW) (equal ?FASTPROB (ProbabilityFn (measure ?V (MeasureFn ?FAST MilesPerHour)))) (equal ?SLOWPROB (ProbabilityFn (measure ?V (MeasureFn ?SLOW MilesPerHour))))) (greaterThan ?SLOWPROB ?FASTPROB))	Cars.kif 2867-2885	If the maximum speed allowed by a governor is a function quantity and a real number miles per hour(s) is equal to a length measure per a time duration and another real number miles per hour(s) is equal to another length measure per another time duration and the real number is greater than the other real number and the real numberPROB is equal to the probability of the measure of the governor is the real number miles per hour(s) and the other real numberPROB is equal to the probability of the measure of the governor is the other real number miles per hour(s), then the other real numberPROB is greater than the real numberPROB
(=> (and (holdsDuring ?T (measure ?C ?S)) (engineIdleSpeed ?E ?S) (instance ?A Automobile) (part ?E ?A) (part ?C ?E)) (modalAttribute (not (exists (?P ?GP) (and (during ?P ?T) (instance ?P Pushing) (destination ?P ?GP) (part ?GP ?A)))) Likely))	Cars.kif 2550-2566	If the measure of an object is a function quantity holds during a time position and the idle speed of an internal combustion engine is the function quantity and another object is an instance of automobile and the internal combustion engine is a part of the other object and the object is a part of the internal combustion engine, then the statement there don't exist an entity and another entity such that the entity takes place during the time position and the entity is an instance of pushing and the entity ends up at the other entity and the other entity is a part of the other object has the modal force of likely
(=> (and (holdsDuring ?T1 (attribute ?H Dieting)) (holdsDuring ?T2 (not (attribute ?H Dieting))) (instance ?M1 Meal) (instance ?E1 Eating) (agent ?E1 ?H) (resource ?E1 ?M1) (during (WhenFn ?E1) ?T1) (measure ?M1 (MeasureFn ?C1 Calorie)) (instance ?M2 Meal) (instance ?E2 Eating) (agent ?E2 ?H) (resource ?E2 ?M2) (during (WhenFn ?E2) ?T2) (measure ?M2 (MeasureFn ?C2 Calorie))) (modalAttribute (greaterThan ?C2 ?C1) Likely))	Mid-level-ontology.kif 30919-30940	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
(=> (and (instance ?A Americano) (part ?E ?A) (part ?W ?A) (instance ?E Espresso) (instance ?W DrinkingWater) (measure ?W (MeasureFn 90.0 CelsiusDegree)) (mixtureRatio ?E ?W ?V1 ?V2 Liter)) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15)))	Food.kif 1321-1332	If an object is an instance of americano and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of potable water and the measure of the other substance is 90.0 celsius degree(s) and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance, then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15
(=> (and (instance ?B Brine) (measure ?B (MeasureFn 1.0 Liter)) (part ?SALT ?B) (instance ?SALT SodiumChloride) (measure ?SALT (MeasureFn ?R Gram))) (and (greaterThan ?R 35.0) (lessThanOrEqualTo ?R 260.0)))	Geography.kif 2873-2884	If an object is an instance of brine and the measure of the object is 1.0 liter(s) and another object is a part of the object and the other object is an instance of salt and the measure of the other object is a real number gram(s), then the real number is greater than 35.0 and the real number is less than or equal to 260.0
(=> (and (instance ?BOILING Boiling) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (patient ?BOILING ?SUBSTANCE) (holdsDuring (WhenFn ?BOILING) (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature)) (greaterThanOrEqualTo ?TEMP2 ?TEMP1))	Merge.kif 13877-13885	If a process is an instance of boiling and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the entity is a patient of the process and the measure of the entity is another real number the unit of measure(s) holds during the time of existence of the process and the unit of measure is an instance of unit of temperature, then the other real number is greater than or equal to the real number
(=> (and (instance ?BTS BimetalTemperatureSensor) (instance ?M1 Metal) (instance ?M2 Metal) (not (equal ?M1 ?M2)) (part ?M1 ?BTS) (part ?M2 ?BTS) (instance ?T1 TemperatureMeasure) (instance ?T2 TemperatureMeasure) (instance ?L1 LengthMeasure) (instance ?L2 LengthMeasure) (instance ?L3 LengthMeasure) (instance ?L4 LengthMeasure) (not (equal ?T1 ?T2)) (not (equal ?TM1 ?TM2)) (holdsDuring ?TM1 (and (measure ?BTS ?T1) (measure ?M1 ?L1) (measure ?M2 ?L2))) (holdsDuring ?TM2 (and (measure ?BTS ?T2) (measure ?M1 ?L3) (measure ?M2 ?L4)))) (not (equal (DivisionFn ?L1 ?L2) (DivisionFn ?L3 ?L4))))	Cars.kif 4066-4098	If an object is an instance of bi-metal temperature sensor and another object is an instance of metal and a third object is an instance of metal and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object and an entity is an instance of temperature measure and another entity is an instance of temperature measure and a real number is an instance of length measure and another real number is an instance of length measure and a third real number is an instance of length measure and a fourth real number is an instance of length measure and the entity is not equal to the other entity and a time position is not equal to another time position and the measure of the object is the entity and the measure of the other object is the real number and the measure of the third object is the other real number holds during the time position and the measure of the object is the other entity and the measure of the other object is the third real number and the measure of the third object is the fourth real number holds during the other time position, then the real number and the other real number is not equal to the third real number and the fourth real number
(=> (and (instance ?C Cappuccino) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (instance ?B Bubble) (top ?B ?M) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15) (approximateValue ?L 20.0)))	Food.kif 1285-1301	If an object is an instance of cappuccino and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is an instance of bubble and the top of the other substance is the self connected object and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15 and the approximate value of the third real number is 20.0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 7794-7802	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 13823-13829	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 378-380	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 397-399	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 13544-13549	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 2092-2106	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 2008-2029	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 2031-2052	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 1186-1201	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 25951-25960	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 13754-13763	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 13765-13776	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 13784-13793	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 .5)))) Unlikely))	Mid-level-ontology.kif 13795-13804	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 .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 13723-13732	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 13734-13745	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 6166-6177	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 1172-1184	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 25986-26001	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 17361-17382	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 29096-29100	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 27762-27766	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 29202-29206	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 28396-28400	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 27845-27849	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

KB Term:			Term intersection

English Word: