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_formed, 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 已经过渡发育期。')

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

Merge.kif 18553-18554
s__instance(s__FullyFormed,s__DevelopmentalAttribute)

s__instance(s__DevelopmentalAttribute,s__SetOrClass)

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

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


s__contraryAttribute__2(s__NonFullyFormed,s__FullyFormed)

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

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

Merge.kif 18567-18567 Non fully formed is an immediate successor attribute of fully formed
s__termFormat(s__EnglishLanguage,s__FullyFormed,'fully formed')

domainEnglishFormat.kif 4621-4621 "fully formed" is the printable form of fully formed in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 374-380
No TPTP formula. May not be expressible in strict first order. Merge.kif 18557-18563

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-210
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 367-371


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners