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 18137-18138 | |
(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed) | Merge.kif 18136-18136 | exhaustiveAttribute attribut de d�vellopement, FullyFormed and NonFullyFormed |
(subclass DevelopmentalAttribute BiologicalAttribute) | Merge.kif 18135-18135 | 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 14323-14323 | 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 18158-18163 |