| 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 14720-14724 | |
| (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 14719-14719 | 魚 は 冷血脊椎動物 の subclass では |
| appearance as argument number 2 |
|
|
| (meatOfAnimal FishMeat Fish) | Food.kif 1947-1947 | meatOfAnimal FishMeat and 魚 |
| (subclass Cod Fish) | Food.kif 2542-2542 | Cod は 魚 の subclass では |
| (subclass OrnamentalFish Fish) | Economy.kif 5266-5266 | OrnamentalFish は 魚 の subclass では |
| (subclass Salmon Fish) | Food.kif 2543-2543 | Salmon は 魚 の subclass では |
| (subclass Skate Fish) | Food.kif 3410-3410 | Skate は 魚 の subclass では |
| (subclass Tuna Fish) | Food.kif 3525-3525 | Tuna は 魚 の subclass では |
| (termFormat ChineseLanguage Fish "鱼") | chinese_format.kif 989-989 | Tuna は 魚 の subclass では |
| (termFormat EnglishLanguage Fish "fish") | english_format.kif 1185-1185 | Tuna は 魚 の subclass では |
| (termFormat FrenchLanguage Fish "poisson") | french_format.kif 666-666 | Tuna は 魚 の subclass では |
| (termFormat Hindi Fish "matsya") | terms-hindi.txt 197-197 | Tuna は 魚 の subclass では |
| (termFormat ItalianLanguage Fish "Pesce") | terms-it.txt 200-200 | Tuna は 魚 の subclass では |
| (termFormat JapaneseLanguage Fish "魚") | japanese_format.kif 2350-2350 | Tuna は 魚 の subclass では |
| (termFormat PortugueseLanguage Fish "Peixe") | portuguese_format.kif 618-618 | Tuna は 魚 の subclass では |
| (termFormat cb Fish "isda") | terms-cb.txt 202-202 | Tuna は 魚 の subclass では |
| (termFormat cz Fish "fish") | terms-cz.txt 234-234 | Tuna は 魚 の subclass では |
| (termFormat de Fish "Fische") | terms-de.txt 493-493 | Tuna は 魚 の subclass では |
| (termFormat ro Fish "peºte") | relations-ro.kif 687-687 | Tuna は 魚 の subclass では |
| (termFormat tg Fish "isda") | terms-tg.txt 201-201 | Tuna は 魚 の subclass では |
| appearance as argument number 3 |
|
|
| (disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) | Merge.kif 14700-14700 | 冷血脊椎動物 は amphibian, 魚, + 爬虫類 に disjointly decomposed |
| antecedent |
|
|
| (=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water)))) |
Merge.kif 14726-14731 |
| consequent |
|
|
| (=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish)) |
Geography.kif 2833-2838 | |
| (=> (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 31411-31419 | |
| (=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish)))) |
Food.kif 3384-3390 |
|
|
|