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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Growth

 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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2914-2915
No TPTP formula. May not be expressible in strict first order. Merge.kif 10308-10309
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1663-1664
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11105-11105
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11106-11106
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11107-11107
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11104-11104
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10039-10039
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11103-11103
No TPTP formula. May not be expressible in strict first order. Merge.kif 10306-10306 Growth is a subclass of autonomic process

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1082-1082
No TPTP formula. May not be expressible in strict first order. english_format.kif 1375-1375
No TPTP formula. May not be expressible in strict first order. french_format.kif 760-760
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 292-292
No TPTP formula. May not be expressible in strict first order. terms-it.txt 295-295
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2444-2444
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 712-712
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 297-297
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 331-331
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 781-781
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 296-296

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18144-18150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20843-20848


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