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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Increasing

appearance as argument number 1

(documentation Increasing ChineseLanguage "这是当 PhysicalQuantity 在增加时的任何 QuantityChange。") chinese_format.kif 2983-2984
(documentation Increasing EnglishLanguage "Any QuantityChange where the PhysicalQuantity is increased.") Merge.kif 10881-10882
(documentation Increasing JapaneseLanguage "PhysicalQuantity が増加した任意の QuantityChange。") japanese_format.kif 1743-1744
(externalImage Increasing " 3/ 32/ Monotonicity_example1.png") pictureList.kif 6625-6625
(relatedInternalConcept Increasing Putting) Merge.kif 10879-10879 增加 是 内部相关
(subclass Increasing QuantityChange) Merge.kif 10878-10878 增加量变subclass

appearance as argument number 2

(partition QuantityChange Increasing Decreasing) Merge.kif 10873-10873 量变 详尽无遗地 partition增加减少
(subclass Accelerating Increasing) Mid-level-ontology.kif 17111-17111 加速增加subclass
(subclass Bloating Increasing) Mid-level-ontology.kif 6425-6425 腹胀增加subclass
(subclass Heating Increasing) Merge.kif 10898-10898 加热增加subclass
(subclass Inflammation Increasing) Mid-level-ontology.kif 12358-12358 Inflammation增加subclass
(subclass Inflating Increasing) Cars.kif 3601-3601 Inflating增加subclass
(subclass Lengthening Increasing) Mid-level-ontology.kif 23751-23751 延长增加subclass
(subclass Proliferation Increasing) MilitaryProcesses.kif 1433-1433 增殖增加subclass
(subclass Saving Increasing) Mid-level-ontology.kif 23771-23771 保存增加subclass
(termFormat ChineseLanguage Increasing "增加") chinese_format.kif 1109-1109
(termFormat EnglishLanguage Increasing "increasing") english_format.kif 1435-1435
(termFormat FrenchLanguage Increasing "augmenter") french_format.kif 787-787
(termFormat Hindi Increasing "badhottarii") terms-hindi.txt 319-319
(termFormat ItalianLanguage Increasing "Aumento") terms-it.txt 322-322
(termFormat JapaneseLanguage Increasing "増加") japanese_format.kif 2471-2471
(termFormat PortugueseLanguage Increasing "Aumentar") portuguese_format.kif 739-739
(termFormat cb Increasing "pagdugang") terms-cb.txt 324-324
(termFormat cz Increasing "increasing") terms-cz.txt 358-358
(termFormat ro Increasing "creºtere") relations-ro.kif 808-808
(termFormat tg Increasing "tumataas") terms-tg.txt 323-323


        (instance ?INCREASE Increasing)
        (patient ?INCREASE ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
                    (WhenFn ?INCREASE))
                    (MeasureFn ?OBJ ?UNIT) ?QUANT1))
                    (WhenFn ?INCREASE))
                    (MeasureFn ?OBJ ?UNIT) ?QUANT2))
            (greaterThan ?QUANT2 ?QUANT1))))
Merge.kif 10884-10896


    (instance ?P Proliferation)
    (exists (?C ?A ?I)
            (instance ?C Classifying)
            (agent ?C ?A)
            (instance ?I Increasing)
            (destination ?C ?I)
            (subjectiveAttribute ?I Quick ?A))))
MilitaryProcesses.kif 1437-1445

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