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 所产生的术语。"')

chinese_format.kif 2632-2634
s__documentation(s__measure__m,s__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 7258-7261
s__domain(s__measure__m,n__1,s__Physical)

Merge.kif 7255-7255 The number 1 argument of measure is an instance of physical
s__domain(s__measure__m,n__2,s__PhysicalQuantity)

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

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 7253-7253 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 613-613
s__subrelation(s__absorbedDose__m,s__measure__m)

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

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

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

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

Mid-level-ontology.kif 1325-1325 effective range is a subrelation of measure
s__subrelation(s__fleetDeadWeightTonnage__m,s__measure__m)

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

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

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

QoSontology.kif 1845-1845 load is a subrelation of measure
s__subrelation(s__loudness__m,s__measure__m)

Mid-level-ontology.kif 12577-12577 loudness is a subrelation of measure
s__subrelation(s__memorySize__m,s__measure__m)

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

Mid-level-ontology.kif 9135-9135 phMeasure is a subrelation of measure
s__subrelation(s__significantWaveHeight__m,s__measure__m)

Weather.kif 1527-1527 significant wave height is a subrelation of measure
s__subrelation(s__trackWidth__m,s__measure__m)

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

Transportation.kif 2533-2533 vessel displacement is a subrelation of measure
s__subrelation(s__weight__m,s__measure__m)

Merge.kif 7040-7040 weight is a subrelation of measure
s__termFormat(s__ChineseLanguage,s__measure__m,'"测量"')

domainEnglishFormat.kif 36648-36648
s__termFormat(s__ChineseLanguage,s__measure__m,'"计量"')

chinese_format.kif 608-608
s__termFormat(s__ChineseTraditionalLanguage,s__measure__m,'"測量"')

domainEnglishFormat.kif 36647-36647
s__termFormat(s__EnglishLanguage,s__measure__m,'"measure"')

domainEnglishFormat.kif 36646-36646

antecedent
-------------------------


( ! [V__O,V__A] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__A,s__RealNumber))
       =>
       (((s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))
           =>
           s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,n__2205)
        ,s__PoundMass)))
     &
     (s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,n__2205)
    ,s__PoundMass))
   =>
   s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))))))
)
)

Mid-level-ontology.kif 12466-12472 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 pound mass(s)
( ! [V__OBJ,V__DEG] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__DEG,s__RealNumber))
       =>
       (((s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))
           =>
           s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
        ,s__ArcMinute)))
     &
     (s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
    ,s__ArcMinute))
   =>
   s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))))))
)
)

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 and the real number arc minute(s)
( ! [V__OBJ,V__DEG] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__DEG,s__RealNumber))
       =>
       (((s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))
           =>
           s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
        ,s__ArcSecond)))
     &
     (s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
    ,s__ArcSecond))
   =>
   s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))))))
)
)

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 and the real number arc second(s)
( ! [V__OBJECT,V__NUMBER] :
   (((s__instance(V__OBJECT,s__Physical) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       (((s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))
           =>
           s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16)
        ,s__PoundMass)))
     &
     (s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16)
    ,s__PoundMass))
   =>
   s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))))))
)
)

Mid-level-ontology.kif 12182-12187 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 pound mass(s)
( ! [V__SOLUTION,V__PH] :
   (((s__instance(V__SOLUTION,s__Solution) &
         s__instance(V__PH,s__RealNumber))
       =>
       (((s__measure(V__SOLUTION,s__MeasureFn(V__PH,s__PHValue))
           =>
           s__potentialOfHydrogen(V__SOLUTION,V__PH))
       &
       (s__potentialOfHydrogen(V__SOLUTION,V__PH)
       =>
       s__measure(V__SOLUTION,s__MeasureFn(V__PH,s__PHValue))))))
)
)

Geography.kif 2510-2513 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__N2,V__S,V__SI,V__U,V__CO,V__N] :
   (((s__instance(V__N2,s__RealNumber) &
         s__subclass(V__S,s__Substance) &
         s__instance(V__S,s__Class) &
         s__instance(V__SI,s__Object) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__CO,s__CorpuscularObject) &
         s__instance(V__N,s__RealNumber))
       =>
       (((s__amount(V__S,V__CO,s__MeasureFn(V__N,V__U))
         &
         s__instance(V__SI,V__S)
       &
       s__measure(V__SI,s__MeasureFn(V__N2,V__U))
   &
   s__part(V__SI,V__CO))
=>
(( ? [V__L] :
   ((s__instance(V__L,s__List) &
       (s__inList(s__MeasureFn(V__N2,V__U)
      ,V__L)
     &
     (V__L = s__AmountsFn(V__S,V__CO))
   &
   (s__MeasureFn(V__N,V__U)
   = s__ListSumFn(V__L))))))))))
)
)

Merge.kif 7340-7356
( ! [V__O,V__LM,V__S,V__VM,V__V1,V__V2,V__L] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__S,s__Object) &
         s__instance(V__V1,s__RealNumber) &
         s__instance(V__V2,s__RealNumber) &
         s__instance(V__L,s__RealNumber))
       =>
       (((s__approximateDiameter(V__O,s__MeasureFn(V__L,V__LM))
         &
         s__sphereRadius(V__S,s__MeasureFn(s__DivisionFn(V__L,n__2)
      ,V__LM))
   &
   s__measure(V__S,s__MeasureFn(V__V1,V__VM))
&
s__measure(V__O,s__MeasureFn(V__V2,V__VM))
&
s__instance(V__LM,s__LengthMeasure) &
s__instance(V__VM,s__VolumeMeasure))
=>
((V__V1 = V__V2)))))
)
)

Mid-level-ontology.kif 16673-16684
( ! [V__FOOD1,V__FOOD2,V__MEAS1,V__U,V__MEAS2,V__CLASS] :
   (((s__instance(V__FOOD1,s__Object) &
         s__instance(V__FOOD2,s__Object) &
         s__instance(V__MEAS1,s__RealNumber) &
         s__instance(V__MEAS2,s__RealNumber) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__attribute(V__FOOD1,s__FamilyStylePortion) &
             s__measure(V__FOOD1,s__MeasureFn(V__MEAS1,V__U))
         &
         ~(s__attribute(V__FOOD2,s__FamilyStylePortion))
         &
         s__measure(V__FOOD2,s__MeasureFn(V__MEAS2,V__U))
     &
     s__instance(V__FOOD1,V__CLASS)
   &
   s__instance(V__FOOD2,V__CLASS)
&
s__instance(V__U,s__UnitOfMeasure))
=>
(s__greaterThan(V__MEAS1,V__MEAS2)))))
)
)

Dining.kif 1118-1129
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1979-2000
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2002-2023
No TPTP formula. May not be expressible in strict first order. Merge.kif 13177-13190
No TPTP formula. May not be expressible in strict first order. Geography.kif 658-668
No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
( ! [V__OBJ,V__MEASURE,V__NUMBER] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__MEASURE,s__RadiationMeasure) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       ((((V__MEASURE = s__MeasureFn(V__NUMBER,s__Rad))
             &
             s__measure(V__OBJ,V__MEASURE))
         =>
         (s__absorbedDose(V__OBJ,V__MEASURE)))))
)
)

MilitaryProcesses.kif 862-866
No TPTP formula. May not be expressible in strict first order. Cars.kif 2884-2902
No TPTP formula. May not be expressible in strict first order. Cars.kif 2567-2583
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29360-29381
No TPTP formula. May not be expressible in strict first order. Merge.kif 13167-13175
No TPTP formula. May not be expressible in strict first order. Cars.kif 4084-4116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9285-9308
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9255-9276
No TPTP formula. May not be expressible in strict first order. Geography.kif 6546-6560
No TPTP formula. May not be expressible in strict first order. Cars.kif 2811-2830
No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1348
No TPTP formula. May not be expressible in strict first order. Merge.kif 13283-13295

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__instance(V__OBJ2,s__Object))
       =>
       (((s__larger(V__OBJ1,V__OBJ2)
           =>
           ( ! [V__QUANT1, V__QUANT2, V__UNIT] :
             (((s__instance(V__QUANT1,s__RealNumber) &
                   s__instance(V__QUANT2,s__RealNumber))
                 =>
                 (((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))))))))
&
(( ! [V__QUANT1, V__QUANT2, V__UNIT] :
   (((s__instance(V__QUANT1,s__RealNumber) &
         s__instance(V__QUANT2,s__RealNumber))
       =>
       (((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)))))))
=>
s__larger(V__OBJ1,V__OBJ2)))))
)
)

Merge.kif 7503-7511 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__Physical) &
         s__instance(V__A,s__RealNumber))
       =>
       (((s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))
           =>
           s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,n__2205)
        ,s__PoundMass)))
     &
     (s__measure(V__O,s__MeasureFn(s__MultiplicationFn(V__A,n__2205)
    ,s__PoundMass))
   =>
   s__measure(V__O,s__MeasureFn(V__A,s__MetricTon))))))
)
)

Mid-level-ontology.kif 12466-12472 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 pound mass(s)
( ! [V__OBJ,V__DEG] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__DEG,s__RealNumber))
       =>
       (((s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))
           =>
           s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
        ,s__ArcMinute)))
     &
     (s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
    ,s__ArcMinute))
   =>
   s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))))))
)
)

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 and the real number arc minute(s)
( ! [V__OBJ,V__DEG] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__DEG,s__RealNumber))
       =>
       (((s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))
           =>
           s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
        ,s__ArcSecond)))
     &
     (s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(n__60,V__DEG)
    ,s__ArcSecond))
   =>
   s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))))))
)
)

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 and the real number arc second(s)
( ! [V__OBJECT,V__NUMBER] :
   (((s__instance(V__OBJECT,s__Physical) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       (((s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))
           =>
           s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16)
        ,s__PoundMass)))
     &
     (s__measure(V__OBJECT,s__MeasureFn(s__DivisionFn(V__NUMBER,n__16)
    ,s__PoundMass))
   =>
   s__measure(V__OBJECT,s__MeasureFn(V__NUMBER,s__OunceMass))))))
)
)

Mid-level-ontology.kif 12182-12187 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 pound mass(s)
( ! [V__REGION,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__arableLandArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__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 2070-2080
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1979-2000
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2002-2023
( ! [V__ROOM,V__HOTELUNIT] :
   (((s__instance(V__ROOM,s__Object) &
         s__instance(V__HOTELUNIT,s__Class))
       =>
       (((s__attribute(V__ROOM,s__Oversized) &
             s__immediateInstance(V__ROOM,V__HOTELUNIT)
           &
           s__subclass(V__HOTELUNIT,s__HotelUnit))
         =>
         (( ? [V__NORMAL, V__AREA1, V__AREA2, V__U] :
             ((s__instance(V__NORMAL,s__Physical) &
                 (s__immediateInstance(V__NORMAL,V__HOTELUNIT)
                 &
                 s__instance(V__U,s__UnitOfArea) &
                 s__measure(V__NORMAL,s__MeasureFn(V__AREA1,V__U))
             &
             s__measure(V__ROOM,s__MeasureFn(V__AREA2,V__U))
         &
         s__instance(V__AREA1,s__AreaMeasure) &
         s__instance(V__AREA2,s__AreaMeasure) &
         s__greaterThan(V__AREA2,V__AREA1)))))))))
)
)

Hotel.kif 1151-1166
( ! [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 24376-24385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12397-12406
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12408-12419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12427-12436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12438-12447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12366-12375
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12377-12388
( ! [V__PA,V__G,V__AN,V__PN,V__M,V__N,V__AA] :
   (((s__instance(V__PA,s__Physical) &
         s__instance(V__G,s__Graph) &
         s__instance(V__PN,s__Physical) &
         s__instance(V__M,s__UnitOfMeasure) &
         s__instance(V__N,s__RealNumber))
       =>
       (((s__graphMeasure(V__G,V__M)
           &
           s__instance(V__AN,s__GraphNode) &
           s__graphPart(V__AN,V__G)
         &
         s__graphPart(V__AA,V__G)
       &
       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 5905-5915
( ! [V__NORMAL,V__BIG,V__CLASS] :
   (((s__instance(V__NORMAL,s__Physical) &
         s__instance(V__BIG,s__Object))
       =>
       (((s__immediateInstance(V__BIG,V__CLASS)
           &
           s__immediateInstance(V__NORMAL,V__CLASS)
         &
         s__attribute(V__BIG,s__Oversized))
       =>
       (( ? [V__BIGSIZE, V__NORMALSIZE, V__U] :
           ((s__instance(V__BIGSIZE,s__RealNumber) &
               s__instance(V__NORMALSIZE,s__RealNumber) &
               (s__instance(V__U,s__UnitOfMeasure) &
                 s__measure(V__BIG,s__MeasureFn(V__BIGSIZE,V__U))
             &
             s__measure(V__NORMAL,s__MeasureFn(V__NORMALSIZE,V__U))
         &
         s__greaterThan(V__BIGSIZE,V__NORMALSIZE)))))))))
)
)

Hotel.kif 1137-1149
( ! [V__X,V__Y,V__CLASS] :
   (((s__instance(V__X,s__Object) &
         s__instance(V__Y,s__Object))
       =>
       (((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, V__UNIT] :
           ((s__measure(V__X,s__MeasureFn(V__TEMPX,V__UNIT))
           &
           s__instance(V__UNIT,s__UnitOfTemperature) &
           s__instance(V__TEMPX,s__TemperatureMeasure) &
           s__measure(V__Y,s__MeasureFn(V__TEMPY,V__UNIT))
       &
       s__instance(V__TEMPY,s__TemperatureMeasure) &
       s__greaterThan(V__TEMPY,V__TEMPX))))))))
)
)

Mid-level-ontology.kif 24411-24426
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15895-15916
( ! [V__ATOM] :
   (((s__instance(V__ATOM,s__Actinium) &
         s__instance(V__ATOM,s__Atom))
       =>
       (s__measure(V__ATOM,s__MeasureFn(n__227,s__Amu))))
   )
)

Mid-level-ontology.kif 27503-27507
( ! [V__ATOM] :
   (((s__instance(V__ATOM,s__Aluminum) &
         s__instance(V__ATOM,s__Atom))
       =>
       (s__measure(V__ATOM,s__MeasureFn(n__26_9815,s__Amu))))
   )
)

Mid-level-ontology.kif 26169-26173
( ! [V__ATOM] :
   (((s__instance(V__ATOM,s__Americium) &
         s__instance(V__ATOM,s__Atom))
       =>
       (s__measure(V__ATOM,s__MeasureFn(n__243,s__Amu))))
   )
)

Mid-level-ontology.kif 27609-27613
( ! [V__ATOM] :
   (((s__instance(V__ATOM,s__Antimony) &
         s__instance(V__ATOM,s__Atom))
       =>
       (s__measure(V__ATOM,s__MeasureFn(n__121_75,s__Amu))))
   )
)

Mid-level-ontology.kif 26803-26807
( ! [V__ATOM] :
   (((s__instance(V__ATOM,s__Argon) &
         s__instance(V__ATOM,s__Atom))
       =>
       (s__measure(V__ATOM,s__MeasureFn(n__39_948,s__Amu))))
   )
)

Mid-level-ontology.kif 26252-26256

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