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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FullyFormed

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 17316-17317
s__instance(s__FullyFormed,s__DevelopmentalAttribute)

s__instance(s__DevelopmentalAttribute,s__SetOrClass)

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

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


s__contraryAttribute__2(s__NonFullyFormed,s__FullyFormed)

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

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

Merge.kif 17329-17329 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 17319-17325

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