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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MeasureFn

Sigma KEE - MeasureFn
MeasureFn

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


s__documentation(s__MeasureFn__m,s__ChineseLanguage,'这个 BinaryFunction 把一个 RealNumber 和一个 UnitOfMeasure 联系成这个 Number 的单位。 这是用来表达 PhysicalQuantity 的某种分量的实例。 例如:三米可以这样来表示 (MeasureFn 3Meter)。')

Merge.kif 6498-6500
s__documentation(s__MeasureFn__m,s__EnglishLanguage,'This BinaryFunction maps a RealNumber and a UnitOfMeasure to that Number of units. It is used to express `measured instances of PhysicalQuantity. Example: the concept of three meters is represented as (MeasureFn 3 Meter).')

Merge.kif 6493-6497
s__domain(s__MeasureFn__m,1,s__RealNumber)

Merge.kif 6490-6490
s__domain(s__MeasureFn__m,2,s__UnitOfMeasure)

Merge.kif 6491-6491
s__instance(s__BinaryFunction,s__SetOrClass)

Merge.kif 6488-6488
s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 6489-6489
s__range(s__MeasureFn__m,s__PhysicalQuantity)

Merge.kif 6492-6492

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__MeasureFn__m,'%1 %2')

chinese_format.kif 633-633
s__format(s__EnglishLanguage,s__MeasureFn__m,'%1 %2(s)')

english_format.kif 394-394
s__format(s__FrenchLanguage,s__MeasureFn__m,'%1 %2(s)')

french_format.kif 383-383
s__format(s__ItalianLanguage,s__MeasureFn__m,'%1 %2(s')

relations-it.txt 178-178
s__format(s__PortugueseLanguage,s__MeasureFn__m,'%1 %2(s)')

portuguese_format.kif 335-335
s__format(s__cz__m,s__MeasureFn__m,'%1 %2(s)')

relations-cz.txt 392-392
s__format(s__de__m,s__MeasureFn__m,'%1 %2(s)')

relations-de.txt 829-829
s__format(s__hi__m,s__MeasureFn__m,'%1 %2(')

relations-hindi.txt 216-216
s__termFormat(s__ChineseLanguage,s__MeasureFn__m,'计量函数')

chinese_format.kif 634-634
s__termFormat(s__EnglishLanguage,s__MeasureFn__m,'measure')

domainEnglishFormat.kif 6531-6531
s__termFormat(s__tg__m,s__MeasureFn__m,'tungkulin ng sukatan')

relations-tg.txt 353-353

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


( ! [V__LD,V__S] :
   ((s__instance(V__LD,s__LiquidDrop) &
       s__approximateDiameter(V__LD,s__MeasureFn(V__S,s__Micrometer))
     &
     s__lessThan(500,V__S))
<=>
s__instance(V__LD,s__Droplet))
)

Geography.kif 6905-6911
( ! [V__PM,V__P,V__S] :
   ((s__instance(V__PM,s__ParticulateMatter) &
       s__part(V__P,V__PM)
     &
     s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
   &
   s__greaterThan(10,V__S)
&
s__greaterThan(V__S,2.5))
<=>
(? [V__PM10] :
(s__instance(V__PM10,s__CoarseParticulateMatter) &
s__part(V__PM10,V__PM))))
)

Geography.kif 6821-6832
( ! [V__PM,V__P,V__S] :
   ((s__instance(V__PM,s__ParticulateMatter) &
       s__part(V__P,V__PM)
     &
     s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
   &
   s__greaterThanOrEqualTo(V__S,2.5))
<=>
(? [V__PM25] :
(s__instance(V__PM25,s__FineParticulateMatter) &
   s__part(V__PM25,V__PM))))
)

Geography.kif 6850-6860
( ! [V__UNIT,V__AMOUNT] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__AMOUNT = s__MeasureFn(1,s__SquareUnitFn(V__UNIT))))
<=>
(V__AMOUNT = s__MultiplicationFn(s__MeasureFn(1,V__UNIT)
,s__MeasureFn(1,V__UNIT))))
)

Geography.kif 3748-3752
( ! [V__OBJ1,V__OBJ2] :
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(0,s__AngularDegree))
   <=>
   s__orientation(V__OBJ1,V__OBJ2,s__North))
)

Geography.kif 3556-3558
( ! [V__OBJ1,V__OBJ2] :
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(135,s__AngularDegree))
   <=>
   s__orientation(V__OBJ1,V__OBJ2,s__Southeast))
)

Geography.kif 3580-3582
( ! [V__OBJ1,V__OBJ2] :
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(180,s__AngularDegree))
   <=>
   s__orientation(V__OBJ1,V__OBJ2,s__South))
)

Geography.kif 3564-3566
( ! [V__OBJ1,V__OBJ2] :
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(225,s__AngularDegree))
   <=>
   s__orientation(V__OBJ1,V__OBJ2,s__Southwest))
)

Geography.kif 3584-3586
( ! [V__OBJ1,V__OBJ2] :
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(270,s__AngularDegree))
   <=>
   s__orientation(V__OBJ1,V__OBJ2,s__West))
)

Geography.kif 3568-3570
( ! [V__OBJ1,V__OBJ2] :
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(315,s__AngularDegree))
   <=>
   s__orientation(V__OBJ1,V__OBJ2,s__Northwest))
)

Geography.kif 3588-3590
( ! [V__OBJ1,V__OBJ2] :
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(360,s__AngularDegree))
   <=>
   s__orientation(V__OBJ1,V__OBJ2,s__North))
)

Geography.kif 3572-3574
( ! [V__OBJ1,V__OBJ2] :
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(45,s__AngularDegree))
   <=>
   s__orientation(V__OBJ1,V__OBJ2,s__Northeast))
)

Geography.kif 3576-3578
( ! [V__OBJ1,V__OBJ2] :
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(90,s__AngularDegree))
   <=>
   s__orientation(V__OBJ1,V__OBJ2,s__East))
)

Geography.kif 3560-3562
( ! [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
( ! [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
( ! [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
( ! [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
( ! [V__SOLUTION,V__PH] :
   (s__measure(V__SOLUTION,s__MeasureFn(V__PH,s__PHValue))
   <=>
   s__potentialOfHydrogen(V__SOLUTION,V__PH))
)

Geography.kif 2477-2480
( ! [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__REGION,V__FRACTION,V__TOTAL,V__UNIT,V__AMOUNT] :
   ((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__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))
=>
s__arableLandArea(V__REGION,V__AMOUNT))
)

Geography.kif 2028-2035
( ! [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
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
( ! [V__Account,V__Date,V__Balance,V__Overdraft] :
   ((s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar))
     &
     s__lessThan(V__Balance,0)
   &
   (V__Overdraft = s__SubtractionFn(0,V__Balance)))
=>
s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__Date))
)

FinancialOntology.kif 733-738
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11131-11140

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


( ! [V__UNIT,V__AMOUNT] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__AMOUNT = s__MeasureFn(1,s__SquareUnitFn(V__UNIT))))
<=>
(V__AMOUNT = s__MultiplicationFn(s__MeasureFn(1,V__UNIT)
,s__MeasureFn(1,V__UNIT))))
)

Geography.kif 3748-3752
No TPTP formula. May not be expressible in strict first order. Weather.kif 1086-1096
( ! [V__WATER,V__AREA,V__DIST] :
   (s__attribute(V__WATER,s__OpenSea) <=>
     (! [V__LAND] :
       (s__instance(V__AREA,s__SaltWaterArea) &
         (~ s__instance(V__WATER,s__LandlockedWater))
         &
         s__distance(V__LAND,V__WATER,V__DIST)
       &
       s__greaterThan(V__DIST,s__MeasureFn(5,s__NauticalMile)))))
)

Geography.kif 4409-4416
( ! [V__E,V__R,V__MIN,V__M,V__MAX] :
   (s__compressionRatio(V__E,V__R)
   <=>
   (s__minCylinderVolume(V__E,s__MeasureFn(V__MIN,V__M))
&
s__maxCylinderVolume(V__E,s__MeasureFn(V__MAX,V__M))
&
(V__R = s__DivisionFn(V__MIN,V__MAX))))
)

Cars.kif 1917-1922
No TPTP formula. May not be expressible in strict first order. People.kif 253-277
No TPTP formula. May not be expressible in strict first order. People.kif 411-442
No TPTP formula. May not be expressible in strict first order. People.kif 323-353
No TPTP formula. May not be expressible in strict first order. People.kif 367-398
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16281-16289
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16295-16306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16312-16323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16329-16340
No TPTP formula. May not be expressible in strict first order. Geography.kif 655-661
( ! [V__Account,V__Date,V__Balance,V__Overdraft] :
   ((s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar))
     &
     s__lessThan(V__Balance,0)
   &
   (V__Overdraft = s__SubtractionFn(0,V__Balance)))
=>
s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__Date))
)

FinancialOntology.kif 733-738
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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


s__boilingPoint(s__Actinium,s__MeasureFn(3470,s__KelvinDegree))

Mid-level-ontology.kif 27431-27431
s__boilingPoint(s__Aluminum,s__MeasureFn(2740,s__KelvinDegree))

Mid-level-ontology.kif 27279-27279
s__boilingPoint(s__Americium,s__MeasureFn(2880,s__KelvinDegree))

Mid-level-ontology.kif 27443-27443
s__boilingPoint(s__Antimony,s__MeasureFn(2023,s__KelvinDegree))

Mid-level-ontology.kif 27355-27355
s__boilingPoint(s__Argon,s__MeasureFn(87.29,s__KelvinDegree))

Mid-level-ontology.kif 27289-27289
s__boilingPoint(s__Arsenic,s__MeasureFn(886,s__KelvinDegree))

Mid-level-ontology.kif 27319-27319
s__boilingPoint(s__Astatine,s__MeasureFn(610,s__KelvinDegree))

Mid-level-ontology.kif 27423-27423
s__boilingPoint(s__Barium,s__MeasureFn(1913,s__KelvinDegree))

Mid-level-ontology.kif 27365-27365
s__boilingPoint(s__Beryllium,s__MeasureFn(3243,s__KelvinDegree))

Mid-level-ontology.kif 27261-27261
s__boilingPoint(s__Bismuth,s__MeasureFn(1833,s__KelvinDegree))

Mid-level-ontology.kif 27419-27419
s__boilingPoint(s__Boron,s__MeasureFn(2823,s__KelvinDegree))

Mid-level-ontology.kif 27263-27263
s__boilingPoint(s__Bromine,s__MeasureFn(331.93,s__KelvinDegree))

Mid-level-ontology.kif 27323-27323
s__boilingPoint(s__Cadmium,s__MeasureFn(1038,s__KelvinDegree))

Mid-level-ontology.kif 27349-27349
s__boilingPoint(s__Caesium,s__MeasureFn(963,s__KelvinDegree))

Mid-level-ontology.kif 27363-27363
s__boilingPoint(s__Calcium,s__MeasureFn(1760,s__KelvinDegree))

Mid-level-ontology.kif 27293-27293
s__boilingPoint(s__Carbon,s__MeasureFn(5100,s__KelvinDegree))

Mid-level-ontology.kif 27265-27265
s__boilingPoint(s__Cerium,s__MeasureFn(3530,s__KelvinDegree))

Mid-level-ontology.kif 27369-27369
s__boilingPoint(s__Chlorine,s__MeasureFn(238.55,s__KelvinDegree))

Mid-level-ontology.kif 27287-27287
s__boilingPoint(s__Chromium,s__MeasureFn(2755,s__KelvinDegree))

Mid-level-ontology.kif 27301-27301
s__boilingPoint(s__Cobalt,s__MeasureFn(3143,s__KelvinDegree))

Mid-level-ontology.kif 27307-27307
s__boilingPoint(s__Copper,s__MeasureFn(2868,s__KelvinDegree))

Mid-level-ontology.kif 27311-27311
s__boilingPoint(s__Dysprosium,s__MeasureFn(2608,s__KelvinDegree))

Mid-level-ontology.kif 27385-27385
s__boilingPoint(s__Erbium,s__MeasureFn(2783,s__KelvinDegree))

Mid-level-ontology.kif 27389-27389
s__boilingPoint(s__Europium,s__MeasureFn(1870,s__KelvinDegree))

Mid-level-ontology.kif 27379-27379
s__boilingPoint(s__Fluorine,s__MeasureFn(85.01,s__KelvinDegree))

Mid-level-ontology.kif 27271-27271

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