FullyFormed - Sigma Knowledge base Browser

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

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 18328-18329
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18327-18327	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 18340-18340	Non fully formed is the opposite of fully formed
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18323-18323	Fully formed are all the attributes of developmental attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18341-18341	Non fully formed is an immediate successor attribute of fully formed
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25207-25207	Non fully formed is an immediate successor attribute of fully formed
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25206-25206	Non fully formed is an immediate successor attribute of fully formed
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25205-25205	Non fully formed is an immediate successor attribute of fully formed

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 226-232	If an entity is an instance of human and fully formed is an attribute of the entity holds during a time position, then the entity is an instance of human adult holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18331-18337	If fully formed is an attribute of an agent, then there exists a process such that the process is an instance of growth and the agent experiences the process and non fully formed is an attribute of the agent holds during the beginning of the time of existence of the agent

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	If muslim is an attribute of an agent and equal value of belongings of the agent and a currency measure, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 220-224	If an entity is an instance of human adult holds during a time position, then the developmental form of the entity is fully formed holds during the time position

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