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

(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 16702-16703
(instance FullyFormed DevelopmentalAttribute)	Merge.kif 16701-16701	Fully formed is an instance of developmental attribute

appearance as argument number 2

(contraryAttribute NonFullyFormed FullyFormed)	Merge.kif 16714-16714	Non fully formed is the opposite of fully formed
(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed)	Merge.kif 16697-16697	Fully formed are all the attributes of developmental attribute
(successorAttribute NonFullyFormed FullyFormed)	Merge.kif 16715-16715	Non fully formed is an immediate successor attribute of fully formed
(termFormat ChineseLanguage FullyFormed "完全成型")	domainEnglishFormat.kif 25129-25129	"完全成型" is the printable form of fully formed in ChineseLanguage
(termFormat ChineseTraditionalLanguage FullyFormed "完全成型")	domainEnglishFormat.kif 25128-25128	"完全成型" is the printable form of fully formed in ChineseTraditionalLanguage
(termFormat EnglishLanguage FullyFormed "fully formed")	domainEnglishFormat.kif 25127-25127	"fully formed" is the printable form of fully formed in english language

antecedent

(=> (and (instance ?ORG Human) (holdsDuring ?TIME (attribute ?ORG FullyFormed))) (holdsDuring ?TIME (instance ?ORG HumanAdult)))	Mid-level-ontology.kif 373-379	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
(=> (attribute ?OBJ FullyFormed) (exists (?GROWTH) (and (instance ?GROWTH Growth) (experiencer ?GROWTH ?OBJ) (holdsDuring (BeginFn (WhenFn ?OBJ)) (attribute ?OBJ NonFullyFormed)))))	Merge.kif 16705-16711	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

(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T ?C) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 193-210	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist an entity and another entity such that the entity is an instance of zakat and a third entity is an instance of year and the third entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the third 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 a fourth entity and the fourth entity is greater than the currency measure and 0.025 has the modal force of obligation
(=> (holdsDuring ?TIME (instance ?ADULT HumanAdult)) (holdsDuring ?TIME (developmentalForm ?ADULT FullyFormed)))	Mid-level-ontology.kif 366-370	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners