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


KB Term:  Term intersection
English Word: 

Sigma KEE - ConstantQuantity
ConstantQuantity(constant quantity)
more pictures...		4to, 8vo, PB, PiB, Planck's_constant, SPF, amount, amphibrach, amplitude, amplitude_level, anapaest, anapest, armful, augmentation, background_level, bag, bagful, barnful, barrel, barrelful, barrow, barrowful, base, baseball_score, basin, basinful, basket, basketball_score, basketful, bin, binful, birdie, boatload, body_count, bogey, bottle, bottleful, bowl, bowlful, bowling_score, box, boxful, break, break_of_serve, bucket, bucketful, can, canful, cap, capful...

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


(subclass ConstantQuantity PhysicalQuantity) Merge.kif 2155-2155 Constant quantity is a subclass of physical quantity
(documentation ConstantQuantity EnglishLanguage "A ConstantQuantity is a PhysicalQuantity that has a constant value, e.g. 3 Meters and 5 HourDurations. The magnitude (see MagnitudeFn) of every ConstantQuantity is a RealNumber. ConstantQuantity is distinguished from FunctionQuantity, in that each instance of the latter is formed through the mapping of one PhysicalQuantity to another PhysicalQuantity. Each instance of ConstantQuantity is expressed with the BinaryFunction MeasureFn, which takes a Number and a UnitOfMeasure as arguments. For example, 3 Meters is expressed as (MeasureFn 3 Meter). Instances of ConstantQuantity form a partial order (see PartialOrderingRelation) with the lessThan relation, since lessThan is a RelationExtendedToQuantities and lessThan is defined over the RealNumbers. The lessThan relation is not a total order (see TotalOrderingRelation) over the class ConstantQuantity since elements of some subclasses of ConstantQuantity (such as length quantities) are incomparable to elements of other subclasses of ConstantQuantity (such as mass quantities).") Merge.kif 2157-2175 Constant quantity is a subclass of physical quantity
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ Pi_unrolled-720.gif") pictureList.kif 8436-8436 Constant quantity is a subclass of physical quantity
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Ybc7289-bw.jpg") pictureList.kif 9102-9102 Constant quantity is a subclass of physical quantity
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/en/ 1/ 1a/ Different_constants_of_integration.jpg") pictureList.kif 9103-9103 Constant quantity is a subclass of physical quantity
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/en/ c/ c5/ Euler_Mascheroni.jpg") pictureList.kif 9104-9104 Constant quantity is a subclass of physical quantity
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Exponential.png") pictureList.kif 9105-9105 Constant quantity is a subclass of physical quantity
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7d/ LogisticMap_BifurcationDiagram.png") pictureList.kif 9106-9106 Constant quantity is a subclass of physical quantity

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


(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2136-2136 Physical quantity is exhaustively partitioned into constant quantity and function quantity
(subclass TimeMeasure ConstantQuantity) Merge.kif 2177-2177 Time measure is a subclass of constant quantity
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6335-6335 Non composite unit of measure is a subclass of constant quantity
(subclass LengthMeasure ConstantQuantity) Merge.kif 6361-6361 Length measure is a subclass of constant quantity
(subclass MassMeasure ConstantQuantity) Merge.kif 6372-6372 Mass measure is a subclass of constant quantity
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 6408-6408 Temperature measure is a subclass of constant quantity
(subclass CurrencyMeasure ConstantQuantity) Merge.kif 6420-6420 Currency measure is a subclass of constant quantity
(subclass AngleMeasure ConstantQuantity) Merge.kif 6432-6432 Angle measure is a subclass of constant quantity
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 6704-6704 The values returned by interval are subclasses of constant quantity
(subclass InformationMeasure ConstantQuantity) Merge.kif 7549-7549 Information measure is a subclass of constant quantity
(range JankaHardnessFn ConstantQuantity) Mid-level-ontology.kif 10567-10567 The range of Janka Hardness is an instance of constant quantity
(subclass EnergyMeasure ConstantQuantity) HouseholdAppliances.kif 1210-1210 Energy measure is a subclass of constant quantity
(subclass PowerMeasure ConstantQuantity) HouseholdAppliances.kif 1229-1229 Power measure is a subclass of constant quantity
(subclass FrequencyMeasure ConstantQuantity) HouseholdAppliances.kif 1243-1243 Frequency measure is a subclass of constant quantity
(subclass RadiationMeasure ConstantQuantity) MilitaryProcesses.kif 871-871 Radiation measure is a subclass of constant quantity
(range CPUUtilizationFn ConstantQuantity) QoSontology.kif 1422-1422 The range of CPU utilization is an instance of constant quantity
(termFormat EnglishLanguage ConstantQuantity "constant quantity") english_format.kif 958-958 The range of CPU utilization is an instance of constant quantity

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


(domain IntervalFn 1 ConstantQuantity) Merge.kif 6702-6702 The number 1 argument of interval is an instance of constant quantity
(domain IntervalFn 2 ConstantQuantity) Merge.kif 6703-6703 The number 2 argument of interval is an instance of constant quantity
(domain measurementReading 2 ConstantQuantity) Mid-level-ontology.kif 3564-3564 The number 2 argument of measurement reading is an instance of constant quantity
(domain capacity 2 ConstantQuantity) Mid-level-ontology.kif 7770-7770 The number 2 argument of capacity is an instance of constant quantity
(domain loudness 2 ConstantQuantity) Mid-level-ontology.kif 15324-15324 The number 2 argument of loudness is an instance of constant quantity
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 26661-26661 The number 1 argument of distance on path is an instance of constant quantity
(domain arableLandArea 2 ConstantQuantity) Geography.kif 3528-3528 The number 2 argument of arable land area is an instance of constant quantity
(domain permanentCropLandArea 2 ConstantQuantity) Geography.kif 3572-3572 The number 2 argument of permanent crop land area is an instance of constant quantity
(domain otherLandUseArea 2 ConstantQuantity) Geography.kif 3611-3611 The number 2 argument of other land use area is an instance of constant quantity
(domain irrigatedLandArea 2 ConstantQuantity) Geography.kif 3665-3665 The number 2 argument of irrigated land area is an instance of constant quantity
(domain hearingAcuity 2 ConstantQuantity) Medicine.kif 1721-1721 The number 2 argument of visual acuity is an instance of constant quantity
(domain hearingAcuity 3 ConstantQuantity) Medicine.kif 1722-1722 The number 3 argument of visual acuity is an instance of constant quantity
(domain qoSSlack 2 ConstantQuantity) QoSontology.kif 1291-1291 The number 2 argument of qoS slack is an instance of constant quantity
(domain qoSSlack 3 ConstantQuantity) QoSontology.kif 1292-1292 The number 3 argument of qoS slack is an instance of constant quantity
(domain memorySize 2 ConstantQuantity) QoSontology.kif 1787-1787 The number 2 argument of memory size is an instance of constant quantity
(domain hostJitter 2 ConstantQuantity) QoSontology.kif 2254-2254 The number 2 argument of host jitter is an instance of constant quantity
(domain mediumAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 228-228 The number 2 argument of medium altitude wind speed is an instance of constant quantity
(domain highAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 251-251 The number 2 argument of high altitude wind speed is an instance of constant quantity
(domain precipitationAmount 2 ConstantQuantity) Weather.kif 1893-1893 The number 2 argument of precipitation amount is an instance of constant quantity
(domain averagePrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1902-1902 The number 3 argument of average precipitation for period is an instance of constant quantity
(domain totalPrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1911-1911 The number 3 argument of total precipitation for period is an instance of constant quantity

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


(=>
    (and
        (resourceConsumption ?PROC ?QUANT)
        (instance ?QUANT ConstantQuantity)
        (resource ?PROC ?RES)
        (holdsDuring
            (BeginFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?X ?U)))
        (holdsDuring
            (EndFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?Y ?U))))
    (equal ?QUANT
        (MeasureFn
            (SubtractionFn ?X ?Y) ?U)))		 Mid-level-ontology.kif 18901-18917 If X amount as resource for the Process Y, X is an instance of constant quantity, Z is a resource for Y, the measure of Z is W V(s) holds during the beginning of the time of existence of Y, and the measure of Z is U V(s) holds during the end of the time of existence of Y, then equal X and (W and U) V(s)

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


(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance ?QUANT ConstantQuantity))		 Merge.kif 6350-6354 If X is an instance of Y Z(s) and Z is an instance of non composite unit of measure, then X is an instance of constant quantity


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