DevelopmentalAttribute
|
|
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 18216-18217 | |
(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed) | Merge.kif 18215-18215 | exhaustiveAttribute attribut de d�vellopement, FullyFormed and NonFullyFormed |
(subclass DevelopmentalAttribute BiologicalAttribute) | Merge.kif 18214-18214 | 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 14369-14369 | 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 234-239 |
|
consequent |
(=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR DevelopmentalAttribute) (attribute ?ORG ?ATTR)))) |
Merge.kif 18237-18242 |