| EggYolk | |
| appearance as argument number 1 |
|
|
| (initialPart EggYolk Egg) | Food.kif 541-541 | |
| (subclass EggYolk BodyPart) | Food.kif 540-540 |
| 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 542-556 | |
| (=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 660-664 |
|
|
|