Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MulberryLeaf |
| appearance as argument number 1 |
|
| (subclass MulberryLeaf PlantLeaf) | Society.kif 1035-1035 | MulberryLeaf is a subclass of plant leaf |
| statement |
|
|
| (subclass (DeadFn MulberryLeaf) PlantAgriculturalArtifact) |
Society.kif 1039-1039 | A dead MulberryLeaf is a subclass of PlantAgriculturalArtifact |
|