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


KB Term:  Term intersection
English Word: 

Sigma KEE - NonFullyFormed
NonFullyFormed(non fully formed)

appearance as argument number 1
-------------------------


(instance NonFullyFormed DevelopmentalAttribute) Merge.kif 18359-18359 Non fully formed is an instance of developmental attribute
(contraryAttribute NonFullyFormed FullyFormed) Merge.kif 18360-18360 Non fully formed is the opposite of fully formed
(successorAttribute NonFullyFormed FullyFormed) Merge.kif 18361-18361 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 18362-18363 Non fully formed is an immediate successor attribute of fully formed

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


(subAttribute Larval NonFullyFormed) Merge.kif 18372-18372 Larval is a subattribute of non fully formed
(subAttribute Embryonic NonFullyFormed) Merge.kif 18396-18396 Embryonic is a subattribute of non fully formed
(subAttribute Puberty NonFullyFormed) Mid-level-ontology.kif 21832-21832 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 18343-18343 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 282-288 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 18351-18357 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 276-280 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 22391-22393 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 22403-22405 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 22491-22495 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 22514-22518 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 22697-22699 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 26393-26400 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 33336-33338 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 4043-4049 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 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