Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EggYolk(egg yolk) |  | egg_yolk, vitellus, yolk |
| appearance as argument number 1 |
|
|
| (subclass EggYolk BodyPart) | Food.kif 2570-2570 | Egg yolk is a subclass of body part |
| (initialPart EggYolk Egg) | Food.kif 2571-2571 | Every egg yolk is initially part of a egg |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EggYolk "egg yolk") | domainEnglishFormat.kif 64805-64805 |
| 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 2572-2586 | If X is an instance of organism, Y is an instance of egg, embryonic is an attribute of X, and X is a part of Y, then there exists Z such that Z is an instance of egg yolk, Z has the purpose there exists W such that W is an instance of ingesting, X is an agent of W, and Z is a resource for W |
| (=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 2692-2696 | If X is an instance of mayonnaise, then X is made of oil and X is made of egg yolk |
|