Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - measure
measure

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
( ! [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
No TPTP formula. May not be expressible in strict first order. Merge.kif 13772-13785
No TPTP formula. May not be expressible in strict first order. Geography.kif 655-661
No TPTP formula. May not be expressible in strict first order. Cars.kif 2571-2584
( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 2865-2879
No TPTP formula. May not be expressible in strict first order. Cars.kif 2553-2569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28718-28739
No TPTP formula. May not be expressible in strict first order. Merge.kif 13762-13770
No TPTP formula. May not be expressible in strict first order. Cars.kif 4047-4077
No TPTP formula. May not be expressible in strict first order. Geography.kif 6339-6353
No TPTP formula. May not be expressible in strict first order. Cars.kif 2792-2811
No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1343
No TPTP formula. May not be expressible in strict first order. Merge.kif 13886-13898
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2963
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1946-1964
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1966-1984

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
( ! [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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11131-11140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11141-11152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11160-11169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11171-11180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11102-11111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11112-11123
( ! [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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14727-14737
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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

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