Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuantityChange

Sigma KEE - QuantityChange
QuantityChange(quantity change)bit-by-bit, change_intensity, climate_change, cured, direct, global_climate_change, gradational, gradatory, gradient, gradual, graduated, gravity_gradient, hold_the_line, in_small_stages, louden, piecemeal, sharpened, step-by-step, stepwise, temperature_change, temperature_gradient, vulcanised, vulcanized

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


(documentation QuantityChange ChineseLanguage "这是任何当和 patient 有关的一个 PhysicalQuantity 受到改变时的 InternalChange。") chinese_format.kif 2981-2982
(documentation QuantityChange EnglishLanguage "Any InternalChange where a PhysicalQuantity associated with the patient is altered.") Merge.kif 10909-10910
(documentation QuantityChange JapaneseLanguage "InternalChange は、patient に関する PhysicalQuantity が変更される 。") japanese_format.kif 1741-1742
(partition QuantityChange Increasing Decreasing) Merge.kif 10907-10907 Quantity change is exhaustively partitioned into increasing and decreasing
(subclass QuantityChange InternalChange) Merge.kif 10906-10906 Quantity change is a subclass of internal change

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


(subclass Decreasing QuantityChange) Merge.kif 10969-10969 Decreasing is a subclass of quantity change
(subclass Focusing QuantityChange) Mid-level-ontology.kif 3336-3336 Focusing is a subclass of quantity change
(subclass Increasing QuantityChange) Merge.kif 10927-10927 Increasing is a subclass of quantity change
(termFormat ChineseLanguage QuantityChange "量变") chinese_format.kif 1108-1108
(termFormat EnglishLanguage QuantityChange "quantity change") english_format.kif 1433-1433
(termFormat FrenchLanguage QuantityChange "changement de quantit�") french_format.kif 786-786
(termFormat Hindi QuantityChange "maatraa parivartana") terms-hindi.txt 318-318
(termFormat ItalianLanguage QuantityChange "CambiamentoQuantitativo") terms-it.txt 321-321
(termFormat JapaneseLanguage QuantityChange "数量変更") japanese_format.kif 2470-2470
(termFormat PortugueseLanguage QuantityChange "Modificacao de Quantidade") portuguese_format.kif 738-738
(termFormat cb QuantityChange "kantidang pag-usab") terms-cb.txt 323-323
(termFormat cz QuantityChange "quantity change") terms-cz.txt 357-357
(termFormat ro QuantityChange "schimb cantitativ") relations-ro.kif 807-807
(termFormat tg QuantityChange "maramihang pagbabago") terms-tg.txt 322-322

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


(=>
    (and
        (instance ?D QuantityChange)
        (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)))
            (not
                (equal ?N1 ?N2)))))
Merge.kif 10912-10925


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