developmentalForm - Sigma Knowledge base Browser

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 13329-13332
(domain developmentalForm 1 OrganicObject)	Merge.kif 13319-13319
(domain developmentalForm 2 DevelopmentalAttribute)	Merge.kif 13320-13320
(instance developmentalForm AsymmetricRelation)	Merge.kif 13316-13316
(instance developmentalForm BinaryPredicate)	Merge.kif 13315-13315
(instance developmentalForm TransitiveRelation)	Merge.kif 13317-13317
(subrelation developmentalForm attribute)	Merge.kif 13318-13318

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 19324-19324
(termFormat ChineseLanguage developmentalForm "发育形态")	chinese_format.kif 520-520
(termFormat ChineseTraditionalLanguage developmentalForm "發展形式")	domainEnglishFormat.kif 19323-19323
(termFormat EnglishLanguage developmentalForm "developmental form")	domainEnglishFormat.kif 19322-19322

antecedent

(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))

Merge.kif 13334-13341

consequent

(=> (and (holdsDuring ?TIME1 (developmentalForm ?OBJ ?ATTR1)) (successorAttributeClosure ?ATTR2 ?ATTR1)) (exists (?TIME2) (and (earlier ?TIME2 ?TIME1) (holdsDuring ?TIME2 (developmentalForm ?OBJ ?ATTR2)))))	Merge.kif 13334-13341
(=> (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