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

KB Term:  Term intersection
English Word: 

Sigma KEE - Increasing
Increasing

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


(subclass Increasing QuantityChange) Merge.kif 11145-11145
(relatedInternalConcept Increasing Putting) Merge.kif 11146-11146
(documentation Increasing EnglishLanguage "Any QuantityChange where the PhysicalQuantity is increased.") Merge.kif 11148-11149
(externalImage Increasing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Monotonicity_example1.png") pictureList.kif 6624-6624

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


(partition QuantityChange Increasing Decreasing) Merge.kif 11125-11125
(subclass Heating Increasing) Merge.kif 11166-11166
(subclass Bloating Increasing) Mid-level-ontology.kif 7541-7541
(subclass Inflammation Increasing) Mid-level-ontology.kif 14001-14001
(subclass Accelerating Increasing) Mid-level-ontology.kif 18757-18757
(subclass Lengthening Increasing) Mid-level-ontology.kif 26087-26087
(subclass Saving Increasing) Mid-level-ontology.kif 26107-26107
(subclass Inflating Increasing) Cars.kif 3465-3465
(subclass Proliferation Increasing) MilitaryProcesses.kif 1455-1455
(termFormat EnglishLanguage Increasing "increasing") english_format.kif 1439-1439

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


(=>
    (and
        (instance ?D Increasing)
        (patient ?D ?OBJ))
    (exists (?N1 ?N2 ?T1 ?T2 ?U)
        (and
            (earlier ?T1 ?T2)
            (holdsDuring ?T1
                (measure ?OBJ
                    (MeasureFn ?N1 ?U)))
            (holdsDuring ?T2
                (measure ?OBJ
                    (MeasureFn ?N2 ?U)))
            (greaterThan ?N1 ?N2))))		 Merge.kif 11151-11164

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


(=>
    (instance ?P Proliferation)
    (exists (?C ?A ?I)
        (and
            (instance ?C Classifying)
            (agent ?C ?A)
            (instance ?I Increasing)
            (destination ?C ?I)
            (subjectiveAttribute ?I Quick ?A))))		 MilitaryProcesses.kif 1459-1467


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners