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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - developmentalForm
developmentalForm

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


(documentation developmentalForm ChineseLanguage "(developmentalForm ?OBJECT ?FORM)的意思是 ?FORM 形容 ?OBJECT 个别发育过程的一段时期。例如:蝌蚪和毛虫分别是青蛙和蝴蝶的 developmentalForm。") chinese_format.kif 3366-3368
(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 13270-13273
(domain developmentalForm 1 OrganicObject) Merge.kif 13260-13260 The number 1 argument of developmental form is an instance of organic object
(domain developmentalForm 2 DevelopmentalAttribute) Merge.kif 13261-13261 The number 2 argument of developmental form is an instance of developmental attribute
(instance developmentalForm AsymmetricRelation) Merge.kif 13257-13257 developmental form is an instance of asymmetric relation
(instance developmentalForm BinaryPredicate) Merge.kif 13256-13256 developmental form is an instance of binary predicate
(instance developmentalForm TransitiveRelation) Merge.kif 13258-13258 developmental form is an instance of transitive relation
(subrelation developmentalForm attribute) Merge.kif 13259-13259 developmental form is a subrelation of attribute

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


(format ChineseLanguage developmentalForm "%1 的发育形态 %n 是 %2") chinese_format.kif 519-519
(format EnglishLanguage developmentalForm "the developmental form of %1 is %n %2") english_format.kif 527-527
(termFormat ChineseLanguage developmentalForm "发展形式") domainEnglishFormat.kif 19249-19249
(termFormat ChineseLanguage developmentalForm "发育形态") chinese_format.kif 520-520
(termFormat ChineseTraditionalLanguage developmentalForm "發展形式") domainEnglishFormat.kif 19248-19248
(termFormat EnglishLanguage developmentalForm "developmental form") domainEnglishFormat.kif 19247-19247

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


(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))
Merge.kif 13275-13282

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


(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))
Merge.kif 13275-13282
(=>
    (and
        (instance ?ORG OrganicObject)
        (instance ?ATTR DevelopmentalAttribute)
        (holdsDuring ?TIME
            (property ?ORG ?ATTR)))
    (holdsDuring ?TIME
        (developmentalForm ?ORG ?ATTR)))
Mid-level-ontology.kif 383-388
(=>
    (holdsDuring ?TIME
        (instance ?ADULT HumanAdult))
    (holdsDuring ?TIME
        (developmentalForm ?ADULT FullyFormed)))
Mid-level-ontology.kif 366-370
(=>
    (holdsDuring ?TIME
        (instance ?CHILD HumanChild))
    (holdsDuring ?TIME
        (developmentalForm ?CHILD NonFullyFormed)))
Mid-level-ontology.kif 430-434


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners