Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  NonFullyFormed

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


(instance NonFullyFormed DevelopmentalAttribute) Merge.kif 18493-18493 Non fully formed is an instance of developmental attribute
(contraryAttribute NonFullyFormed FullyFormed) Merge.kif 18494-18494 Non fully formed is the opposite of fully formed
(successorAttribute NonFullyFormed FullyFormed) Merge.kif 18495-18495 Non fully formed is an immediate successor attribute of fully formed
(documentation NonFullyFormed EnglishLanguage "The stage of an Organism before it is FullyFormed.") Merge.kif 18496-18497 Non fully formed is an immediate successor attribute of fully formed

appearance as argument number 2
-------------------------


(subAttribute Larval NonFullyFormed) Merge.kif 18506-18506 Larval is a subattribute of non fully formed
(subAttribute Embryonic NonFullyFormed) Merge.kif 18530-18530 Embryonic is a subattribute of non fully formed
(subAttribute Puberty NonFullyFormed) Mid-level-ontology.kif 21766-21766 Puberty is a subattribute of non fully formed
(termFormat EnglishLanguage NonFullyFormed "non fully formed") domainEnglishFormat.kif 40783-40783 Puberty is a subattribute of non fully formed
(termFormat ChineseTraditionalLanguage NonFullyFormed "沒有完全形成") domainEnglishFormat.kif 40784-40784 Puberty is a subattribute of non fully formed
(termFormat ChineseLanguage NonFullyFormed "没有完全形成") domainEnglishFormat.kif 40785-40785 Puberty is a subattribute of non fully formed

appearance as argument number 3
-------------------------


(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed) Merge.kif 18477-18477 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 269-275 If X is an instance of human and non fully formed is an attribute of X holds during Y, then X is an instance of human youth holds during Y

consequent
-------------------------


(=>
    (attribute ?OBJ FullyFormed)
    (exists (?GROWTH)
        (and
            (instance ?GROWTH Growth)
            (experiencer ?GROWTH ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?OBJ))
                (attribute ?OBJ NonFullyFormed)))))		 Merge.kif 18485-18491 If fully formed is an attribute of X, then there exists Y such that Y is an instance of growth, X experiences Y, and non fully formed is an attribute of X holds during the beginning of the time of existence of X
(=>
    (holdsDuring ?TIME
        (instance ?CHILD HumanChild))
    (holdsDuring ?TIME
        (developmentalForm ?CHILD NonFullyFormed)))		 Mid-level-ontology.kif 263-267 If X is an instance of human child holds during Y, then the developmental form of X is non fully formed holds during Y
(=>
    (instance ?K Kitten)
    (attribute ?K NonFullyFormed))		 Mid-level-ontology.kif 22335-22337 If X is an instance of kitten, then non fully formed is an attribute of X
(=>
    (instance ?P Puppy)
    (attribute ?P NonFullyFormed))		 Mid-level-ontology.kif 22347-22349 If X is an instance of puppy, then non fully formed is an attribute of X
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 22435-22439 X is an instance of lamb if, only if X is an instance of sheep, and non fully formed is an attribute of X
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 22458-22462 X is an instance of calf if, only if X is an instance of cattle, and non fully formed is an attribute of X
(=>
    (instance ?K Bunny)
    (attribute ?K NonFullyFormed))		 Mid-level-ontology.kif 22631-22633 If X is an instance of Bunny, then non fully formed is an attribute of X
(=>
    (instance ?B Birth)
    (exists (?M ?BABY)
        (and
            (attribute ?M Female)
            (origin ?B ?M)
            (objectTransferred ?B ?BABY)
            (attribute ?BABY NonFullyFormed))))		 Mid-level-ontology.kif 26293-26300 If X is an instance of birth, then there exist Y, Z such that female is an attribute of Y, X originates at Y, the object transferred in X is Z, and non fully formed is an attribute of Z
(=>
    (instance ?M MammalCub)
    (attribute ?M NonFullyFormed))		 Mid-level-ontology.kif 33270-33272 If X is an instance of cub, then non fully formed is an attribute of X
(=>
    (instance ?RESTORE Reforestation)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (attribute ?TREE NonFullyFormed)
            (patient ?RESTORE ?TREE))))		 Geography.kif 4024-4030 If X is an instance of reforestation, then there exists Y such that Y is an instance of botanical tree, non fully formed is an attribute of Y, and Y is a patient of X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners