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

Formal Language: 



KB Term:  Term intersection
English Word: 

  measure

Sigma KEE - measure
measure

appearance as argument number 1
-------------------------


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

Merge.kif 7747-7749
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 7743-7746
s__domain(s__measure__m,1,s__Object)

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

Merge.kif 7742-7742 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 7740-7740 measure is an instance of asymmetric relation
s__instance(s__measure__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 7739-7739 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__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 7752-7752 age is a subrelation of measure
s__subrelation(s__airTemperature__m,s__measure__m)

Mid-level-ontology.kif 23593-23593 air temperature is a subrelation of measure
s__subrelation(s__barometricPressure__m,s__measure__m)

Merge.kif 8017-8017 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 979-979 fleet dead weight tonnage is a subrelation of measure
s__subrelation(s__fleetGrossRegisteredTonnage__m,s__measure__m)

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

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

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

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

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

Transportation.kif 2467-2467 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 7562-7562 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
s__termFormat(s__EnglishLanguage,s__measure__m,'measure')

domainEnglishFormat.kif 6530-6530 "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))))
)

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__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 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__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 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__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))))
)

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__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 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__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)))
)

Mid-level-ontology.kif 15652-15663
( ∀ [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 1119-1127
No TPTP formula. May not be expressible in strict first order. Merge.kif 13830-13843
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__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 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 28798-28819
No TPTP formula. May not be expressible in strict first order. Merge.kif 13820-13828
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 6338-6352
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 13944-13956
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2963
( ∀ [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 3126-3136
( ∀ [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)))
)

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__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 7963-7971 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))))
)

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__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 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__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 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__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))))
)

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__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 2037-2047
( ∀ [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 1136-1148
( ∀ [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))))
)

Mid-level-ontology.kif 23606-23615
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__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 6303-6311
( ∀ [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 1125-1134
( ∀ [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)))))
)

Mid-level-ontology.kif 23641-23653
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__and__ms__instance(V__ATOM,s__Atom))
    s__=>s__measure(V__ATOM,s__MeasureFn(227,s__Amu)))
)

Mid-level-ontology.kif 26986-26990
( ∀ [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)))
)

Mid-level-ontology.kif 25728-25732
( ∀ [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)))
)

Mid-level-ontology.kif 27086-27090
( ∀ [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)))
)

Mid-level-ontology.kif 26324-26328
( ∀ [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)))
)

Mid-level-ontology.kif 25806-25810
( ∀ [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)))
)

Mid-level-ontology.kif 26039-26043
( ∀ [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)))
)

Mid-level-ontology.kif 26923-26927

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)

Show without tree


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