Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PhysicalQuantity

 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
-------------------------


(subclass PhysicalQuantity Quantity) Merge.kif 2135-2135 Physical quantity is a subclass of quantity
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2136-2136 Physical quantity is exhaustively partitioned into constant quantity and function quantity
(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 2138-2153 Physical quantity is exhaustively partitioned into constant quantity and function quantity

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


(subclass ConstantQuantity PhysicalQuantity) Merge.kif 2155-2155 Constant quantity is a subclass of physical quantity
(subclass FunctionQuantity PhysicalQuantity) Merge.kif 2210-2210 Function quantity is a subclass of physical quantity
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 6317-6317 Unit of measure is a subclass of physical quantity
(range MeasureFn PhysicalQuantity) Merge.kif 6469-6469 The range of measure is an instance of physical quantity
(subclass PerformanceMeasure PhysicalQuantity) FinancialOntology.kif 1689-1689 Performance measure is a subclass of physical quantity
(termFormat EnglishLanguage PhysicalQuantity "physical quantity") english_format.kif 956-956 Performance measure is a subclass of physical quantity

appearance as argument number 3
-------------------------


(domain UnitFn 1 PhysicalQuantity) Merge.kif 6730-6730 The number 1 argument of unit fn is an instance of physical quantity
(domain PerFn 1 PhysicalQuantity) Merge.kif 6749-6749 The number 1 argument of per is an instance of physical quantity
(domain PerFn 2 PhysicalQuantity) Merge.kif 6750-6750 The number 2 argument of per is an instance of physical quantity
(domain measure 2 PhysicalQuantity) Merge.kif 7640-7640 The number 2 argument of measure is an instance of physical quantity
(domain barometricPressure 2 PhysicalQuantity) Merge.kif 7991-7991 The number 2 argument of barometric pressure is an instance of physical quantity
(domain surfaceWindSpeed 2 PhysicalQuantity) Merge.kif 11514-11514 The number 2 argument of surface wind speed is an instance of physical quantity
(domain systolicBloodPressure 2 PhysicalQuantity) Mid-level-ontology.kif 11882-11882 The number 2 argument of systolic blood pressure is an instance of physical quantity
(domain diastolicBloodPressure 2 PhysicalQuantity) Mid-level-ontology.kif 11894-11894 The number 2 argument of diastolic blood pressure is an instance of physical quantity
(domain resourceConsumption 2 PhysicalQuantity) Mid-level-ontology.kif 18898-18898 The number 2 argument of resource consumption is an instance of physical quantity
(domain voltageMeasure 2 PhysicalQuantity) Mid-level-ontology.kif 28926-28926 The number 2 argument of voltage measure is an instance of physical quantity
(domain resonantFrequency 2 PhysicalQuantity) Cars.kif 768-768 The number 2 argument of resonant frequency 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 electricityProductionInPeriod 2 PhysicalQuantity) Economy.kif 2198-2198 The number 2 argument of electricity production in period is an instance of physical quantity
(domain annualElectricityProduction 2 PhysicalQuantity) Economy.kif 2208-2208 The number 2 argument of annual electricity production is an instance of physical quantity
(domain electricityConsumptionInPeriod 2 PhysicalQuantity) Economy.kif 2330-2330 The number 2 argument of electricity consumption in period is an instance of physical quantity
(domain annualElectricityConsumption 2 PhysicalQuantity) Economy.kif 2340-2340 The number 2 argument of annual electricity consumption is an instance of physical quantity
(domain electricityExportInPeriod 2 PhysicalQuantity) Economy.kif 2373-2373 The number 2 argument of electricity export in period is an instance of physical quantity
(domain annualElectricityExport 2 PhysicalQuantity) Economy.kif 2384-2384 The number 2 argument of annual electricity export is an instance of physical quantity
(domain electricityImportInPeriod 2 PhysicalQuantity) Economy.kif 2418-2418 The number 2 argument of electricity import in period is an instance of physical quantity
(domain annualElectricityImport 2 PhysicalQuantity) Economy.kif 2430-2430 The number 2 argument of annual electricity import is an instance of physical quantity
(domain ingredientAmount 3 PhysicalQuantity) Food.kif 1644-1644 The number 3 argument of amount of ingredient is an instance of physical quantity
(domain totalBiomass 2 PhysicalQuantity) Geography.kif 4057-4057 The number 2 argument of total biomass is an instance of physical quantity
(domain earthAltitude 2 PhysicalQuantity) Geography.kif 4211-4211 The number 2 argument of earth altitude is an instance of physical quantity
(domain imageResolution 2 PhysicalQuantity) QoSontology.kif 2125-2125 The number 2 argument of image resolution 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

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 6739-6745 If X is an instance of physical quantity, Y is an instance of unit of measure, and equal X and Z Y(s), then equal the unit of X and Y
(=>
    (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 33520-33529 If there is a shortage of X of Y for Z at W during V and X is an instance of physical quantity, then Z desires there exists U such that U is an instance of Y, the measure of U is X, and Z possesses U
(=>
    (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 33548-33562 If there is a shortage of X of Y for Z at W during V and X is an instance of physical quantity, then All of the following hold: (1) there don't exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of Y (8) the measure of T is X (9) Z possesses T
(=>
    (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 33581-33595 If there is a shortage of X of Y for Z at W during V and X is an instance of physical quantity, then All of the following hold: (1) Z desires there exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of Y (8) the measure of T is X (9) Z possesses T

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


(=>
    (instance ?CHART Chart)
    (exists (?QUANTITY)
        (and
            (instance ?QUANTITY PhysicalQuantity)
            (refers ?CHART ?QUANTITY))))		 Mid-level-ontology.kif 14808-14813 If X is an instance of chart, then there exists Y such that Y is an instance of physical quantity and X includes a reference to Y
(=>
    (instance ?G Chart)
    (exists (?Q)
        (and
            (instance ?Q PhysicalQuantity)
            (refers ?G ?Q))))		 Mid-level-ontology.kif 14837-14842 If X is an instance of chart, then there exists Y such that Y is an instance of physical quantity and X includes a reference to Y
(=>
    (and
        (instance ?LIST MeasuringResultList)
        (inList ?R ?LIST))
    (instance ?R PhysicalQuantity))		 Weather.kif 3070-3074 If X is an instance of measuring result list and Y is a member of X, then Y is an instance of physical quantity


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners