DevelopmentalAttribute(attribut de d�vellopement) | ![]() |
appearance as argument number 1 |
![]() |
(documentation DevelopmentalAttribute ChineseLanguage "这是表达 Organism 生长过程的 Attribute。") | chinese_format.kif 4020-4021 | |
(documentation DevelopmentalAttribute EnglishLanguage "Attributes that indicate the stage of development of an Organism.") | Merge.kif 18159-18160 | |
(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed) | Merge.kif 18158-18158 | exhaustiveAttribute attribut de d�vellopement, FullyFormed and NonFullyFormed |
(subclass DevelopmentalAttribute BiologicalAttribute) | Merge.kif 18157-18157 | Attribut de d�vellopement est une sous-classe de attribut biologique |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain developmentalForm 2 DevelopmentalAttribute) | Merge.kif 14345-14345 | Le nombre 2 argument de developmentalForm est une instance de attribut de d�vellopement |
(domain lifeStageAchieved 2 DevelopmentalAttribute) | VirusProteinAndCellPart.kif 223-223 | Le nombre 2 argument de lifeStageAchieved est une instance de attribut de d�vellopement |
antecedent |
![]() |
(=> (and (instance ?ORG OrganicObject) (instance ?ATTR DevelopmentalAttribute) (holdsDuring ?TIME (property ?ORG ?ATTR))) (holdsDuring ?TIME (developmentalForm ?ORG ?ATTR))) |
Mid-level-ontology.kif 241-246 |
|
consequent |
![]() |
(=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR DevelopmentalAttribute) (attribute ?ORG ?ATTR)))) |
Merge.kif 18180-18185 |
![]() |
![]() |