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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DevelopmentalAttribute
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 18324-18325
(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed) Merge.kif 18323-18323 exhaustiveAttribute 発達属性, FullyFormed and NonFullyFormed
(subclass DevelopmentalAttribute BiologicalAttribute) Merge.kif 18322-18322 発達属性生物学的属性subclass では

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


(instance FullyFormed DevelopmentalAttribute) Merge.kif 18327-18327 FullyFormed発達属性instance では
(instance NonFullyFormed DevelopmentalAttribute) Merge.kif 18339-18339 NonFullyFormed発達属性instance では
(instance Virion DevelopmentalAttribute) VirusProteinAndCellPart.kif 193-193 Virion発達属性instance では
(termFormat ChineseLanguage DevelopmentalAttribute "发育属性") chinese_format.kif 1260-1260 Virion発達属性instance では
(termFormat EnglishLanguage DevelopmentalAttribute "developmental attribute") english_format.kif 1741-1741 Virion発達属性instance では
(termFormat FrenchLanguage DevelopmentalAttribute "attribut de d�vellopement") french_format.kif 938-938 Virion発達属性instance では
(termFormat Hindi DevelopmentalAttribute "vikaasaatmaka visheshataa") terms-hindi.txt 474-474 Virion発達属性instance では
(termFormat ItalianLanguage DevelopmentalAttribute "AttributoEvolutivo") terms-it.txt 477-477 Virion発達属性instance では
(termFormat JapaneseLanguage DevelopmentalAttribute "発達属性") japanese_format.kif 2622-2622 Virion発達属性instance では
(termFormat PortugueseLanguage DevelopmentalAttribute "Atributo Desenvolvimental") portuguese_format.kif 890-890 Virion発達属性instance では
(termFormat cz DevelopmentalAttribute "developmental attribute") terms-cz.txt 513-513 Virion発達属性instance では
(termFormat de DevelopmentalAttribute "Entwicklungsattribut") terms-de.txt 772-772 Virion発達属性instance では
(termFormat ro DevelopmentalAttribute "atribut de dezvoltare") relations-ro.kif 959-959 Virion発達属性instance では
(termFormat tg DevelopmentalAttribute "katangian ng pasulong") terms-tg.txt 478-478 Virion発達属性instance では

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


(domain developmentalForm 2 DevelopmentalAttribute) Merge.kif 14476-14476 developmentalForm の数値 2 引数は 発達属性instance では
(domain lifeStageAchieved 2 DevelopmentalAttribute) VirusProteinAndCellPart.kif 227-227 lifeStageAchieved の数値 2 引数は 発達属性instance では

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 18345-18350


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



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