Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DevelopmentalAttribute

Sigma KEE - DevelopmentalAttribute
DevelopmentalAttribute(developmental attribute)anal_phase, anal_stage, babyhood, early_childhood, gametophyte, genital_phase, genital_stage, infancy, latency_period, latency_phase, latency_stage, megagametophyte, microgametophyte, oral_phase, oral_stage, sporophyte

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 Fully formed are all the attributes of developmental attribute
(subclass DevelopmentalAttribute BiologicalAttribute) Merge.kif 18135-18135 Developmental attribute is a subclass of biological attribute

appearance as argument number 2
-------------------------


(instance FullyFormed DevelopmentalAttribute) Merge.kif 18140-18140 Fully formed is an instance of developmental attribute
(instance NonFullyFormed DevelopmentalAttribute) Merge.kif 18152-18152 Non fully formed is an instance of developmental attribute
(instance Virion DevelopmentalAttribute) VirusProteinAndCellPart.kif 189-189 Virion is an instance of developmental attribute
(termFormat ChineseLanguage DevelopmentalAttribute "发育属性") chinese_format.kif 1260-1260
(termFormat EnglishLanguage DevelopmentalAttribute "developmental attribute") english_format.kif 1741-1741
(termFormat FrenchLanguage DevelopmentalAttribute "attribut de d�vellopement") french_format.kif 938-938
(termFormat Hindi DevelopmentalAttribute "vikaasaatmaka visheshataa") terms-hindi.txt 474-474
(termFormat ItalianLanguage DevelopmentalAttribute "AttributoEvolutivo") terms-it.txt 477-477
(termFormat JapaneseLanguage DevelopmentalAttribute "発達属性") japanese_format.kif 2622-2622
(termFormat PortugueseLanguage DevelopmentalAttribute "Atributo Desenvolvimental") portuguese_format.kif 890-890
(termFormat cz DevelopmentalAttribute "developmental attribute") terms-cz.txt 513-513
(termFormat ro DevelopmentalAttribute "atribut de dezvoltare") relations-ro.kif 959-959
(termFormat tg DevelopmentalAttribute "katangian ng pasulong") terms-tg.txt 478-478

appearance as argument number 3
-------------------------


(domain developmentalForm 2 DevelopmentalAttribute) Merge.kif 14323-14323 The number 2 argument of developmental form is an instance of developmental attribute
(domain lifeStageAchieved 2 DevelopmentalAttribute) VirusProteinAndCellPart.kif 223-223 The number 2 argument of life stage achieved is an instance of developmental attribute

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners