![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Growth
|
|
|
| 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 |