| 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 29772-29774 | |
| (subclass FishTank FluidContainer) | Mid-level-ontology.kif 29771-29771 | Fish tank is a subclass of fluid container |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FishTank "fish tank") | domainEnglishFormat.kif 64915-64915 |
| 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 29776-29784 |
|
|
|
|