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 14613-14617 | |
(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 14612-14612 | Fish is a subclass of cold blooded vertebrate |
appearance as argument number 2 |
(meatOfAnimal FishMeat Fish) | Food.kif 1941-1941 | Fish meat is the meat of fish |
(subclass Cod Fish) | Food.kif 2535-2535 | Cod is a subclass of fish |
(subclass OrnamentalFish Fish) | Economy.kif 4926-4926 | Ornamental fish is a subclass of fish |
(subclass Salmon Fish) | Food.kif 2536-2536 | Salmon is a subclass of fish |
(subclass Skate Fish) | Food.kif 3403-3403 | Skate is a subclass of fish |
(subclass Tuna Fish) | Food.kif 3518-3518 | Tuna is a subclass of 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 14593-14593 | Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile |
antecedent |
(=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water)))) |
Merge.kif 14619-14624 |
|
consequent |