| EggYolk | |
| appearance as argument number 1 |
|
|
| (initialPart EggYolk Egg) | Food.kif 523-523 | %每个 EggYolk 是 蛋 的 initially part |
| (subclass EggYolk BodyPart) | Food.kif 522-522 | EggYolk 是 身体部位 的 subclass |
| 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 524-538 | |
| (=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 642-646 |
|
|
|