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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fish
Fish(poisson)

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 14567-14571
(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 14566-14566 Poisson est une sous-classe de vert�br� � sang froid

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


(meatOfAnimal FishMeat Fish) Food.kif 1941-1941 meatOfAnimal FishMeat and poisson
(subclass Cod Fish) Food.kif 2535-2535 Cod est une sous-classe de poisson
(subclass OrnamentalFish Fish) Economy.kif 4926-4926 OrnamentalFish est une sous-classe de poisson
(subclass Salmon Fish) Food.kif 2536-2536 Salmon est une sous-classe de poisson
(subclass Skate Fish) Food.kif 3403-3403 Skate est une sous-classe de poisson
(subclass Tuna Fish) Food.kif 3518-3518 Tuna est une sous-classe de poisson
(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 14547-14547 Vert�br� � sang froid est disjointement decompos� en amphibien, poisson, + reptile

antecedent
-------------------------


(=>
    (instance ?FISH Fish)
    (exists (?WATER)
        (and
            (inhabits ?FISH ?WATER)
            (instance ?WATER Water))))
Merge.kif 14573-14578

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


(=>
    (and
        (instance ?FISHING Fishing)
        (patient ?FISHING ?TARGET)
        (instance ?TARGET Animal))
    (instance ?TARGET Fish))
Geography.kif 2708-2713
(=>
    (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 29492-29500
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 3377-3383


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