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


KB Term:  Term intersection
English Word: 

Sigma KEE - resourceConsumption
resourceConsumption

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


(instance resourceConsumption CaseRole) Mid-level-ontology.kif 18887-18887 resource consumption is an instance of case role
(documentation resourceConsumption EnglishLanguage "(resourceConsumption ?PROCESS ?QUANT) means that ?PROCESS consumes an amount of the resource specified. The CaseRole resource is used in conjunction with resourceConsumption to specify the kind of resource used in the process. If the second argument is a ConstantQuantity.it will be the total consumption during the Process. If the second argument is a FuntionQuantity,it would be a rate of consumption over the time of the process.For example, in (equal ?QUANT (PerFn(MeasureFn ?Q ?U) (MeasureFn ?DC ?DU))), ?Q = 0.1, ?U = USGallon, ?DC = 1, ?DU = MinuteDuration.") Mid-level-ontology.kif 18888-18894 resource consumption is an instance of case role
(domain resourceConsumption 1 Process) Mid-level-ontology.kif 18897-18897 The number 1 argument of resource consumption is an instance of process
(domain resourceConsumption 2 PhysicalQuantity) Mid-level-ontology.kif 18898-18898 The number 2 argument of resource consumption is an instance of physical quantity
(relatedInternalConcept resourceConsumption resource) Mid-level-ontology.kif 18899-18899 resource consumption is internally related to resource

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


(termFormat EnglishLanguage resourceConsumption "resource consumption") Mid-level-ontology.kif 18895-18895
(format EnglishLanguage resourceConsumption "%2 amount as resource for the Process %1") Mid-level-ontology.kif 18896-18896

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)
(=>
    (and
        (resourceConsumption ?PROC ?QUANT)
        (instance ?QUANT FunctionQuantity)
        (resource ?PROC ?RES)
        (equal ?QUANT
            (PerFn
                (MeasureFn ?Q ?U)
                (MeasureFn ?DC ?DU)))
        (duration
            (WhenFn ?PROC)
            (MeasureFn ?T ?DU))
        (holdsDuring
            (BeginFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?X ?U)))
        (holdsDuring
            (EndFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?Y ?U))))
    (equal ?Y
        (MeasureFn
            (SubtractionFn ?X
                (MultiplicationFn ?T
                    (DivisionFn ?Q ?DC))) ?U)))		 Mid-level-ontology.kif 18957-18983 If All of the following hold: (1) X amount as resource for the Process Y (2) X is an instance of function quantity (3) Z is a resource for Y (4) equal X and the per of W V(s) and U T(s) (5) duration of the time of existence of Y is S T(s) (6) the measure of Z is R V(s) holds during the beginning of the time of existence of Y (7) the measure of Z is Q V(s) holds during the end of the time of existence of Y, then equal Q and (R and S and W and U) V(s)


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