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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4020-4021
No TPTP formula. May not be expressible in strict first order. Merge.kif 18137-18138
No TPTP formula. May not be expressible in strict first order. Merge.kif 18136-18136 Fully formed are all the attributes of developmental attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18135-18135 Developmental attribute is a subclass of biological attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18140-18140 Fully formed is an instance of developmental attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18152-18152 Non fully formed is an instance of developmental attribute
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 189-189 Virion is an instance of developmental attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1260-1260
No TPTP formula. May not be expressible in strict first order. english_format.kif 1741-1741
No TPTP formula. May not be expressible in strict first order. french_format.kif 938-938
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 474-474
No TPTP formula. May not be expressible in strict first order. terms-it.txt 477-477
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2622-2622
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 890-890
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 513-513
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 959-959
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 478-478

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14323-14323 The number 2 argument of developmental form is an instance of developmental attribute
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 223-223 The number 2 argument of life stage achieved is an instance of developmental attribute

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 241-246

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. 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