| EggYolk | |
| appearance as argument number 1 |
|
|
| (initialPart EggYolk Egg) | Food.kif 2554-2554 | |
| (subclass EggYolk BodyPart) | Food.kif 2553-2553 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EggYolk "egg yolk") | domainEnglishFormat.kif 64796-64796 |
| 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 2555-2569 | |
| (=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 2671-2675 |
|
|
|