| EggYolk | |
| appearance as argument number 1 |
|
|
| (initialPart EggYolk Egg) | Food.kif 585-585 | initialPart EggYolk and Egg |
| (subclass EggYolk BodyPart) | Food.kif 584-584 | 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 586-600 | |
| (=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 701-705 |
|
|
|