|
|
   FishTank
|
|
|
| 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 29488-29490 | |
| (subclass FishTank FluidContainer) | Mid-level-ontology.kif 29487-29487 | Fish tank is a subclass of fluid container |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FishTank "fish tank") | domainEnglishFormat.kif 64867-64867 |
| 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 29492-29500 |
|
|
|
|