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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FullyFormed

Sigma KEE - FullyFormed
FullyFormedadult, 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 18503-18503
s__documentation(s__FullyFormed,s__EnglishLanguage,'The stage of an Organism when it has reached the end of its growth phase.')

Merge.kif 18501-18502
s__instance(s__FullyFormed,s__DevelopmentalAttribute)

Merge.kif 18500-18500

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


s__contraryAttribute_2(s__NonFullyFormed,s__FullyFormed)

Merge.kif 18514-18514
s__exhaustiveAttribute_3(s__DevelopmentalAttribute,s__FullyFormed,s__NonFullyFormed)

Merge.kif 18494-18494
s__successorAttribute(s__NonFullyFormed,s__FullyFormed)

Merge.kif 18515-18515
s__termFormat(s__EnglishLanguage,s__FullyFormed,'fully formed')

domainEnglishFormat.kif 4621-4621

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

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