measure


Sigma KEE  measure
appearance as argument number 1


s__documentation(s__measure__m,s__ChineseLanguage,'这是一个非常概括的 Predicate， 它用于断言一个特定的 Object 是由一种特定的 PhysicalQuantity 来量度。一般来说，这个 Predicate 的第二个参数会是由 Function MeasureFn 所产生的术语。')

Merge.kif 77477749 

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 77437746 

s__domain(s__measure__m,1,s__Object)

Merge.kif 77417741 
The number 1 argument of measure is an instance of object 
s__domain(s__measure__m,2,s__PhysicalQuantity)

Merge.kif 77427742 
The number 2 argument of measure is an instance of physical quantity 
s__instance(s__measure__m,s__AsymmetricRelation)
s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 77407740 
measure is an instance of asymmetric relation 
s__instance(s__measure__m,s__BinaryPredicate)
s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 77397739 
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 607607 

s__format(s__EnglishLanguage,s__measure__m,'the measure of %1 is %n %2')

english_format.kif 379379 

s__subrelation(s__absorbedDose__m,s__measure__m)

MilitaryProcesses.kif 857857 
absorbed dose is a subrelation of measure 
s__subrelation(s__age__m,s__measure__m)

Merge.kif 77527752 
age is a subrelation of measure 
s__subrelation(s__airTemperature__m,s__measure__m)

Midlevelontology.kif 2359323593 
air temperature is a subrelation of measure 
s__subrelation(s__barometricPressure__m,s__measure__m)

Merge.kif 80178017 
barometric pressure is a subrelation of measure 
s__subrelation(s__effectiveRange__m,s__measure__m)

Midlevelontology.kif 17701770 
effective range is a subrelation of measure 
s__subrelation(s__fleetDeadWeightTonnage__m,s__measure__m)

Transportation.kif 979979 
fleet dead weight tonnage is a subrelation of measure 
s__subrelation(s__fleetGrossRegisteredTonnage__m,s__measure__m)

Transportation.kif 961961 
fleet gross registered tonnage is a subrelation of measure 
s__subrelation(s__linearExtent__m,s__measure__m)

Merge.kif 77657765 
linearExtent is a subrelation of measure 
s__subrelation(s__load__m,s__measure__m)

QoSontology.kif 18341834 
load is a subrelation of measure 
s__subrelation(s__memorySize__m,s__measure__m)

QoSontology.kif 16551655 
memory size is a subrelation of measure 
s__subrelation(s__trackWidth__m,s__measure__m)

Transportation.kif 390390 
track width is a subrelation of measure 
s__subrelation(s__vesselDisplacement__m,s__measure__m)

Transportation.kif 24672467 
vessel displacement is a subrelation of measure 
s__subrelation(s__visibilityInMeteorology__m,s__measure__m)

Weather.kif 11161116 
visibility in meteorology is a subrelation of measure 
s__subrelation(s__weight__m,s__measure__m)

Merge.kif 75627562 
weight is a subrelation of measure 
s__termFormat(s__ChineseLanguage,s__measure__m,'计量')

chinese_format.kif 608608 
"计量" is the printable form of measure in ChineseLanguage 
s__termFormat(s__EnglishLanguage,s__measure__m,'measure')

domainEnglishFormat.kif 65306530 
"measure" is the printable form of measure in english language 
antecedent


( ∀ [V__O,V__A]
((s__instance(V__O,s__Object)s__and__ms__instance(V__A,s__RealNumber))
s__=>(s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))
s__<⇒
s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,2205)
,s__PoundMass))))
)

Midlevelontology.kif 1119911205 
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__instance(V__OBJ,s__Object)s__and__ms__instance(V__DEG,s__RealNumber))
s__=>(s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))
s__<⇒
s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(60,V__DEG)
,s__ArcMinute))))
)

Geography.kif 378380 
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__instance(V__OBJ,s__Object)s__and__ms__instance(V__DEG,s__RealNumber))
s__=>(s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))
s__<⇒
s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(60,V__DEG)
,s__ArcSecond))))
)

Geography.kif 397399 
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__instance(V__OBJECT,s__Object)s__and__ms__instance(V__NUMBER,s__RealNumber))
s__=>(s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))
s__<⇒
s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,16)
,s__PoundMass))))
)

Midlevelontology.kif 1093910944 
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__instance(V__SOLUTION,s__Solution)s__and__ms__instance(V__PH,s__RealNumber))
s__=>(s__measure(V__SOLUTION,s__MeasureFn(V__PH,s__PHValue))
s__<⇒
s__potentialOfHydrogen(V__SOLUTION,V__PH)))
)

Geography.kif 24772480 
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__S,V__V1,V__V2,V__L,V__LM,V__VM]
((s__instance(V__O,s__SelfConnectedObject)s__and__ms__instance(V__S,s__Object)s__and__ms__instance(V__V1,s__RealNumber)s__and__ms__instance(V__V2,s__RealNumber)s__and__ms__instance(V__L,s__RealNumber))
s__=>((s__approximateDiameter(V__O,s__MeasureFn(V__L,V__LM))
s__and__ms__sphereRadius(V__S,s__MeasureFn(s__DivisionFn(V__L,2)
,V__LM))
s__and__ms__measure(V__S,s__MeasureFn(V__V1,V__VM))
s__and__ms__measure(V__O,s__MeasureFn(V__V2,V__VM))
s__and__ms__instance(V__LM,s__LengthMeasure)s__and__ms__instance(V__VM,s__VolumeMeasure))
s__=>(V__V1s__equal__mV__V2)))
)

Midlevelontology.kif 1565215663 

( ∀ [V__FOOD1,V__FOOD2,V__MEAS1,V__MEAS2,V__CLASS]
((s__instance(V__FOOD1,s__Object)s__and__ms__instance(V__FOOD2,s__Object)s__and__ms__instance(V__MEAS1,s__PhysicalQuantity)s__and__ms__instance(V__MEAS2,s__PhysicalQuantity)s__and__ms__instance(V__CLASS,s__SetOrClass))
s__=>((s__attribute(V__FOOD1,s__FamilyStylePortion)s__and__ms__measure(V__FOOD1,V__MEAS1)
s__and__m(s__not__ms__attribute(V__FOOD2,s__FamilyStylePortion))
s__and__ms__measure(V__FOOD2,V__MEAS2)
s__and__ms__instance(V__FOOD1,V__CLASS)
s__and__ms__instance(V__FOOD2,V__CLASS))
s__=>s__greaterThan(V__MEAS1,V__MEAS2)))
)

Dining.kif 11191127 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1383013843 

No TPTP formula. May not be expressible in strict first order. 
Geography.kif 655661 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 25712584 

( ∀ [V__OBJ,V__MEASURE,V__NUMBER]
((s__instance(V__OBJ,s__Object)s__and__ms__instance(V__MEASURE,s__RadiationMeasure)s__and__ms__instance(V__NUMBER,s__RealNumber))
s__=>(((V__MEASUREs__equal__ms__MeasureFn(V__NUMBER,s__Rad))
s__and__ms__measure(V__OBJ,V__MEASURE))
s__=>s__absorbedDose(V__OBJ,V__MEASURE)))
)

MilitaryProcesses.kif 851855 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 28652879 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 25532569 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2879828819 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1382013828 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 40474077 

No TPTP formula. May not be expressible in strict first order. 
Geography.kif 63386352 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 27922811 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 13141343 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1394413956 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 29572963 

( ∀ [V__N1,V__IC,V__P,V__E1,V__E2]
((s__instance(V__N1,s__RealNumber)s__and__ms__instance(V__N1,s__UnitOfMeasure))
s__=>((s__instance(V__IC,s__IgnitionCoil)s__and__ms__instance(V__P,s__ElectricTransmission)s__and__ms__resource(V__P,V__E1)
s__and__ms__instance(V__E1,s__Electricity)s__and__ms__instance(V__E2,s__Electricity)s__and__ms__result(V__P,V__E2)
s__and__ms__instrument(V__P,V__IC)
s__and__ms__measure(V__E1,s__MeasureFn(s__Volt,V__N1)))
s__=>s__approximateValue(V__N1,12)))
)

Cars.kif 31263136 

( ∀ [V__NUMBER,V__ICE]
(s__instance(V__NUMBER,s__RealNumber)s__=>((s__instance(V__ICE,s__Ice)s__and__ms__measure(V__ICE,s__MeasureFn(V__NUMBER,s__CelsiusDegree)))
s__=>s__lessThanOrEqualTo(V__NUMBER,0)))
)

Midlevelontology.kif 86588662 

No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 19461964 

No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 19661984 

 Display limited to 25 items. Show next 25 
 Display limited to 25 items. Show next 25 
consequent


( ∀ [V__OBJ1,V__OBJ2]
((s__instance(V__OBJ1,s__Object)s__and__ms__instance(V__OBJ2,s__Object))
s__=>(s__larger(V__OBJ1,V__OBJ2)
s__<⇒
(s__forall__m[V__QUANT1,V__QUANT2,V__UNIT]
((s__instance(V__QUANT1,s__RealNumber)s__and__ms__instance(V__QUANT2,s__RealNumber))
s__=>((s__measure(V__OBJ1,s__MeasureFn(V__QUANT1,V__UNIT))
s__and__ms__measure(V__OBJ2,s__MeasureFn(V__QUANT2,V__UNIT))
s__and__ms__instance(V__UNIT,s__UnitOfLength))
s__=>s__greaterThan(V__QUANT1,V__QUANT2))))))
)

Merge.kif 79637971 
An object is larger than another object if and only if for all a real number, another real number and an unit of measure 
( ∀ [V__O,V__A]
((s__instance(V__O,s__Object)s__and__ms__instance(V__A,s__RealNumber))
s__=>(s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))
s__<⇒
s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,2205)
,s__PoundMass))))
)

Midlevelontology.kif 1119911205 
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__instance(V__OBJ,s__Object)s__and__ms__instance(V__DEG,s__RealNumber))
s__=>(s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))
s__<⇒
s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(60,V__DEG)
,s__ArcMinute))))
)

Geography.kif 378380 
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__instance(V__OBJ,s__Object)s__and__ms__instance(V__DEG,s__RealNumber))
s__=>(s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))
s__<⇒
s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(60,V__DEG)
,s__ArcSecond))))
)

Geography.kif 397399 
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__instance(V__OBJECT,s__Object)s__and__ms__instance(V__NUMBER,s__RealNumber))
s__=>(s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))
s__<⇒
s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,16)
,s__PoundMass))))
)

Midlevelontology.kif 1093910944 
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__TOTAL,V__FRACTION,V__UNIT]
((s__instance(V__REGION,s__GeographicArea)s__and__ms__instance(V__TOTAL,s__RealNumber)s__and__ms__instance(V__FRACTION,s__ConstantQuantity))
s__=>((s__arableLandArea(V__REGION,V__FRACTION)
s__and__ms__greaterThanOrEqualTo(V__FRACTION,0)
s__and__ms__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
s__and__ms__instance(V__UNIT,s__UnitOfArea))
s__=>(s__exists__m[V__ARABLE]
(s__instance(V__ARABLE,s__ArableLand)s__and__ms__geographicSubregion(V__ARABLE,V__REGION)
s__and__ms__measure(V__ARABLE,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT))))))
)

Geography.kif 20372047 

( ∀ [V__ROOM,V__HOTELUNIT]
((s__instance(V__ROOM,s__Object)s__and__ms__instance(V__HOTELUNIT,s__SetOrClass))
s__=>((s__attribute(V__ROOM,s__Oversized)s__and__ms__immediateInstance(V__ROOM,V__HOTELUNIT)
s__and__ms__subclass(V__HOTELUNIT,s__HotelUnit))
s__=>(s__exists__m[V__NORMAL,V__AREA1,V__AREA2]
(s__instance(V__NORMAL,s__Object)s__and__m(s__immediateInstance(V__NORMAL,V__HOTELUNIT)
s__and__ms__measure(V__NORMAL,V__AREA1)
s__and__ms__measure(V__ROOM,V__AREA2)
s__and__ms__instance(V__AREA1,s__AreaMeasure)s__and__ms__instance(V__AREA2,s__AreaMeasure)s__and__ms__greaterThan(V__AREA2,V__AREA1))))))
)

Hotel.kif 11361148 

( ∀ [V__X,V__Y]
((s__attribute(V__X,V__Y)
s__and__ms__instance(V__Y,s__TemperatureAttribute)s__and__ms__instance(V__X,s__Object))
s__=>(s__exists__m[V__TEMP]
(s__measure(V__X,V__TEMP)
s__and__ms__instance(V__TEMP,s__TemperatureMeasure)s__and__ms__attribute(V__TEMP,V__Y))))
)

Midlevelontology.kif 2360623615 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1113111140 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1114111152 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1116011169 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1117111180 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1110211111 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1111211123 

( ∀ [V__PA,V__G,V__PN,V__M,V__N,V__AN,V__AA]
((s__instance(V__PA,s__Object)s__and__ms__instance(V__G,s__Graph)s__and__ms__instance(V__PN,s__Physical)s__and__ms__instance(V__M,s__UnitOfMeasure)s__and__ms__instance(V__N,s__RealNumber))
s__=>((s__graphMeasure(V__G,V__M)
s__and__ms__instance(V__AN,s__GraphNode)s__and__ms__instance(V__AA,s__GraphArc)s__and__ms__abstractCounterpart(V__AN,V__PN)
s__and__ms__abstractCounterpart(V__AA,V__PA)
s__and__ms__arcWeight(V__AA,s__MeasureFn(V__N,V__M)))
s__=>s__measure(V__PA,s__MeasureFn(V__N,V__M))))
)

Merge.kif 63036311 

( ∀ [V__NORMAL,V__BIG,V__CLASS]
((s__instance(V__NORMAL,s__Object)s__and__ms__instance(V__BIG,s__Object))
s__=>((s__immediateInstance(V__BIG,V__CLASS)
s__and__ms__immediateInstance(V__NORMAL,V__CLASS)
s__and__ms__attribute(V__BIG,s__Oversized))
s__=>(s__exists__m[V__BIGSIZE,V__NORMALSIZE]
(s__instance(V__BIGSIZE,s__PhysicalQuantity)s__and__ms__instance(V__NORMALSIZE,s__PhysicalQuantity)s__and__m(s__measure(V__BIG,V__BIGSIZE)
s__and__ms__measure(V__NORMAL,V__NORMALSIZE)
s__and__ms__greaterThan(V__BIGSIZE,V__NORMALSIZE))))))
)

Hotel.kif 11251134 

( ∀ [V__X,V__Y,V__CLASS]
((s__instance(V__X,s__Object)s__and__ms__instance(V__Y,s__Object))
s__=>((s__immediateInstance(V__X,V__CLASS)
s__and__ms__immediateInstance(V__Y,V__CLASS)
s__and__ms__attribute(V__X,s__ColdTemperature)s__and__ms__attribute(V__Y,s__HotTemperature))
s__=>(s__exists__m[V__TEMPX,V__TEMPY]
(s__measure(V__X,V__TEMPX)
s__and__ms__instance(V__TEMPX,s__TemperatureMeasure)s__and__ms__measure(V__Y,V__TEMPY)
s__and__ms__instance(V__TEMPY,s__TemperatureMeasure)s__and__ms__greaterThan(V__TEMPY,V__TEMPX)))))
)

Midlevelontology.kif 2364123653 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1472714737 

( ∀ [V__ATOM]
((s__instance(V__ATOM,s__Actinium)s__and__ms__instance(V__ATOM,s__Atom))
s__=>s__measure(V__ATOM,s__MeasureFn(227,s__Amu)))
)

Midlevelontology.kif 2698626990 

( ∀ [V__ATOM]
((s__instance(V__ATOM,s__Aluminum)s__and__ms__instance(V__ATOM,s__Atom))
s__=>s__measure(V__ATOM,s__MeasureFn(26.9815,s__Amu)))
)

Midlevelontology.kif 2572825732 

( ∀ [V__ATOM]
((s__instance(V__ATOM,s__Americium)s__and__ms__instance(V__ATOM,s__Atom))
s__=>s__measure(V__ATOM,s__MeasureFn(243,s__Amu)))
)

Midlevelontology.kif 2708627090 

( ∀ [V__ATOM]
((s__instance(V__ATOM,s__Antimony)s__and__ms__instance(V__ATOM,s__Atom))
s__=>s__measure(V__ATOM,s__MeasureFn(121.75,s__Amu)))
)

Midlevelontology.kif 2632426328 

( ∀ [V__ATOM]
((s__instance(V__ATOM,s__Argon)s__and__ms__instance(V__ATOM,s__Atom))
s__=>s__measure(V__ATOM,s__MeasureFn(39.948,s__Amu)))
)

Midlevelontology.kif 2580625810 

( ∀ [V__ATOM]
((s__instance(V__ATOM,s__Arsenic)s__and__ms__instance(V__ATOM,s__Atom))
s__=>s__measure(V__ATOM,s__MeasureFn(74.922,s__Amu)))
)

Midlevelontology.kif 2603926043 

( ∀ [V__ATOM]
((s__instance(V__ATOM,s__Astatine)s__and__ms__instance(V__ATOM,s__Atom))
s__=>s__measure(V__ATOM,s__MeasureFn(210,s__Amu)))
)

Midlevelontology.kif 2692326927 

 Display limited to 25 items. Show next 25 
 Display limited to 25 items. Show next 25 

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