Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 18481-18481 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 18482-18483 Fully formed is an instance of developmental attribute

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


(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed) Merge.kif 18477-18477 Fully formed are all the attributes 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
(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 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
(=>
    (and
        (instance ?ORG Human)
        (holdsDuring ?TIME
            (attribute ?ORG FullyFormed)))
    (holdsDuring ?TIME
        (instance ?ORG HumanAdult)))		 Mid-level-ontology.kif 216-222 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 210-214 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners