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

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

(documentation FullyFormed ChineseLanguage "这是指当一个 Organism 已经过渡发育期。")	chinese_format.kif 4022-4022
(documentation FullyFormed EnglishLanguage "The stage of an Organism when it has reached the end of its growth phase.")	Merge.kif 18350-18351
(instance FullyFormed DevelopmentalAttribute)	Merge.kif 18349-18349	FullyFormed is an instance of developmental attribute

appearance as argument number 2

(contraryAttribute NonFullyFormed FullyFormed)	Merge.kif 18362-18362	NonFullyFormed is the opposite of FullyFormed
(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed)	Merge.kif 18345-18345	exhaustiveAttribute developmental attribute, FullyFormed and NonFullyFormed
(successorAttribute NonFullyFormed FullyFormed)	Merge.kif 18363-18363	NonFullyFormed is an immediate successor attribute of FullyFormed
(termFormat ChineseLanguage FullyFormed "完全成型")	domainEnglishFormat.kif 25206-25206	NonFullyFormed is an immediate successor attribute of FullyFormed
(termFormat ChineseTraditionalLanguage FullyFormed "完全成型")	domainEnglishFormat.kif 25205-25205	NonFullyFormed is an immediate successor attribute of FullyFormed
(termFormat EnglishLanguage FullyFormed "fully formed")	domainEnglishFormat.kif 25204-25204	NonFullyFormed is an immediate successor attribute of FullyFormed

antecedent

(=> (and (instance ?ORG Human) (holdsDuring ?TIME (attribute ?ORG FullyFormed))) (holdsDuring ?TIME (instance ?ORG HumanAdult)))	Mid-level-ontology.kif 226-232	If an entity is an instance of human and FullyFormed is an attribute of the entity holds during a time position, then the entity is an instance of HumanAdult holds during the time position
(=> (attribute ?OBJ FullyFormed) (exists (?GROWTH) (and (instance ?GROWTH Growth) (experiencer ?GROWTH ?OBJ) (holdsDuring (BeginFn (WhenFn ?OBJ)) (attribute ?OBJ NonFullyFormed)))))	Merge.kif 18353-18359	If FullyFormed 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 NonFullyFormed is an attribute of the agent holds during the beginning of the time of existence of the agent

consequent

(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 204-223	If Muslim is an attribute of an agent and equal value of belongings of the agent and an integer, 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 FullyFormed 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 UnitOfCurrency and the fifth entity is greater than the integer and 0.025 has the modal force of Obligation
(=> (holdsDuring ?TIME (instance ?ADULT HumanAdult)) (holdsDuring ?TIME (developmentalForm ?ADULT FullyFormed)))	Mid-level-ontology.kif 220-224	If an entity is an instance of HumanAdult holds during a time position, then the developmental form of the entity is FullyFormed 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