Fish - Sigma Knowledge base Browser

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	Tuna is a subclass of fish
(termFormat EnglishLanguage Fish "fish")	english_format.kif 1185-1185	Tuna is a subclass of fish
(termFormat FrenchLanguage Fish "poisson")	french_format.kif 666-666	Tuna is a subclass of fish
(termFormat Hindi Fish "matsya")	terms-hindi.txt 197-197	Tuna is a subclass of fish
(termFormat ItalianLanguage Fish "Pesce")	terms-it.txt 200-200	Tuna is a subclass of fish
(termFormat JapaneseLanguage Fish "魚")	japanese_format.kif 2350-2350	Tuna is a subclass of fish
(termFormat PortugueseLanguage Fish "Peixe")	portuguese_format.kif 618-618	Tuna is a subclass of fish
(termFormat cb Fish "isda")	terms-cb.txt 202-202	Tuna is a subclass of fish
(termFormat cz Fish "fish")	terms-cz.txt 234-234	Tuna is a subclass of fish
(termFormat ro Fish "peºte")	relations-ro.kif 687-687	Tuna is a subclass of fish
(termFormat tg Fish "isda")	terms-tg.txt 201-201	Tuna is a subclass of fish

appearance as argument number 3

Merge.kif 14593-14593

antecedent

(=>
    (instance ?FISH Fish)
    (exists (?WATER)
        (and
            (inhabits ?FISH ?WATER)
            (instance ?WATER Water))))

Merge.kif 14619-14624

consequent

(=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish))	Geography.kif 2708-2713	If a process is an instance of fishing and an entity is a patient of the process and the entity is an instance of animal, then the entity is an instance of fish
(=> (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 29776-29784	If a physical is an instance of fish tank, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of water and the other entity is an instance of fish and the physical contains the entity and the physical contains the other entity
(=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish))))	Food.kif 3377-3383	If an object is an instance of seafood, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of fish