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 29539-29541 | |
(subclass FishTank FluidContainer) | Mid-level-ontology.kif 29538-29538 | FishTank 是 液体容器 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage FishTank "fish tank") | domainEnglishFormat.kif 64869-64869 |
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 29543-29551 |