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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4022-4022
No TPTP formula. May not be expressible in strict first order. Merge.kif 16874-16875
No TPTP formula. May not be expressible in strict first order. Merge.kif 16873-16873 Fully formed is an instance of developmental attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16886-16886 Non fully formed is the opposite of fully formed
No TPTP formula. May not be expressible in strict first order. Merge.kif 16869-16869 Fully formed are all the attributes of developmental attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16887-16887 Non fully formed is an immediate successor attribute of fully formed
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25191-25191
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25190-25190
No TPTP formula. May not be expressible in strict first order. 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 16877-16883

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