TreeView Knowledge Base Browser

appearance as argument number 1

chinese_format.kif 4022-4022

s__documentation(s__FullyFormed,s__EnglishLanguage,'"The stage of an Organism when it has reached the end of its growth phase."')

Merge.kif 17316-17317

Merge.kif 17315-17315

appearance as argument number 2

s__contraryAttribute__2(s__NonFullyFormed,s__FullyFormed)	Merge.kif 17328-17328	Non fully formed is the opposite of fully formed
s__exhaustiveAttribute__3(s__DevelopmentalAttribute,s__FullyFormed,s__NonFullyFormed)	Merge.kif 17311-17311	Fully formed are all the attributes of developmental attribute
s__successorAttribute(s__NonFullyFormed,s__FullyFormed)	Merge.kif 17329-17329	Non fully formed is an immediate successor attribute of fully formed
s__termFormat(s__ChineseLanguage,s__FullyFormed,'"完全成型"')	domainEnglishFormat.kif 25191-25191
s__termFormat(s__ChineseTraditionalLanguage,s__FullyFormed,'"完全成型"')	domainEnglishFormat.kif 25190-25190
s__termFormat(s__EnglishLanguage,s__FullyFormed,'"fully formed"')	domainEnglishFormat.kif 25189-25189

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 222-228	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 17319-17325	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 193-212	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, another entity and a third entity such that the entity is an instance of zakat and a 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 a fifth entity the third entity(s) and the third entity is an instance of UnitOfCurrency 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 216-220	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