EggYolk
|
|
appearance as argument number 1 |
(initialPart EggYolk Egg) | Food.kif 2547-2547 | %每个 EggYolk 是 蛋 的 initially part |
(subclass EggYolk BodyPart) | Food.kif 2546-2546 | EggYolk 是 身体部位 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage EggYolk "egg yolk") | domainEnglishFormat.kif 64802-64802 |
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 2548-2562 | |
(=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 2664-2668 |