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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Embryonic

Sigma KEE - Embryonic
Embryonic(embryonic)
abortus, blastemal, blastematic, blastemic, blastocyst, blastodermic_vessicle, blastosphere, blastospheric, blastula, blastular, conceptus, embryo, embryologic, embryonal, embryonic, fertilized_egg, fetal, fetus, foetal, foetus, gastrula, monster, morula, teras

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18190-18190 Embryonic is the opposite of larval
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4027-4028
No TPTP formula. May not be expressible in strict first order. Merge.kif 18191-18194
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5984-5984
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6465-6465
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6466-6466
No TPTP formula. May not be expressible in strict first order. Merge.kif 18189-18189 Embryonic is a subattribute of non fully formed

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21900-21900
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21899-21899
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21898-21898

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18203-18209
No TPTP formula. May not be expressible in strict first order. Food.kif 2548-2562
No TPTP formula. May not be expressible in strict first order. Merge.kif 18196-18201


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