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



KB Term:  Term intersection
English Word: 

Sigma KEE - Growth
Growth(growth)
more pictures...
accrete, afforest, age, ageing, aging, angiogenesis, apposition, auxesis, auxetic, avianise, avianize, bloom, blossom, blossom_forth, blossom_out, bourgeon, brood, bud, burgeon_forth, burst_forth, callus, carnify, carry, catabiosis, chondrify, cohesion, come_of_age, cover, crop, culture, cut, cytogenetic, cytogenetical, degeneration, dehisce, dentition, development, developmental, developmentally, differentiate, domesticate, effloresce, etiolate, exfoliate, feather, fledge, flower, foliate, forest, fructify...

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


(subclass Growth AutonomicProcess) Merge.kif 10553-10553 Growth is a subclass of autonomic process
(documentation Growth EnglishLanguage "The Process of biological development in which an Organism or part of an Organism changes its form or its size.") Merge.kif 10555-10556 Growth is a subclass of autonomic process
(externalImage Growth "http://upload.wikimedia.org/wikipedia/commons/f/f9/ Three_cell_growth_types.png") pictureList.kif 10037-10037 Growth is a subclass of autonomic process
(externalImage Growth "http://upload.wikimedia.org/wikipedia/en/a/ab/Cellcycle_and_growth.png") pictureList.kif 11096-11096 Growth is a subclass of autonomic process
(externalImage Growth "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Aging_faces_manitou2121.jpg") pictureList.kif 11097-11097 Growth is a subclass of autonomic process
(externalImage Growth "http://upload.wikimedia.org/wikipedia/commons/4/4d/ Life_cycle_of_Escherichia_coli.png") pictureList.kif 11098-11098 Growth is a subclass of autonomic process
(externalImage Growth "http://upload.wikimedia.org/wikipedia/commons/6/6b/ Advanced_stages_of_pregnancy.jpg") pictureList.kif 11099-11099 Growth is a subclass of autonomic process
(externalImage Growth "http://upload.wikimedia.org/wikipedia/commons/9/97/ Elefetusus.jpg") pictureList.kif 11100-11100 Growth is a subclass of autonomic process

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


(termFormat EnglishLanguage Growth "growth") english_format.kif 1379-1379

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


(=>
    (attribute ?OBJ FullyFormed)
    (exists (?GROWTH)
        (and
            (instance ?GROWTH Growth)
            (experiencer ?GROWTH ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?OBJ))
                (attribute ?OBJ NonFullyFormed)))))
Merge.kif 18485-18491 If fully formed is an attribute of X, then there exists Y such that Y is an instance of growth, X experiences Y, and non fully formed is an attribute of X holds during the beginning of the time of existence of X
(=>
    (instance ?AGRO Agriculture)
    (exists (?GROWTH)
        (and
            (instance ?GROWTH Growth)
            (subProcess ?GROWTH ?AGRO))))
Mid-level-ontology.kif 23085-23090 If X is an instance of agriculture, then there exists Y such that Y is an instance of growth and Y is a subprocess of X


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