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


KB Term:  Term intersection
English Word: 

Sigma KEE - developmentalForm
developmentalForm

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


(instance developmentalForm BinaryPredicate) Merge.kif 14632-14632 developmental form is an instance of binary predicate
(instance developmentalForm TransitiveRelation) Merge.kif 14633-14633 developmental form is an instance of transitive relation
(subrelation developmentalForm attribute) Merge.kif 14634-14634 developmental form is a subrelation of attribute
(domain developmentalForm 1 OrganicObject) Merge.kif 14635-14635 The number 1 argument of developmental form is an instance of organic object
(domain developmentalForm 2 DevelopmentalAttribute) Merge.kif 14636-14636 The number 2 argument of developmental form is an instance of developmental attribute
(documentation developmentalForm EnglishLanguage "(developmentalForm ?OBJECT ?FORM) means that ?FORM describes a stage in the individual maturation of ?OBJECT. For example, tadpole and caterpillar are developmentalForms of frogs and butterflies, respectively.") Merge.kif 14645-14648 The number 2 argument of developmental form is an instance of developmental attribute

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


(termFormat EnglishLanguage developmentalForm "developmental form") domainEnglishFormat.kif 19326-19326
(termFormat ChineseTraditionalLanguage developmentalForm "發展形式") domainEnglishFormat.kif 19327-19327
(termFormat ChineseLanguage developmentalForm "发展形式") domainEnglishFormat.kif 19328-19328
(format EnglishLanguage developmentalForm "the developmental form of %1 is %n %2") english_format.kif 524-524

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


(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))		 Merge.kif 14650-14657 If the developmental form of X is Y holds during Z and W is a successor attribute of Y, then there exists V such that V happens earlier than Z and the developmental form of X is W holds during V

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


(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))		 Merge.kif 14650-14657 If the developmental form of X is Y holds during Z and W is a successor attribute of Y, then there exists V such that V happens earlier than Z and the developmental form of X is W holds during V
(=>
    (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
        (instance ?ORG OrganicObject)
        (instance ?ATTR DevelopmentalAttribute)
        (holdsDuring ?TIME
            (property ?ORG ?ATTR)))
    (holdsDuring ?TIME
        (developmentalForm ?ORG ?ATTR)))		 Mid-level-ontology.kif 224-229 If X is an instance of organic object, Y is an instance of developmental attribute, and X the attribute Y holds during Z, then the developmental form of X is Y holds during Z
(=>
    (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


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