  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

Sigma KEE - PhysicalQuantity
 PhysicalQuantity(physical quantity) N, acid_value, breakage, chlorinity, definite_quantity, frontage, haematocytopenia, half-intensity, heat_barrier, hematocytopenia, indefinite_quantity, limit, limit_point, normality, output, point_of_accumulation, precipitation, production, pulmonary_reserve, radius_of_curvature, relative_quantity, reserve, run, scalar, scale_value, skinful, thermal_barrier, top-up, toxicity, vote, voter_turnout, yield

 appearance as argument number 1 s__documentation(s__PhysicalQuantity,s__ChineseLanguage,'"PhysicalQuantity是一种用来衡量建模世界上的 一些可以量度的部分，例如：「地球的直径」（长度固定）和「装满了可变形的固体的应力」（应力的衡量，它是一个有 三个空间坐标的函数）。 PhysicalQuantity 要不是 ConstantQuantity，就是 FunctionQuantity。 ConstantQuantity 的实例需要有一个 UnitOfMeasure，而 FunctionQuantity 的实例是要靠一个 Function， 它把 ConstantQuantity 的实例和其它 ConstantQuantity 的实例联系在一起（举例说， TimeDependentQuantity 属于 FunctionQuantity）。 PhysicalQuantity 这个名字和定义是借用物 理理论，但是 PhysicalQuantity 不一定是指物质上的。 除了长度、时间和速度等这些尺度以外，非物理尺寸如 货币也是可行的。因此，金钱会是 PhysicalQuantity 的实例。 PhysicalQuantity 和纯 Number 的区别在于前者附有一个衡量的尺度。"') chinese_format.kif 1759-1767 s__documentation(s__PhysicalQuantity,s__EnglishLanguage,'"A PhysicalQuantity is a measure of some quantifiable aspect of the modeled world, such as the earths diameter (a constant length) and the stress in a loaded deformable solid (a measure of stress, which is a function of three spatial coordinates). Every PhysicalQuantity is either a ConstantQuantity or FunctionQuantity. Instances of ConstantQuantity are dependent on a UnitOfMeasure, while instances of FunctionQuantity are Functions that map instances of ConstantQuantity to other instances of ConstantQuantity (e.g., a TimeDependentQuantity is a FunctionQuantity). Although the name and definition of PhysicalQuantity is borrowed from physics, a PhysicalQuantity need not be material. Aside from the dimensions of length, time, velocity, etc., nonphysical dimensions such as currency are also possible. Accordingly, amounts of money would be instances of PhysicalQuantity. A PhysicalQuantity is distinguished from a pure Number by the fact that the former is associated with a dimension of measurement."') Merge.kif 1975-1990 s__partition__3(s__PhysicalQuantity,s__ConstantQuantity,s__FunctionQuantity) Merge.kif 1973-1973 Physical quantity is exhaustively partitioned into constant quantity and function quantity s__subclass(s__PhysicalQuantity,s__Quantity) Merge.kif 1972-1972 Physical quantity is a subclass of quantity

 appearance as argument number 2 s__range(s__MeasureFn__m,s__PhysicalQuantity) Merge.kif 6124-6124 The range of measure is an instance of physical quantity s__instance(s__PhysicalQuantity,s__Class) Merge.kif 1992-1992 Constant quantity is a subclass of physical quantity s__instance(s__FunctionQuantity,s__Class) Merge.kif 2047-2047 Function quantity is a subclass of physical quantity s__subclass(s__PerformanceMeasure,s__PhysicalQuantity) FinancialOntology.kif 1599-1599 Performance measure is a subclass of physical quantity s__instance(s__UnitOfMeasure,s__Class) Merge.kif 5972-5972 Unit of measure is a subclass of physical quantity s__termFormat(s__ChineseLanguage,s__PhysicalQuantity,'"物理量"') chinese_format.kif 875-875 s__termFormat(s__EnglishLanguage,s__PhysicalQuantity,'"physical quantity"') english_format.kif 952-952

 appearance as argument number 3 s__domain(s__MagnitudeFn__m,n__1,s__PhysicalQuantity) Merge.kif 6386-6386 The number 1 argument of magnitude is an instance of physical quantity s__domain(s__PerFn__m,n__1,s__PhysicalQuantity) Merge.kif 6422-6422 The number 1 argument of per is an instance of physical quantity s__domain(s__PerFn__m,n__2,s__PhysicalQuantity) Merge.kif 6423-6423 The number 2 argument of per is an instance of physical quantity s__domain(s__UnitFn__m,n__1,s__PhysicalQuantity) Merge.kif 6405-6405 The number 1 argument of UnitFn is an instance of physical quantity s__domain(s__annualElectricityConsumption__m,n__2,s__PhysicalQuantity) Economy.kif 2109-2109 The number 2 argument of annual electricity consumption is an instance of physical quantity s__domain(s__annualElectricityExport__m,n__2,s__PhysicalQuantity) Economy.kif 2153-2153 The number 2 argument of annual electricity export is an instance of physical quantity s__domain(s__annualElectricityImport__m,n__2,s__PhysicalQuantity) Economy.kif 2199-2199 The number 2 argument of annual electricity import is an instance of physical quantity s__domain(s__annualElectricityProduction__m,n__2,s__PhysicalQuantity) Economy.kif 1977-1977 The number 2 argument of annual electricity production is an instance of physical quantity s__domain(s__barometricPressure__m,n__2,s__PhysicalQuantity) Merge.kif 7595-7595 The number 2 argument of barometric pressure is an instance of physical quantity s__domain(s__carrierFrequency__m,n__2,s__PhysicalQuantity) ComputingBrands.kif 1518-1518 The number 2 argument of carrier frequency is an instance of physical quantity s__domain(s__diastolicBloodPressure__m,n__2,s__PhysicalQuantity) Mid-level-ontology.kif 9840-9840 The number 2 argument of diastolic blood pressure is an instance of physical quantity s__domain(s__earthAltitude__m,n__2,s__PhysicalQuantity) Geography.kif 2741-2741 The number 2 argument of earthAltitude is an instance of physical quantity s__domain(s__electricityConsumptionInPeriod__m,n__2,s__PhysicalQuantity) Economy.kif 2099-2099 The number 2 argument of electricity consumption in period is an instance of physical quantity s__domain(s__electricityExportInPeriod__m,n__2,s__PhysicalQuantity) Economy.kif 2142-2142 The number 2 argument of electricity export in period is an instance of physical quantity s__domain(s__electricityImportInPeriod__m,n__2,s__PhysicalQuantity) Economy.kif 2187-2187 The number 2 argument of electricity import in period is an instance of physical quantity s__domain(s__electricityProductionInPeriod__m,n__2,s__PhysicalQuantity) Economy.kif 1967-1967 The number 2 argument of electricity production in period is an instance of physical quantity s__domain(s__fleetGrossRegisteredTonnage__m,n__2,s__PhysicalQuantity) Transportation.kif 986-986 The number 2 argument of fleet gross registered tonnage is an instance of physical quantity s__domain(s__highAltitudeWindVelocity__m,n__2,s__PhysicalQuantity) Weather.kif 252-252 The number 2 argument of high altitude wind velocity is an instance of physical quantity s__domain(s__imageResolution__m,n__2,s__PhysicalQuantity) QoSontology.kif 2007-2007 The number 2 argument of image resolution is an instance of physical quantity s__domain(s__ingredientAmount__m,n__3,s__PhysicalQuantity) Food.kif 52-52 The number 3 argument of amount of ingredient is an instance of physical quantity s__domain(s__lowAltitudeWindSpeed__m,n__2,s__PhysicalQuantity) Weather.kif 215-215 The number 2 argument of low altitude wind speed is an instance of physical quantity s__domain(s__lowAltitudeWindVelocity__m,n__2,s__PhysicalQuantity) Weather.kif 203-203 The number 2 argument of low altitude wind velocity is an instance of physical quantity s__domain(s__measure__m,n__2,s__PhysicalQuantity) Merge.kif 7291-7291 The number 2 argument of measure is an instance of physical quantity s__domain(s__mediumAltitudeWindVelocity__m,n__2,s__PhysicalQuantity) Weather.kif 229-229 The number 2 argument of medium altitude wind velocity is an instance of physical quantity s__domain(s__navigableForShippingTonnage__m,n__2,s__PhysicalQuantity) Transportation.kif 2637-2637 The number 2 argument of navigable for shipping tonnage is an instance of physical quantity Display limited to 25 items. Show next 25 Display limited to 25 items. Show next 25

 antecedent No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30203-30217 If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of physical quantity,then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of a kind of object and the measure of the other entity is the quantity and the cognitive agent possesses the other entity No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30142-30151 If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of physical quantity,then the cognitive agent desires there exists an entity such that the entity is an instance of a kind of object and the measure of the kind of object is the quantity and the cognitive agent possesses the entity ( ! [V__O,V__A,V__C,V__T,V__N] :    (((s__subclass(V__O,s__Object) &          s__instance(V__O,s__Class) &          s__instance(V__A,s__Agent) &          s__instance(V__C,s__CurrencyMeasure) &          s__instance(V__T,s__TimeInterval))        =>        (((s__shortage(V__A,V__O,V__C,V__T,V__N)            &            s__instance(V__N,s__PhysicalQuantity))          =>          (~(( ? [V__B, V__G] :                ((s__instance(V__G,s__Object) &                    (s__instance(V__B,s__Buying) &                      s__during(s__WhenFn(V__B)                   ,V__T)                  &                  s__objectTransferred(V__B,V__G)                &                s__transactionAmount(V__B,V__C)              &              s__agent(V__B,V__A)            &            s__instance(V__G,V__O)          &          s__measure(V__G,V__N)        &        s__possesses(V__A,V__G)))))))))) ) ) Mid-level-ontology.kif 30170-30184 If there is a shortage of a physical quantity of a kind of object for an agent at a currency measure during a time interval and the physical quantity is an instance of physical quantity,then there don't exist a transfer and another object such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the other object and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the other object is an instance of a kind of object and the measure of the other object is the physical quantity and the agent possesses the other object

 consequent ( ! [V__R,V__LIST] :    (((s__instance(V__LIST,s__MeasuringResultList) &          s__inList(V__R,V__LIST))      =>      (s__instance(V__R,s__PhysicalQuantity)))    ) ) Weather.kif 1783-1787 If a list is an instance of measuring result list and an entity is a member of the list,then the entity is an instance of physical quantity ( ! [V__CHART] :    ((s__instance(V__CHART,s__Chart) =>        (( ? [V__QUANTITY] :            ((s__instance(V__QUANTITY,s__PhysicalQuantity) &                s__refers(V__CHART,V__QUANTITY))))))    ) ) Mid-level-ontology.kif 12576-12581 If an entity is an instance of chart,then there exists another entity such that the other entity is an instance of physical quantity and the entity includes a reference to the other entity ( ! [V__G] :    ((s__instance(V__G,s__Chart) =>        (( ? [V__Q] :            ((s__instance(V__Q,s__PhysicalQuantity) &                s__refers(V__G,V__Q))))))    ) ) Mid-level-ontology.kif 12605-12610 If an entity is an instance of chart,then there exists another entity such that the other entity is an instance of physical quantity and the entity includes a reference to the other entity 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