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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FullyFormed
FullyFormed(fully formed)adult, adulthood, armchair_liberal, big, brachycephalic, dolichocephalic, full-blown, full-fledged, full-grown, fully_fledged, fully_grown, grown, grownup, imago, man, manhood, mature, matured, matureness, maturity, minimalist, mossback, neocon, neoconservative, pledgee, pledger, post-maturity, post-menopause, ripe, ripely, ripeness

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


s__documentation(s__FullyFormed,s__ChineseLanguage,'"这是指当一个 Organism 已经过渡发育期。"')

chinese_format.kif 4022-4022
s__documentation(s__FullyFormed,s__EnglishLanguage,'"The stage of an Organism when it has reached the end of its growth phase."')

Merge.kif 17421-17422
s__instance(s__DevelopmentalAttribute,s__Class)

s__instance(s__FullyFormed,s__DevelopmentalAttribute)

Merge.kif 17420-17420 Fully formed is an instance of developmental attribute

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


s__contraryAttribute__2(s__NonFullyFormed,s__FullyFormed)

Merge.kif 17433-17433 Non fully formed is the opposite of fully formed
s__exhaustiveAttribute__3(s__DevelopmentalAttribute,s__FullyFormed,s__NonFullyFormed)

Merge.kif 17416-17416 Fully formed are all the attributes of developmental attribute
s__successorAttribute(s__NonFullyFormed,s__FullyFormed)

Merge.kif 17434-17434 Non fully formed is an immediate successor attribute of fully formed
s__termFormat(s__ChineseLanguage,s__FullyFormed,'"完全成型"')

domainEnglishFormat.kif 25191-25191
s__termFormat(s__ChineseTraditionalLanguage,s__FullyFormed,'"完全成型"')

domainEnglishFormat.kif 25190-25190
s__termFormat(s__EnglishLanguage,s__FullyFormed,'"fully formed"')

domainEnglishFormat.kif 25189-25189

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 222-228
No TPTP formula. May not be expressible in strict first order. Merge.kif 17424-17430

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 216-220


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