Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Toad(toad) |  | Alytes_cisternasi, anuran, batrachian, frog, midwife_toad, salientian, toad, toad_frog |
| appearance as argument number 1 |
|
|
| (subclass Toad Amphibian) | Mid-level-ontology.kif 14108-14108 | Toad is a subclass of amphibian |
| (documentation Toad EnglishLanguage "An Amphibian that lacks a Tail and lives at least partially outside of water.") | Mid-level-ontology.kif 14109-14110 | Toad is a subclass of amphibian |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?A Toad) (not (exists (?T) (and (instance ?T Tail) (part ?T ?A))))) |
Mid-level-ontology.kif 14112-14118 | If X is an instance of toad, then there doesn't exist Y such that Y is an instance of tail and Y is a part of X |
|