| EggYolk | |
| appearance as argument number 1 |
|
|
| (initialPart EggYolk Egg) | Food.kif 541-541 | initialPart EggYolk and Egg |
| (subclass EggYolk BodyPart) | Food.kif 540-540 | subclass EggYolk and BodyPart |
| 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 657-661 |
|
|
|