NonFullyFormed - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - NonFullyFormed

NonFullyFormed(non fully formed)

SGA_infant, Tyke, abandoned_infant, adolescence, adolescent, baby_bird, babyhood, bairn, blue_baby, bottle-fed, boyish, boylike, breast-fed, brit, britt, buster, calf, changeling, cherub, childhood, childlike, childly, chrysalis, cub, cygnet, eaglet, elver, fledgeling, fledgling, foundling, girlish, green, greenness, immature, immatureness, immaturity, inchoative, infancy, infantile, junior, juvenile, juvenile_person, kiddy, kindergartener, kindergartner, lad, laddie, lambkin, liveborn_infant, low-birth-weight_baby...

appearance as argument number 1

(contraryAttribute NonFullyFormed FullyFormed)	Merge.kif 18257-18257	Non fully formed is the opposite of fully formed
(documentation NonFullyFormed ChineseLanguage "这是指一个 Organism 在到 FullyFormed 以前的阶段。")	chinese_format.kif 4023-4024	Non fully formed is the opposite of fully formed
(documentation NonFullyFormed EnglishLanguage "The stage of an Organism before it is FullyFormed.")	Merge.kif 18259-18260	Non fully formed is the opposite of fully formed
(instance NonFullyFormed DevelopmentalAttribute)	Merge.kif 18256-18256	Non fully formed is an instance of developmental attribute
(successorAttribute NonFullyFormed FullyFormed)	Merge.kif 18258-18258	Non fully formed is an immediate successor attribute of fully formed

appearance as argument number 2

(subAttribute Embryonic NonFullyFormed)	Merge.kif 18293-18293	Embryonic is a subattribute of non fully formed
(subAttribute Larval NonFullyFormed)	Merge.kif 18269-18269	Larval is a subattribute of non fully formed
(subAttribute Puberty NonFullyFormed)	Mid-level-ontology.kif 20937-20937	Puberty is a subattribute of non fully formed
(termFormat ChineseLanguage NonFullyFormed "没有完全形成")	domainEnglishFormat.kif 40809-40809	Puberty is a subattribute of non fully formed
(termFormat ChineseTraditionalLanguage NonFullyFormed "沒有完全形成")	domainEnglishFormat.kif 40808-40808	Puberty is a subattribute of non fully formed
(termFormat EnglishLanguage NonFullyFormed "non fully formed")	domainEnglishFormat.kif 40807-40807	Puberty is a subattribute of non fully formed

appearance as argument number 3

(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed)

Merge.kif 18240-18240

Fully formed are all the attributes of developmental attribute

antecedent

(=>
    (and
        (instance ?CHILD Human)
        (holdsDuring ?TIME
            (attribute ?CHILD NonFullyFormed)))
    (holdsDuring ?TIME
        (instance ?CHILD HumanYouth)))

Mid-level-ontology.kif 279-285

If an entity is an instance of human and non fully formed is an attribute of the entity holds during a time position,
then the entity is an instance of human youth holds during the time position

consequent

(<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed)))	Mid-level-ontology.kif 21298-21302	An object is an instance of calf if and only if the object is an instance of cattle and non fully formed is an attribute of the object
(<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 21275-21279	An object is an instance of lamb if and only if the object is an instance of sheep and non fully formed is an attribute of the object
(=> (attribute ?OBJ FullyFormed) (exists (?GROWTH) (and (instance ?GROWTH Growth) (experiencer ?GROWTH ?OBJ) (holdsDuring (BeginFn (WhenFn ?OBJ)) (attribute ?OBJ NonFullyFormed)))))	Merge.kif 18248-18254	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
(=> (holdsDuring ?TIME (instance ?CHILD HumanChild)) (holdsDuring ?TIME (developmentalForm ?CHILD NonFullyFormed)))	Mid-level-ontology.kif 273-277	If an entity is an instance of human child holds during a time position, then the developmental form of the entity is non fully formed holds during the time position
(=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed))))	Mid-level-ontology.kif 25129-25136	If a transfer is an instance of birth, then there exist an object and the transferABY such that female is an attribute of the object and the transfer originates at the object and the object transferred in the transfer is the transferABY and non fully formed is an attribute of the transferABY
(=> (instance ?K Bunny) (attribute ?K NonFullyFormed))	Mid-level-ontology.kif 21481-21483	If an object is an instance of Bunny, then non fully formed is an attribute of the object
(=> (instance ?K Kitten) (attribute ?K NonFullyFormed))	Mid-level-ontology.kif 21179-21181	If an object is an instance of kitten, then non fully formed is an attribute of the object
(=> (instance ?M MammalCub) (attribute ?M NonFullyFormed))	Mid-level-ontology.kif 31737-31739	If an object is an instance of cub, then non fully formed is an attribute of the object
(=> (instance ?P Puppy) (attribute ?P NonFullyFormed))	Mid-level-ontology.kif 21191-21193	If an object is an instance of puppy, then non fully formed is an attribute of the object
(=> (instance ?RESTORE Reforestation) (exists (?TREE) (and (instance ?TREE BotanicalTree) (attribute ?TREE NonFullyFormed) (patient ?RESTORE ?TREE))))	Geography.kif 2576-2582	If a process is an instance of reforestation, then there exists an object such that the object is an instance of botanical tree and non fully formed is an attribute of the object and the object is a patient of the process

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