| Fish
| |
| appearance as argument number 1 |
|
|
| (documentation Fish ChineseLanguage "这是一种冷血的水生 Vertebrate，身上的鱼鳍和用腮呼吸是它们的 特征，这包括硬骨 Fish，如鲈鱼，或者软骨鱼如鲨鱼，也包括没有颚的 Fish，如七鳃鳗或盲鳗。") | chinese_format.kif 3417-3418 | |
| (documentation Fish EnglishLanguage "A cold-blooded aquatic Vertebrate characterized by fins and breathing by gills. Included here are Fish having either a bony skeleton, such as a perch, or a cartilaginous skeleton, such as a shark. Also included are those Fish lacking a jaw, such as a lamprey or hagfish.") | Merge.kif 13523-13527 | |
| (externalImage Fish "http://upload.wikimedia.org/wikipedia/commons/d/de/ Pieni_2_0143.jpg") | pictureList.kif 93-93 | |
| (externalImage Fish "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 77/ Puffer_Fish_DSC01257.JPG/ 250px-Puffer_Fish_DSC01257.JPG") | pictureList-ImageNet.kif 261-261 | |
| (externalImage Fish "http://www.adampease.org/Articulate/SUMOpictures/pictures/ hieroglyphs/ fish.png") | pictureList.kif 433-433 | |
| (subclass Fish ColdBloodedVertebrate) | Merge.kif 13522-13522 | subclass Fish and ColdBloodedVertebrate |
| appearance as argument number 2 |
|
|
| (meatOfAnimal FishMeat Fish) | Food.kif 287-287 | meatOfAnimal FishMeat and Fish |
| (subclass Cod Fish) | Food.kif 527-527 | subclass Cod and Fish |
| (subclass OrnamentalFish Fish) | Economy.kif 4249-4249 | subclass OrnamentalFish and Fish |
| (subclass Salmon Fish) | Food.kif 528-528 | subclass Salmon and Fish |
| (subclass Skate Fish) | Food.kif 835-835 | subclass Skate and Fish |
| (subclass Tuna Fish) | Food.kif 941-941 | subclass Tuna and Fish |
| (termFormat ChineseLanguage Fish "鱼") | chinese_format.kif 989-989 | |
| (termFormat EnglishLanguage Fish "fish") | english_format.kif 1190-1190 |
| appearance as argument number 3 |
|
|
| (disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) | Merge.kif 13503-13503 | disjointDecomposition ColdBloodedVertebrate, Amphibian, Fish and Reptile |
| antecedent |
|
|
| (=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water)))) |
Merge.kif 13529-13534 |
| consequent |
|
|
| (=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish)) |
Geography.kif 2648-2653 | |
| (=> (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 27692-27700 | |
| (=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish)))) |
Food.kif 819-825 |
|
|
|