| Egg(egg)
| | egg |
| appearance as argument number 1 |
|
|
| (subclass Egg ReproductiveBody) | Merge.kif 15199-15199 | Egg is a subclass of reproductive body |
| (subclass Egg AnimalAnatomicalStructure) | Merge.kif 15200-15200 | Egg is a subclass of animal anatomical structure |
| (subclass Egg Meat) | Merge.kif 15201-15201 | Egg is a subclass of meat |
| (documentation Egg EnglishLanguage "The fertilized or unfertilized female ReproductiveBody of an Animal. This includes Bird and Reptile eggs, as well as mammalian ova.") | Merge.kif 15202-15204 | Egg is a subclass of meat |
| (subclass Egg AnimalAgriculturalArtifact) | Society.kif 1059-1059 | Egg is a subclass of AnimalAgriculturalArtifact |
| (externalImage Egg "http://articulatesoftware.com/SUMOpictures/small_icons/ food/ egg.png") | pictureList.kif 406-406 | Egg is a subclass of AnimalAgriculturalArtifact |
| appearance as argument number 2 |
|
|
| (subclass BirdEgg Egg) | Mid-level-ontology.kif 26455-26455 | Bird egg is a subclass of egg |
| (initialPart EggYolk Egg) | Food.kif 2554-2554 | Every egg yolk is initially part of a egg |
| (termFormat EnglishLanguage Egg "egg") | domainEnglishFormat.kif 21324-21324 | Every egg yolk is initially part of a egg |
| (termFormat ChineseTraditionalLanguage Egg "蛋") | domainEnglishFormat.kif 21325-21325 | Every egg yolk is initially part of a egg |
| (termFormat ChineseLanguage Egg "蛋") | domainEnglishFormat.kif 21326-21326 | Every egg yolk is initially part of a egg |
| antecedent |
|
|
| (=> (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 2555-2569 | 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 |
| consequent |
|
|
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (exists (?E) (and (instance ?E Egg) (patient ?L ?E) (holdsDuring (BeginFn (WhenFn ?L)) (part ?E ?A)) (holdsDuring (EndFn (WhenFn ?L)) (not (part ?E ?A)))))) |
Mid-level-ontology.kif 26499-26512 | If X is an instance of laying eggs and Y experiences X, then there exists Z such that Z is an instance of egg, Z is a patient of X, Z is a part of Y holds during the beginning of the time of existence of X, and Z is not a part of Y holds during the end of the time of existence of X |
| (=> (instance ?O Omelette) (material Egg ?O)) |
Food.kif 2715-2717 | If X is an instance of omelette, then X is made of egg |
|
|
|