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,如七鳃鳗或盲鳗。") 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 13927-13931
(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
(externalImage Fish "http://www.adampease.org/Articulate/SUMOpictures/pictures/ hieroglyphs/ fish.png") pictureList.kif 433-433
(subclass Fish ColdBloodedVertebrate) Merge.kif 13926-13926 Fish is a subclass of cold blooded vertebrate

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


(meatOfAnimal FishMeat Fish) Food.kif 269-269 Fish meat is the meat of fish
(subclass Cod Fish) Food.kif 509-509 Cod is a subclass of fish
(subclass OrnamentalFish Fish) Economy.kif 4252-4252 Ornamental fish is a subclass of fish
(subclass Salmon Fish) Food.kif 510-510 Salmon is a subclass of fish
(subclass Skate Fish) Food.kif 820-820 Skate is a subclass of fish
(subclass Tuna Fish) Food.kif 926-926 Tuna is a subclass of fish
(termFormat ChineseLanguage Fish "鱼") chinese_format.kif 989-989
(termFormat EnglishLanguage Fish "fish") english_format.kif 1185-1185

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


(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) Merge.kif 13907-13907 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 13933-13938

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


(=>
    (and
        (instance ?FISHING Fishing)
        (patient ?FISHING ?TARGET)
        (instance ?TARGET Animal))
    (instance ?TARGET Fish))
Geography.kif 2670-2675
(=>
    (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 28735-28743
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 804-810


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 3.0 is open source software produced by Articulate Software and its partners