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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitwayObstacle

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
s__domain(s__measure__m,2,s__PhysicalQuantity)

Merge.kif 7729-7729
s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 7727-7727
s__instance(s__measure__m,s__BinaryPredicate)

Merge.kif 7726-7726

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
s__subrelation(s__age__m,s__measure__m)

Merge.kif 7739-7739
s__subrelation(s__airTemperature__m,s__measure__m)

Mid-level-ontology.kif 23513-23513
s__subrelation(s__barometricPressure__m,s__measure__m)

Merge.kif 8000-8000
s__subrelation(s__effectiveRange__m,s__measure__m)

Mid-level-ontology.kif 1770-1770
s__subrelation(s__fleetDeadWeightTonnage__m,s__measure__m)

Transportation.kif 952-952
s__subrelation(s__fleetGrossRegisteredTonnage__m,s__measure__m)

Transportation.kif 934-934
s__subrelation(s__linearExtent__m,s__measure__m)

Merge.kif 7752-7752
s__subrelation(s__load__m,s__measure__m)

QoSontology.kif 1818-1818
s__subrelation(s__memorySize__m,s__measure__m)

QoSontology.kif 1639-1639
s__subrelation(s__trackWidth__m,s__measure__m)

Transportation.kif 363-363
s__subrelation(s__vesselDisplacement__m,s__measure__m)

Transportation.kif 2440-2440
s__subrelation(s__visibilityInMeteorology__m,s__measure__m)

Weather.kif 1116-1116
s__subrelation(s__weight__m,s__measure__m)

Merge.kif 7549-7549
s__termFormat(s__ChineseLanguage,s__measure__m,'计量')

chinese_format.kif 608-608
s__termFormat(s__EnglishLanguage,s__measure__m,'measure')

domainEnglishFormat.kif 6530-6530

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
( ∀ [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__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
( ∀ [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
( ∀ [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 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