Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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_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
-------------------------


(instance FullyFormed DevelopmentalAttribute) Merge.kif 18347-18347 Fully formed is an instance of developmental attribute
(documentation FullyFormed EnglishLanguage "The stage of an Organism when it has reached the end of its growth phase.") Merge.kif 18348-18349 Fully formed is an instance of developmental attribute

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


(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed) Merge.kif 18343-18343 Fully formed are all the attributes 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
(termFormat EnglishLanguage FullyFormed "fully formed") domainEnglishFormat.kif 25198-25198 Non fully formed is an immediate successor attribute of fully formed
(termFormat ChineseTraditionalLanguage FullyFormed "完全成型") domainEnglishFormat.kif 25199-25199 Non fully formed is an immediate successor attribute of fully formed
(termFormat ChineseLanguage FullyFormed "完全成型") domainEnglishFormat.kif 25200-25200 Non fully formed is an immediate successor attribute of fully formed

antecedent
-------------------------


(=>
    (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
(=>
    (and
        (instance ?ORG Human)
        (holdsDuring ?TIME
            (attribute ?ORG FullyFormed)))
    (holdsDuring ?TIME
        (instance ?ORG HumanAdult)))		 Mid-level-ontology.kif 229-235 If X is an instance of human and fully formed is an attribute of X holds during Y, then X is an instance of human adult holds during Y

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


(=>
    (holdsDuring ?TIME
        (instance ?ADULT HumanAdult))
    (holdsDuring ?TIME
        (developmentalForm ?ADULT FullyFormed)))		 Mid-level-ontology.kif 223-227 If X is an instance of human adult holds during Y, then the developmental form of X is fully formed holds during Y
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U ?Y ?C)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T
                    (MeasureFn ?C ?U))
                (instance ?U UnitOfCurrency)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))		 ArabicCulture.kif 204-223 If muslim is an attribute of X and equal value of belongings of X and Y, then the statement there exist Z, W,, , V,, , U and T such that Z is an instance of zakat and U is an instance of year and U takes place during the time of existence of X and fully formed is an attribute of X holds during U and X is an agent of Z and W is a patient of Z and value of W is T V(s) and V is an instance of unit of currency and T is greater than Y and 0.025 has the modal force of obligation


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