Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subAttribute Embryonic NonFullyFormed) | Merge.kif 18530-18530 | Embryonic is a subattribute of non fully formed |
| (contraryAttribute Embryonic Larval) | Merge.kif 18531-18531 | 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 18532-18535 | 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 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?ORG Embryonic) (exists (?BODY) (and (instance ?BODY ReproductiveBody) (located ?ORG ?BODY)))) |
Merge.kif 18537-18542 | If embryonic is an attribute of X, then there exists Y such that Y is an instance of reproductive body and X is located at Y |
| (=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW))) |
Merge.kif 18544-18550 | If embryonic is an attribute of X holds during Y, Z is an instance of birth, equal W and the time of existence of Z, and X experiences Z, then W doesn't overlap Y |
| (=> (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 2572-2586 | If X is an instance of organism, Y is an instance of egg, embryonic is an attribute of X, and X is a part of Y, then there exists Z such that Z is an instance of egg yolk, Z has the purpose there exists W such that W is an instance of ingesting, X is an agent of W, and Z is a resource for W |
|