EggYolk(egg yolk) | egg_yolk, vitellus, yolk |
appearance as argument number 1 |
(initialPart EggYolk Egg) | Food.kif 2547-2547 | Every egg yolk is initially part of a egg |
(subclass EggYolk BodyPart) | Food.kif 2546-2546 | Egg yolk is a subclass of body part |
appearance as argument number 2 |
(termFormat EnglishLanguage EggYolk "egg yolk") | domainEnglishFormat.kif 64804-64804 |
consequent |
(=> (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 |
|
(=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 2664-2668 |
|