QuantityChange - Sigma Knowledge base Browser

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	Increasing is a subclass of quantity change
(termFormat EnglishLanguage QuantityChange "quantity change")	english_format.kif 1433-1433	Increasing is a subclass of quantity change
(termFormat FrenchLanguage QuantityChange "changement de quantit�")	french_format.kif 786-786	Increasing is a subclass of quantity change
(termFormat Hindi QuantityChange "maatraa parivartana")	terms-hindi.txt 318-318	Increasing is a subclass of quantity change
(termFormat ItalianLanguage QuantityChange "CambiamentoQuantitativo")	terms-it.txt 321-321	Increasing is a subclass of quantity change
(termFormat JapaneseLanguage QuantityChange "数量変更")	japanese_format.kif 2470-2470	Increasing is a subclass of quantity change
(termFormat PortugueseLanguage QuantityChange "Modificacao de Quantidade")	portuguese_format.kif 738-738	Increasing is a subclass of quantity change
(termFormat cb QuantityChange "kantidang pag-usab")	terms-cb.txt 323-323	Increasing is a subclass of quantity change
(termFormat cz QuantityChange "quantity change")	terms-cz.txt 357-357	Increasing is a subclass of quantity change
(termFormat ro QuantityChange "schimb cantitativ")	relations-ro.kif 807-807	Increasing is a subclass of quantity change
(termFormat tg QuantityChange "maramihang pagbabago")	terms-tg.txt 322-322	Increasing is a subclass of quantity change

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

If a process is an instance of quantity change and an entity is a patient of the process,
then there exist another entity, a third entity,, , a time interval,, , another time interval and a fourth entity such that the time interval happens earlier than the other time interval and the measure of the entity is the other entity the fourth entity(s) holds during the time interval and the measure of the entity is the third entity the fourth entity(s) holds during the other time interval and the other entity is not equal to the third entity

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: