measure - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__measure__m,s__ChineseLanguage,'这是一个非常概括的 Predicate，它用于断言一个特定的 Object 是由一种特定的 PhysicalQuantity 来量度。一般来说，这个 Predicate 的第二个参数会是由 Function MeasureFn 所产生的术语。')	Merge.kif 7734-7736
s__documentation(s__measure__m,s__EnglishLanguage,'A very general Predicate for asserting that a particular Object 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 7730-7733
s__domain(s__measure__m,1,s__Object)	Merge.kif 7728-7728	The number 1 argument of measure is an instance of object
s__domain(s__measure__m,2,s__PhysicalQuantity)	Merge.kif 7729-7729	The number 2 argument of measure is an instance of physical quantity
s__instance(s__AsymmetricRelation,s__SetOrClass)	Merge.kif 7727-7727	measure is an instance of asymmetric relation
s__instance(s__measure__m,s__BinaryPredicate)	Merge.kif 7726-7726	measure is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__measure__m,'%1 的 measure %n 是 %2')	chinese_format.kif 607-607
s__format(s__EnglishLanguage,s__measure__m,'the measure of %1 is %n %2')	english_format.kif 379-379
s__format(s__FrenchLanguage,s__measure__m,'la mesure de %1 est %n %2')	french_format.kif 368-368
s__format(s__ItalianLanguage,s__measure__m,'lamisura %1 � %n %2')	relations-it.txt 177-177
s__format(s__PortugueseLanguage,s__measure__m,'a medida de %1 e %n %2')	portuguese_format.kif 320-320
s__format(s__cz__m,s__measure__m,'the measure of %1 %p{je} %n{nen�} %2')	relations-cz.txt 378-378
s__format(s__de__m,s__measure__m,'das mass von %1 ist %2 %n{nicht}')	relations-de.txt 794-794
s__format(s__hi__m,s__measure__m,'%1 kii maapa %2 %n hai')	relations-hindi.txt 215-215
s__format(s__tg__m,s__measure__m,'ang sukatan ng %1 %n ay %2')	relations-tg.txt 350-350
s__subrelation(s__absorbedDose__m,s__measure__m)	MilitaryProcesses.kif 857-857	absorbed dose is a subrelation of measure
s__subrelation(s__age__m,s__measure__m)	Merge.kif 7739-7739	age is a subrelation of measure
s__subrelation(s__airTemperature__m,s__measure__m)	Mid-level-ontology.kif 23513-23513	air temperature is a subrelation of measure
s__subrelation(s__barometricPressure__m,s__measure__m)	Merge.kif 8000-8000	barometric pressure is a subrelation of measure
s__subrelation(s__effectiveRange__m,s__measure__m)	Mid-level-ontology.kif 1770-1770	effective range is a subrelation of measure
s__subrelation(s__fleetDeadWeightTonnage__m,s__measure__m)	Transportation.kif 952-952	fleet dead weight tonnage is a subrelation of measure
s__subrelation(s__fleetGrossRegisteredTonnage__m,s__measure__m)	Transportation.kif 934-934	fleet gross registered tonnage is a subrelation of measure
s__subrelation(s__linearExtent__m,s__measure__m)	Merge.kif 7752-7752	linearExtent is a subrelation of measure
s__subrelation(s__load__m,s__measure__m)	QoSontology.kif 1818-1818	load is a subrelation of measure
s__subrelation(s__memorySize__m,s__measure__m)	QoSontology.kif 1639-1639	memory size is a subrelation of measure
s__subrelation(s__trackWidth__m,s__measure__m)	Transportation.kif 363-363	track width is a subrelation of measure
s__subrelation(s__vesselDisplacement__m,s__measure__m)	Transportation.kif 2440-2440	vessel displacement is a subrelation of measure
s__subrelation(s__visibilityInMeteorology__m,s__measure__m)	Weather.kif 1116-1116	visibility in meteorology is a subrelation of measure
s__subrelation(s__weight__m,s__measure__m)	Merge.kif 7549-7549	weight is a subrelation of measure
s__termFormat(s__ChineseLanguage,s__measure__m,'计量')	chinese_format.kif 608-608	"计量" is the printable form of measure in ChineseLanguage

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

( ! [V__O,V__A] : (s__measure(V__O,s__MeasureFn(V__A,s__MetricTon)) <=> s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,2205) ,s__PoundMass))) )	Mid-level-ontology.kif 11199-11205	The measure of an object is a real number metric ton(s) if and only if the measure of the object is the real number and 2205 pound mass(s)
( ! [V__OBJ,V__DEG] : (s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree)) <=> s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(60,V__DEG) ,s__ArcMinute))) )	Geography.kif 378-380	The measure of an object is a real number angular degree(s) if and only if the measure of the object is 60 and the real number arc minute(s)
( ! [V__OBJ,V__DEG] : (s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute)) <=> s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(60,V__DEG) ,s__ArcSecond))) )	Geography.kif 397-399	The measure of an object is a real number arc minute(s) if and only if the measure of the object is 60 and the real number arc second(s)
( ! [V__OBJECT,V__NUMBER] : (s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass)) <=> s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,16) ,s__PoundMass))) )	Mid-level-ontology.kif 10939-10944	The measure of an object is a real number Ounce(s) if and only if the measure of the object is the real number and 16 pound mass(s)
( ! [V__SOLUTION,V__PH] : (s__measure(V__SOLUTION,s__MeasureFn(V__PH,s__PHValue)) <=> s__potentialOfHydrogen(V__SOLUTION,V__PH)) )	Geography.kif 2477-2480	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
( ! [V__O,V__L,V__S,V__V1,V__VM,V__V2] : ((s__approximateDiameter(V__O,V__L) & s__sphereRadius(V__S,s__DivisionFn(V__L,2)) & s__measure(V__S,s__MeasureFn(V__V1,V__VM)) & s__measure(V__O,s__MeasureFn(V__V2,V__VM)) & s__instance(V__VM,s__VolumeMeasure)) => (V__V1 = V__V2)) )	Geography.kif 6428-6435	If the approximate diameter of a self connected object is a length measure and the radius of an object is the length measure and 2 and the measure of the object is a real number an unit of measure(s) and the measure of the self connected object is another real number the unit of measure(s) and the unit of measure is an instance of volume measure, then the real number is equal to the other real number
( ! [V__FOOD1,V__MEAS1,V__FOOD2,V__MEAS2,V__CLASS] : ((s__attribute(V__FOOD1,s__FamilyStylePortion) & s__measure(V__FOOD1,V__MEAS1) & (~ s__attribute(V__FOOD2,s__FamilyStylePortion)) & s__measure(V__FOOD2,V__MEAS2) & s__instance(V__FOOD1,V__CLASS) & s__instance(V__FOOD2,V__CLASS)) => s__greaterThan(V__MEAS1,V__MEAS2)) )	Dining.kif 1119-1127	If family-style portions is an attribute of an object and the measure of the object is a physical quantity and family-style portions is not an attribute of another object and the measure of the other object is another physical quantity and the object is an instance of a set or class and the other object is an instance of the set or class, then the physical quantity is greater than the other physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13772-13785	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the measure of the object is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the other real number is greater than or equal to the real number, then gas is an attribute of the object 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 object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 655-661	If a geographic area comparative area a BinaryRelationExtendedToQuantities for a positive real number with another geographic area and an unit of measure is an instance of UnitOfArea 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 BinaryRelationExtendedToQuantities the real number the unit of measure(s) and the positive real number and the other real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2571-2584	If the idle speed of an internal combustion engine is the rotation of a quantity 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 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 object and the measure of the third object is the rotation of another quantity during the time duration, then the statement the other quantity is greater than the quantity has the modal force of likely
( ! [V__MEASURE,V__NUMBER,V__OBJ] : (((V__MEASURE = s__MeasureFn(V__NUMBER,s__Rad)) & s__measure(V__OBJ,V__MEASURE)) => s__absorbedDose(V__OBJ,V__MEASURE)) )	MilitaryProcesses.kif 851-855	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2865-2879	If the maximum speed allowed by a governor is a function quantity and a real number is equal to the probability of the measure of the governor is the per of a physical quantity and another physical quantity and another real number is equal to the probability of the measure of the governor is the per of a third physical quantity and a fourth physical quantity and the per of the physical quantity and the other physical quantity is greater than the per of the third physical quantity and the fourth physical quantity, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2553-2569	If the measure of an object is a function quantity holds during a time interval 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 another time interval and a third object such that the other time interval takes place during the time interval and the other time interval is an instance of pushing and the other time interval ends up at the third object and the third object is a part of the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28718-28739	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13762-13770	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 object is an instance of a kind of pure substance and the object is a patient of the process and the measure of the object 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 UnitOfTemperature, then the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4047-4077	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 a physical quantity is an instance of temperature measure and another physical quantity is an instance of temperature measure and a third physical quantity is an instance of length measure and a fourth physical quantity is an instance of length measure and a fifth physical quantity is an instance of length measure and a sixth physical quantity is an instance of length measure and the physical quantity is not equal to the other physical quantity and the measure of the object is the physical quantity and the measure of the other object is the third physical quantity and the measure of the third object is the fourth physical quantity holds during an entity and the measure of the object is the other physical quantity and the measure of the other object is the fifth physical quantity and the measure of the third object is the sixth physical quantity holds during another entity, then the third physical quantity and the fourth physical quantity is not equal to the fifth physical quantity and the sixth physical quantity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6339-6353	If a process is an instance of deposition and an object is a patient of the process and the measure of the object is a real number joule(s) holds during immediately before the time of existence of the process and the measure of the object is another real number joule(s) holds during immediately after the time of existence of the process, then the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2792-2811	If an object is an instance of internal combustion engine and a self connected object is an instance of combustion chamber and the self connected object is a part of the object and another object is an instance of fuel and an unit of measure is an instance of UnitOfVolume and the self connected object contains the other object and the measure of the other object is a real number the unit of measure(s) and engine flooded is an attribute of the object holds during an entity, then the self connected object has purpose there doesn't exist the other object2 such that the other object2 is an instance of fuel and the self connected object contains the other object2 and the measure of the other object2 is another real number the unit of measure(s) and the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1343	If an object is an instance of engine choke and device on is an attribute of the object holds during a process and device off is an attribute of the object holds during another process and a self connected object is an instance of EngineCylinder and a constant quantity is a capacity of the self connected object and the process is an instance of four stroke compression and the other process is an instance of four stroke compression and the process is located at 2 and the other process is located at 2 and another object is an instance of air and a third object is an instance of fuel and the other object is a part of the constant quantityIX1 and the third object is a part of the constant quantityIX1 and the measure of the constant quantityIX1 is the constant quantity and a fifth object is an instance of air and a sixth object is an instance of fuel and the fifth object is a part of the constant quantityIX2 and the sixth object is a part of the constant quantityIX2 and the measure of the constant quantityIX2 is the constant quantity and the measure of the other object is the other objectM and the measure of the fifth object is the fifth objectM and the measure of the third object is the third objectM and the measure of the sixth object is the sixth objectM, then the fifth objectM and the sixth objectM is greater than the other objectM and the third objectM
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13886-13898	If a process is an instance of evaporating and a real number an unit of measure(s) is a boiling point of a kind of pure substance and the measure of a kind of pure substance is another real number the unit of measure(s) and the unit of measure is an instance of UnitOfTemperature and the kind of pure substance is a patient of the process, then there exists an object such that the object is a part of the kind of pure substance and the real number is greater than the other real number and liquid is an attribute of the object holds during the beginning of the time of existence of the process and gas is an attribute of the object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2957-2963	If an object is an instance of grease and the measure of the object is 77 fahrenheit degree(s) holds during an entity, then solid is an attribute of the object holds during the entity
( ! [V__IC,V__P,V__E1,V__E2,V__N1] : ((s__instance(V__IC,s__IgnitionCoil) & s__instance(V__P,s__ElectricTransmission) & s__resource(V__P,V__E1) & s__instance(V__E1,s__Electricity) & s__instance(V__E2,s__Electricity) & s__result(V__P,V__E2) & s__instrument(V__P,V__IC) & s__measure(V__E1,s__MeasureFn(s__Volt,V__N1))) => s__approximateValue(V__N1,12)) )	Cars.kif 3126-3136	If an object is an instance of ignition coil and a process is an instance of electric transmission and another object is a resource for the process and the other object is an instance of electricity and an entity is an instance of electricity and the entity is a result of the process and the object is an instrument for the process and the measure of the other object is volt a real number(s), then the approximate value of the real number is 12
( ! [V__ICE,V__NUMBER] : ((s__instance(V__ICE,s__Ice) & s__measure(V__ICE,s__MeasureFn(V__NUMBER,s__CelsiusDegree))) => s__lessThanOrEqualTo(V__NUMBER,0)) )	Mid-level-ontology.kif 8658-8662	If an object is an instance of ice and the measure of the object is a real number celsius degree(s), then the real number is less than or equal to 0
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1946-1964	If a financial transaction is an instance of limit order and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction order for buying for a security and the measure of the security is a physical quantity and a currency measure is a limit price of the financial transaction and an agent asks for another currency measure for the security and the other currency measure is less than or equal to the currency measure, then the agreement is obliged to perform tasks of type the class described by a process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1966-1984	If a financial transaction is an instance of limit order and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction order for selling for a security and the measure of the security is a physical quantity and a currency measure is a limit price of the financial transaction and an agent bids another currency measure for the security and the other currency measure is greater than or equal to the currency measure, then the agreement is obliged to perform tasks of type the class described by a process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

( ! [V__OBJ1,V__OBJ2] : (s__larger(V__OBJ1,V__OBJ2) <=> (! [V__QUANT1,V__QUANT2,V__UNIT] : ((s__measure(V__OBJ1,s__MeasureFn(V__QUANT1,V__UNIT)) & s__measure(V__OBJ2,s__MeasureFn(V__QUANT2,V__UNIT)) & s__instance(V__UNIT,s__UnitOfLength)) => s__greaterThan(V__QUANT1,V__QUANT2)))) )	Merge.kif 7946-7954	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 UnitOfLength, then the real number is greater than the other real number
( ! [V__O,V__A] : (s__measure(V__O,s__MeasureFn(V__A,s__MetricTon)) <=> s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,2205) ,s__PoundMass))) )	Mid-level-ontology.kif 11199-11205	The measure of an object is a real number metric ton(s) if and only if the measure of the object is the real number and 2205 pound mass(s)
( ! [V__OBJ,V__DEG] : (s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree)) <=> s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(60,V__DEG) ,s__ArcMinute))) )	Geography.kif 378-380	The measure of an object is a real number angular degree(s) if and only if the measure of the object is 60 and the real number arc minute(s)
( ! [V__OBJ,V__DEG] : (s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute)) <=> s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(60,V__DEG) ,s__ArcSecond))) )	Geography.kif 397-399	The measure of an object is a real number arc minute(s) if and only if the measure of the object is 60 and the real number arc second(s)
( ! [V__OBJECT,V__NUMBER] : (s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass)) <=> s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,16) ,s__PoundMass))) )	Mid-level-ontology.kif 10939-10944	The measure of an object is a real number Ounce(s) if and only if the measure of the object is the real number and 16 pound mass(s)
( ! [V__REGION,V__FRACTION,V__TOTAL,V__UNIT] : ((s__arableLandArea(V__REGION,V__FRACTION) & s__greaterThanOrEqualTo(V__FRACTION,0) & s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT)) & s__instance(V__UNIT,s__UnitOfArea)) => (? [V__ARABLE] : (s__instance(V__ARABLE,s__ArableLand) & s__geographicSubregion(V__ARABLE,V__REGION) & s__measure(V__ARABLE,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL) ,V__UNIT))))) )	Geography.kif 2037-2047	If a constant quantity is an arable land area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea, 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 constant quantity and the real number the unit of measure(s)
( ! [V__ROOM,V__HOTELUNIT] : ((s__attribute(V__ROOM,s__Oversized) & s__immediateInstance(V__ROOM,V__HOTELUNIT) & s__subclass(V__HOTELUNIT,s__HotelUnit)) => (? [V__NORMAL,V__AREA1,V__AREA2] : (s__immediateInstance(V__NORMAL,V__HOTELUNIT) & s__measure(V__NORMAL,V__AREA1) & s__measure(V__ROOM,V__AREA2) & s__instance(V__AREA1,s__AreaMeasure) & s__instance(V__AREA2,s__AreaMeasure) & s__greaterThan(V__AREA2,V__AREA1)))) )	Hotel.kif 1136-1148	If oversized is an attribute of an object and the object is an immediate instance of a set or class and the set or class is a subclass of hotel unit, then there exist another object, a physical quantity and another physical quantity such that the other object is an immediate instance of the set or class and the measure of the other object is the physical quantity and the measure of the object is the other physical quantity and the physical quantity is an instance of area measure and the other physical quantity is an instance of area measure and the other physical quantity is greater than the physical quantity
( ! [V__X,V__Y] : ((s__attribute(V__X,V__Y) & s__instance(V__Y,s__TemperatureAttribute) & s__instance(V__X,s__Object)) => (? [V__TEMP] : (s__measure(V__X,V__TEMP) & s__instance(V__TEMP,s__TemperatureMeasure) & s__attribute(V__TEMP,V__Y)))) )	Mid-level-ontology.kif 23526-23535	If an entity is an attribute of an object and the entity 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 entity is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11131-11140	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 CompositeUnitOfMeasure, then the statement there exist another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11141-11152	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitMeasure and the unit of measure is an instance of the set or class, then the statement there exist another object, the real numberUANTITY and another unit of measure such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the other unit of measure(s) and the other unit of measure is an instance of the set or class and the real numberUANTITY the other unit of measure(s) is greater than the real number the unit of measure(s) has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11160-11169	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 CompositeUnitOfMeasure, then the statement there exist another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11171-11180	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 CompositeUnitOfMeasure, then the statement there exist another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11102-11111	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 CompositeUnitOfMeasure, then the statement there exist another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11112-11123	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitOfMeasure and the unit of measure is an instance of the set or class, then the statement there exist another object, the real numberUANTITY and another unit of measure such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the other unit of measure(s) and the other unit of measure is an instance of the set or class and the real numberUANTITY the other unit of measure(s) is less than the real number the unit of measure(s) has the modal force of unlikely
( ! [V__G,V__M,V__AN,V__AA,V__PN,V__PA,V__N] : ((s__graphMeasure(V__G,V__M) & s__instance(V__AN,s__GraphNode) & s__instance(V__AA,s__GraphArc) & s__abstractCounterpart(V__AN,V__PN) & s__abstractCounterpart(V__AA,V__PA) & s__arcWeight(V__AA,s__MeasureFn(V__N,V__M))) => s__measure(V__PA,s__MeasureFn(V__N,V__M))) )	Merge.kif 6290-6298	If an unit of measure is the unit in a graph and an abstract is an instance of graph node and a graph arc is an instance of graph arc and the abstract counterpart of a physical is the abstract and the abstract counterpart of an object is the graph arc and the value of the graph arc is a real number the unit of measure(s), then the measure of the object is the real number the unit of measure(s)
( ! [V__BIG,V__CLASS,V__NORMAL] : ((s__immediateInstance(V__BIG,V__CLASS) & s__immediateInstance(V__NORMAL,V__CLASS) & s__attribute(V__BIG,s__Oversized)) => (? [V__BIGSIZE,V__NORMALSIZE] : (s__measure(V__BIG,V__BIGSIZE) & s__measure(V__NORMAL,V__NORMALSIZE) & s__greaterThan(V__BIGSIZE,V__NORMALSIZE)))) )	Hotel.kif 1125-1134	If an object is an immediate instance of an entity and another object is an immediate instance of the entity and oversized is an attribute of the object, then there exist the objectSIZE and the other objectSIZE such that the measure of the object is the objectSIZE and the measure of the other object is the other objectSIZE and the objectSIZE is greater than the other objectSIZE
( ! [V__X,V__CLASS,V__Y] : ((s__immediateInstance(V__X,V__CLASS) & s__immediateInstance(V__Y,V__CLASS) & s__attribute(V__X,s__ColdTemperature) & s__attribute(V__Y,s__HotTemperature)) => (? [V__TEMPX,V__TEMPY] : (s__measure(V__X,V__TEMPX) & s__instance(V__TEMPX,s__TemperatureMeasure) & s__measure(V__Y,V__TEMPY) & s__instance(V__TEMPY,s__TemperatureMeasure) & s__greaterThan(V__TEMPY,V__TEMPX)))) )	Mid-level-ontology.kif 23561-23573	If an object is an immediate instance of an entity and another object is an immediate instance of the entity and cold is an attribute of the object and hot is an attribute of the other object, then there exist a physical quantity and another physical quantity such that the measure of the object is the physical quantity and the physical quantity is an instance of temperature measure and the measure of the other object is the other physical quantity and the other physical quantity is an instance of temperature measure and the other physical quantity is greater than the physical quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14727-14737	If a process is an instance of accelerating and an agent is an agent of the process, then there exist a length measure, another length measure,, , a time duration and another time duration such that the measure of the agent is the length measure per the time duration holds during the beginning of the time of existence of the process and the measure of the agent is the other length measure per the other time duration holds during the end of the time of existence of the process and the other length measure is greater than the length measure or the other time duration is greater than the time duration
( ! [V__ATOM] : ((s__instance(V__ATOM,s__Actinium) & s__instance(V__ATOM,s__Atom)) => s__measure(V__ATOM,s__MeasureFn(227,s__Amu))) )	Mid-level-ontology.kif 26906-26910	If an object is an instance of actinium and the object is an instance of atom, then the measure of the object is 227 amu(s)
( ! [V__ATOM] : ((s__instance(V__ATOM,s__Aluminum) & s__instance(V__ATOM,s__Atom)) => s__measure(V__ATOM,s__MeasureFn(26.9815,s__Amu))) )	Mid-level-ontology.kif 25648-25652	If an object is an instance of aluminum and the object is an instance of atom, then the measure of the object is 26.9815 amu(s)
( ! [V__ATOM] : ((s__instance(V__ATOM,s__Americium) & s__instance(V__ATOM,s__Atom)) => s__measure(V__ATOM,s__MeasureFn(243,s__Amu))) )	Mid-level-ontology.kif 27006-27010	If an object is an instance of americium and the object is an instance of atom, then the measure of the object is 243 amu(s)
( ! [V__ATOM] : ((s__instance(V__ATOM,s__Antimony) & s__instance(V__ATOM,s__Atom)) => s__measure(V__ATOM,s__MeasureFn(121.75,s__Amu))) )	Mid-level-ontology.kif 26244-26248	If an object is an instance of antimony and the object is an instance of atom, then the measure of the object is 121.75 amu(s)
( ! [V__ATOM] : ((s__instance(V__ATOM,s__Argon) & s__instance(V__ATOM,s__Atom)) => s__measure(V__ATOM,s__MeasureFn(39.948,s__Amu))) )	Mid-level-ontology.kif 25726-25730	If an object is an instance of argon and the object is an instance of atom, then the measure of the object is 39.948 amu(s)
( ! [V__ATOM] : ((s__instance(V__ATOM,s__Arsenic) & s__instance(V__ATOM,s__Atom)) => s__measure(V__ATOM,s__MeasureFn(74.922,s__Amu))) )	Mid-level-ontology.kif 25959-25963	If an object is an instance of arsenic and the object is an instance of atom, then the measure of the object is 74.922 amu(s)
( ! [V__ATOM] : ((s__instance(V__ATOM,s__Astatine) & s__instance(V__ATOM,s__Atom)) => s__measure(V__ATOM,s__MeasureFn(210,s__Amu))) )	Mid-level-ontology.kif 26843-26847	If an object is an instance of astatine and the object is an instance of atom, then the measure of the object is 210 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: