Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FleshOrPulp(flesh or pulp) |
| appearance as argument number 1 |
|
| (subclass FleshOrPulp PlantSubstance) | Food.kif 2330-2330 | Flesh or pulp is a subclass of plant substance |
| (initialPart FleshOrPulp FruitOrVegetable) | Food.kif 2331-2331 | Every flesh or pulp is initially part of a fruit or vegetable |
| (documentation FleshOrPulp EnglishLanguage "FleshOrPulp is the Inside part of a fruit or vegetable.") | Food.kif 2332-2333 | Every flesh or pulp is initially part of a fruit or vegetable |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FleshOrPulp "flesh or pulp") | Food.kif 2334-2334 |
| antecedent |
|
|
| (=> (and (instance ?X FruitOrVegetable) (part ?F ?X) (instance ?F FleshOrPulp) (part ?P ?X) (instance ?P PeelOrRind)) (orientation ?F ?P Inside)) |
Food.kif 2336-2343 | If X is an instance of fruit or vegetable, Y is a part of X, Y is an instance of flesh or pulp, Z is a part of X, and Z is an instance of peel or rind, then Y is inside the to Z |
|