| FishTank(fish tank) | | aquarium, fish_bowl, fish_tank, fishbowl, goldfish_bowl, marine_museum |
| appearance as argument number 1 |
|
|
| (documentation FishTank EnglishLanguage "A Container designed to hold Water and Fish. Note that many such tanks can be repurposed to hold reptiles or insects.") | Mid-level-ontology.kif 30603-30605 | |
| (subclass FishTank FluidContainer) | Mid-level-ontology.kif 30602-30602 | Fish tank is a subclass of fluid container |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FishTank "fish tank") | domainEnglishFormat.kif 64890-64890 |
| antecedent |
|
|
| (=> (instance ?FT FishTank) (hasPurpose ?FT (exists (?W ?F) (and (instance ?W Water) (instance ?F Fish) (contains ?FT ?W) (contains ?FT ?F))))) |
Mid-level-ontology.kif 30607-30615 |
|
|
|
|