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 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 |
![]() |
![]() |