Embryonic - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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

(contraryAttribute Embryonic Larval)	Merge.kif 18294-18294	Embryonic is the opposite of larval
(documentation Embryonic ChineseLanguage "这是 Organism 或 AnatomicalStructure 只有在 Organism 出生以前的生命阶段。例如：Mammal 只在出生以前才会有这个 Attribute。")	chinese_format.kif 4027-4028	Embryonic is the opposite of larval
(documentation Embryonic EnglishLanguage "The stage of an Organism or an AnatomicalStructure that exists only before the Organism is born. Mammals, for example, have this Attribute only prior to their birth.")	Merge.kif 18295-18298	Embryonic is the opposite of larval
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Tubal_Pregnancy_with_embryo.jpg")	pictureList.kif 5983-5983	Embryonic is the opposite of larval
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Wrinkledfrog_embryos.jpg")	pictureList.kif 6464-6464	Embryonic is the opposite of larval
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ 6_weeks_pregnant.jpg")	pictureList.kif 6465-6465	Embryonic is the opposite of larval
(subAttribute Embryonic NonFullyFormed)	Merge.kif 18293-18293	Embryonic is a subattribute of non fully formed

appearance as argument number 2

(termFormat ChineseLanguage Embryonic "胚胎")	domainEnglishFormat.kif 21915-21915
(termFormat ChineseTraditionalLanguage Embryonic "胚胎")	domainEnglishFormat.kif 21914-21914
(termFormat EnglishLanguage Embryonic "embryonic")	domainEnglishFormat.kif 21913-21913

antecedent

(=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW)))	Merge.kif 18307-18313	If embryonic is an attribute of an agent holds during a time interval and a process is an instance of birth and another time interval is equal to the time of existence of the process and the agent experiences the process, then the other time interval doesn't overlap the time interval
(=> (and (instance ?O Organism) (instance ?E Egg) (attribute ?O Embryonic) (part ?O ?E)) (exists (?Y) (and (instance ?Y EggYolk) (hasPurpose ?Y (exists (?I) (and (instance ?I Ingesting) (agent ?I ?O) (resource ?I ?Y)))))))	Food.kif 2548-2562	If an object is an instance of organism and another object is an instance of egg and embryonic is an attribute of the object and the object is a part of the other object, then there exists a physical such that the physical is an instance of egg yolk and the physical has the purpose there exists an entity such that the entity is an instance of ingesting and the object is an agent of the entity and the physical is a resource for the entity
(=> (attribute ?ORG Embryonic) (exists (?BODY) (and (instance ?BODY ReproductiveBody) (located ?ORG ?BODY))))	Merge.kif 18300-18305	If embryonic is an attribute of an object, then there exists another object such that the other object is an instance of reproductive body and the object is located at the other object

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