|
|
   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 14567-14571 | |
| (externalImage Fish "http://articulatesoftware.com/SUMOpictures/hieroglyphs/ fish.png") | pictureList.kif 433-433 | |
| (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 260-260 | |
| (subclass Fish ColdBloodedVertebrate) | Merge.kif 14566-14566 | 子類 Fish and ColdBloodedVertebrate |
| appearance as argument number 2 |
|
|
| (meatOfAnimal FishMeat Fish) | Food.kif 1941-1941 | 魚肉 是 Fish 的 meat |
| (subclass Cod Fish) | Food.kif 2535-2535 | 子類 Cod and Fish |
| (subclass OrnamentalFish Fish) | Economy.kif 4926-4926 | 子類 觀賞魚 and Fish |
| (subclass Salmon Fish) | Food.kif 2536-2536 | 子類 鮭魚 and Fish |
| (subclass Skate Fish) | Food.kif 3403-3403 | 子類 Skate and Fish |
| (subclass Tuna Fish) | Food.kif 3518-3518 | 子類 Tuna and Fish |
| (termFormat ChineseLanguage Fish "鱼") | chinese_format.kif 989-989 | |
| (termFormat EnglishLanguage Fish "fish") | english_format.kif 1185-1185 | |
| (termFormat FrenchLanguage Fish "poisson") | french_format.kif 666-666 | |
| (termFormat Hindi Fish "matsya") | terms-hindi.txt 197-197 | |
| (termFormat ItalianLanguage Fish "Pesce") | terms-it.txt 200-200 | |
| (termFormat JapaneseLanguage Fish "魚") | japanese_format.kif 2350-2350 | |
| (termFormat PortugueseLanguage Fish "Peixe") | portuguese_format.kif 618-618 | |
| (termFormat cb Fish "isda") | terms-cb.txt 202-202 | |
| (termFormat cz Fish "fish") | terms-cz.txt 234-234 | |
| (termFormat ro Fish "peºte") | relations-ro.kif 687-687 | |
| (termFormat tg Fish "isda") | terms-tg.txt 201-201 |
| appearance as argument number 3 |
|
|
| (disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) | Merge.kif 14547-14547 | 不相交分解 ColdBloodedVertebrate, Amphibian, Fish and Reptile |
| antecedent |
|
|
| (=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water)))) |
Merge.kif 14573-14578 |
| consequent |
|
|
| (=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish)) |
Geography.kif 2708-2713 | |
| (=> (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 | |
| (=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish)))) |
Food.kif 3377-3383 |
|
|
|
|
