Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fish
Fish(fish)
A._testudineus, Abramis, Abramis_brama, Abudefduf, Abudefduf_saxatilis, Acanthocybium, Acanthocybium_solandri, Acanthopterygii, Acanthuridae, Acanthurus, Acanthurus_chirurgus, Achoerodus, Achoerodus_gouldii, Acipenser, Acipenser_huso, Acipenser_transmontanus, Acipenseridae, Aetobatus, Aetobatus_narinari, Agnatha, Agonidae, Agonus, Agonus_cataphractus, Albula, Albula_vulpes, Albulidae, Alectis, Alectis_ciliaris, Alepisaurus, Alopiidae, Alopius, Alopius_vulpinus, Alosa, Alosa_alosa, Alosa_chrysocloris, Alosa_pseudoharengus, Alosa_sapidissima, Ambloplites, Ambloplites_rupestris, Ameiuridae, Ameiurus, Ameiurus_Melas, American_flagfish, American_plaice, American_smooth_dogfish, Amia, Amia_calva, Amiidae, Ammodytes, Ammodytidae...

appearance as argument number 1
-------------------------


(documentation Fish ChineseLanguage "这是一种冷血的水生 Vertebrate,身上的鱼鳍和用腮呼吸是它们的 特征,这包括硬骨 Fish,如鲈鱼,或者软骨鱼如鲨鱼,也包括没有颚的 Fish,如七鳃鳗或盲鳗。") Merge.kif 14646-14647
(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 14641-14645
(externalImage Fish "http://upload.wikimedia.org/wikipedia/commons/d/de/ Pieni_2_0143.jpg") pictureList.kif 93-93 "http://upload.wikimedia.org/wikipedia/commons/d/de/ Pieni_2_0143.jpg" is a URL depicting fish
(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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 77/ Puffer_Fish_DSC01257.JPG/ 250px-Puffer_Fish_DSC01257.JPG" is a URL depicting fish
(externalImage Fish "http://www.adampease.org/Articulate/SUMOpictures/pictures/ hieroglyphs/ fish.png") pictureList.kif 433-433 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ hieroglyphs/ fish.png" is a URL depicting fish
(subclass Fish ColdBloodedVertebrate) Merge.kif 14640-14640 Fish is a subclass of cold blooded vertebrate

appearance as argument number 2
-------------------------


(meatOfAnimal FishMeat Fish) Food.kif 334-334 Fish meat is the meat of fish
(subclass Cod Fish) Food.kif 572-572 Cod is a subclass of fish
(subclass OrnamentalFish Fish) Economy.kif 4249-4249 Ornamental fish is a subclass of fish
(subclass Salmon Fish) Food.kif 573-573 Salmon is a subclass of fish
(subclass Skate Fish) Food.kif 880-880 Skate is a subclass of fish
(subclass Tuna Fish) Food.kif 986-986 Tuna is a subclass of fish
(termFormat ChineseLanguage Fish "鱼") chinese_format.kif 989-989 "鱼" is the printable form of fish in ChineseLanguage
(termFormat EnglishLanguage Fish "fish") english_format.kif 1033-1033 "fish" is the printable form of fish in english language
(termFormat JapaneseLanguage Fish "魚") english_format.kif 1034-1034 "魚" is the printable form of fish in japanese language

appearance as argument number 3
-------------------------


(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 14616-14616 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 14649-14654

consequent
-------------------------


(=>
    (and
        (instance ?FISHING Fishing)
        (patient ?FISHING ?TARGET)
        (instance ?TARGET Animal))
    (instance ?TARGET Fish))
Geography.kif 2636-2641
(=>
    (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 27662-27670
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 864-870


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners