TreeView Knowledge Base Browser

appearance as argument number 1

(documentation PhysicalQuantity ChineseLanguage "PhysicalQuantity是一种用来衡量建模世界上的一些可以量度的部分，例如：「地球的直径」（长度固定）和「装满了可变形的固体的应力」（应力的衡量，它是一个有三个空间坐标的函数）。 PhysicalQuantity 要不是 ConstantQuantity，就是 FunctionQuantity。 ConstantQuantity 的实例需要有一个 UnitOfMeasure，而 FunctionQuantity 的实例是要靠一个 Function，它把 ConstantQuantity 的实例和其它 ConstantQuantity 的实例联系在一起（举例说， TimeDependentQuantity 属于 FunctionQuantity）。 PhysicalQuantity 这个名字和定义是借用物理理论，但是 PhysicalQuantity 不一定是指物质上的。除了长度、时间和速度等这些尺度以外，非物理尺寸如货币也是可行的。因此，金钱会是 PhysicalQuantity 的实例。 PhysicalQuantity 和纯 Number 的区别在于前者附有一个衡量的尺度。")	chinese_format.kif 1759-1767
(documentation PhysicalQuantity EnglishLanguage "A PhysicalQuantity is a measure of some quantifiable aspect of the modeled world, such as 'the earth's 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 2028-2043
(documentation PhysicalQuantity JapaneseLanguage "PhysicalQuantity は、「地球の直径」 (一定の長さ)や、「荷を積んだ変形可能なソリッドの応力」(3つの空間座標の関数であるストレスの尺度) のように、モデル化された世界の定量化可能な側面の尺度である。すべての PhysicalQuantity は ConstantQuantity または FunctionQuantity のいずれかです。 ConstantQuantity のインスタンスは UOM に依存し、それに対し、FunctionQuantity のインスタンスは、ConstantQuantity のインスタンスを ConstantQuantity の他のインスタンスにマップする Functions である。（例： TimeDependentQuantityは FunctionQuantityQ である)。　PhysicalQuantity の名前と定義は物理学から借りているが、PhysicalQuantity は材料である必要はない。　長さ、時間、速度などの寸法のほかに、通貨などの非物理的な寸法も可能である。　それに応じて、金額は、PhysicalQuantity のインスタンスになる。 PhysicalQuantity は、前者が寸法測定に関連付けられているという事実によって純粋な Number と区別される。")	japanese_format.kif 368-378
(partition PhysicalQuantity ConstantQuantity FunctionQuantity)	Merge.kif 2026-2026	Physical quantity is exhaustively partitioned into constant quantity and function quantity
(subclass PhysicalQuantity Quantity)	Merge.kif 2025-2025	Physical quantity is a subclass of quantity

appearance as argument number 2

(range MeasureFn PhysicalQuantity)	Merge.kif 6350-6350	The range of measure is an instance of physical quantity
(subclass ConstantQuantity PhysicalQuantity)	Merge.kif 2045-2045	Constant quantity is a subclass of physical quantity
(subclass FunctionQuantity PhysicalQuantity)	Merge.kif 2100-2100	Function quantity is a subclass of physical quantity
(subclass PerformanceMeasure PhysicalQuantity)	FinancialOntology.kif 1644-1644	Performance measure is a subclass of physical quantity
(subclass UnitOfMeasure PhysicalQuantity)	Merge.kif 6198-6198	Unit of measure is a subclass of physical quantity
(termFormat ChineseLanguage PhysicalQuantity "物理量")	chinese_format.kif 875-875
(termFormat EnglishLanguage PhysicalQuantity "physical quantity")	english_format.kif 952-952
(termFormat FrenchLanguage PhysicalQuantity "quantit� physique")	french_format.kif 551-551
(termFormat Hindi PhysicalQuantity "bhOtika parimaaNa")	terms-hindi.txt 81-81
(termFormat ItalianLanguage PhysicalQuantity "Quantit�Fisica")	terms-it.txt 84-84
(termFormat JapaneseLanguage PhysicalQuantity "物理量")	japanese_format.kif 2236-2236
(termFormat PortugueseLanguage PhysicalQuantity "Quantidade Fisica")	portuguese_format.kif 503-503
(termFormat cz PhysicalQuantity "physical quantity")	terms-cz.txt 118-118
(termFormat ro PhysicalQuantity "cantitate fizicã")	relations-ro.kif 572-572
(termFormat tg PhysicalQuantity "dami ng materyal")	terms-tg.txt 85-85

appearance as argument number 3

(domain PerFn 1 PhysicalQuantity)	Merge.kif 6630-6630	The number 1 argument of per is an instance of physical quantity
(domain PerFn 2 PhysicalQuantity)	Merge.kif 6631-6631	The number 2 argument of per is an instance of physical quantity
(domain UnitFn 1 PhysicalQuantity)	Merge.kif 6611-6611	The number 1 argument of unit fn is an instance of physical quantity
(domain annualElectricityConsumption 2 PhysicalQuantity)	Economy.kif 2105-2105	The number 2 argument of annual electricity consumption is an instance of physical quantity
(domain annualElectricityExport 2 PhysicalQuantity)	Economy.kif 2149-2149	The number 2 argument of annual electricity export is an instance of physical quantity
(domain annualElectricityImport 2 PhysicalQuantity)	Economy.kif 2195-2195	The number 2 argument of annual electricity import is an instance of physical quantity
(domain annualElectricityProduction 2 PhysicalQuantity)	Economy.kif 1973-1973	The number 2 argument of annual electricity production is an instance of physical quantity
(domain barometricPressure 2 PhysicalQuantity)	Merge.kif 7817-7817	The number 2 argument of barometric pressure is an instance of physical quantity
(domain carrierFrequency 2 PhysicalQuantity)	ComputingBrands.kif 1549-1549	The number 2 argument of carrier frequency is an instance of physical quantity
(domain diastolicBloodPressure 2 PhysicalQuantity)	Mid-level-ontology.kif 10413-10413	The number 2 argument of diastolic blood pressure is an instance of physical quantity
(domain earthAltitude 2 PhysicalQuantity)	Geography.kif 2779-2779	The number 2 argument of earth altitude is an instance of physical quantity
(domain electricityConsumptionInPeriod 2 PhysicalQuantity)	Economy.kif 2095-2095	The number 2 argument of electricity consumption in period is an instance of physical quantity
(domain electricityExportInPeriod 2 PhysicalQuantity)	Economy.kif 2138-2138	The number 2 argument of electricity export in period is an instance of physical quantity
(domain electricityImportInPeriod 2 PhysicalQuantity)	Economy.kif 2183-2183	The number 2 argument of electricity import in period is an instance of physical quantity
(domain electricityProductionInPeriod 2 PhysicalQuantity)	Economy.kif 1963-1963	The number 2 argument of electricity production in period is an instance of physical quantity
(domain fleetGrossRegisteredTonnage 2 PhysicalQuantity)	Transportation.kif 986-986	The number 2 argument of fleet gross registered tonnage is an instance of physical quantity
(domain highAltitudeWindVelocity 2 PhysicalQuantity)	Weather.kif 252-252	The number 2 argument of high altitude wind velocity is an instance of physical quantity
(domain imageResolution 2 PhysicalQuantity)	QoSontology.kif 2001-2001	The number 2 argument of image resolution is an instance of physical quantity
(domain ingredientAmount 3 PhysicalQuantity)	Food.kif 1658-1658	The number 3 argument of amount of ingredient is an instance of physical quantity
(domain lowAltitudeWindSpeed 2 PhysicalQuantity)	Weather.kif 215-215	The number 2 argument of low altitude wind speed is an instance of physical quantity
(domain lowAltitudeWindVelocity 2 PhysicalQuantity)	Weather.kif 203-203	The number 2 argument of low altitude wind velocity is an instance of physical quantity
(domain measure 2 PhysicalQuantity)	Merge.kif 7503-7503	The number 2 argument of measure is an instance of physical quantity
(domain mediumAltitudeWindVelocity 2 PhysicalQuantity)	Weather.kif 229-229	The number 2 argument of medium altitude wind velocity is an instance of physical quantity
(domain navigableForShippingTonnage 2 PhysicalQuantity)	Transportation.kif 2630-2630	The number 2 argument of navigable for shipping tonnage is an instance of physical quantity
(domain resonantFrequency 2 PhysicalQuantity)	Cars.kif 829-829	The number 2 argument of resonant frequency is an instance of physical quantity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?QUANT PhysicalQuantity) (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (UnitFn ?QUANT) ?UNIT))	Merge.kif 6620-6626	If a physical quantity is an instance of physical quantity and an unit of measure is an instance of unit of measure and the physical quantity is equal to a real number the unit of measure(s), then the unit of the physical quantity is equal to the unit of measure
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30890-30904	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
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (desires ?A (exists (?G) (and (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30829-30838	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 entity is the quantity and the cognitive agent possesses the entity
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30857-30871	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

(=> (and (instance ?LIST MeasuringResultList) (inList ?R ?LIST)) (instance ?R PhysicalQuantity))	Weather.kif 1784-1788	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
(=> (instance ?CHART Chart) (exists (?QUANTITY) (and (instance ?QUANTITY PhysicalQuantity) (refers ?CHART ?QUANTITY))))	Mid-level-ontology.kif 13216-13221	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
(=> (instance ?G Chart) (exists (?Q) (and (instance ?Q PhysicalQuantity) (refers ?G ?Q))))	Mid-level-ontology.kif 13245-13250	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 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: