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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AquaticMammal
AquaticMammal(aquatic mammal)
more pictures...
ثَدْييّ مَائِي, Atlantic_bottlenose_dolphin, Balaena, Balaena_mysticetus, Balaenidae, Balaenoptera, Balaenoptera_acutorostrata, Balaenoptera_borealis, Balaenoptera_musculus, Balaenoptera_physalus, Balaenopteridae, Cetacea, Delphinapterus, Delphinapterus_leucas, Delphinidae, Delphinus, Delphinus_delphis, Dugong_dugon, Dugongidae, Eschrichtiidae, Eschrichtius, Eschrichtius_gibbosus, Eschrichtius_robustus, Globicephala, Globicephala_melaena, Grampus_griseus, Greenland_whale, Hydrodamalis, Hydrodamalis_gigas, Hyperodontidae, Hyperoodon, Hyperoodon_ampullatus, Kogia, Kogia_breviceps, Kogia_simus, Mamal_na_nakatira_sa_tubig, Mamifero_Aquatico, MammiferoAcquatico, Megaptera, Megaptera_novaeangliae, Monodon, Monodon_monoceros, Monodontidae, Mysticeti, Odontoceti, Orcinus, Orcinus_orca, Pacific_bottlenose_dolphin, Phocoena, Phocoena_phocoena...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14530-14531
No TPTP formula. May not be expressible in strict first order. Merge.kif 14528-14529
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 54-54 "http://upload.wikimedia.org/wikipedia/commons/5/5c/ Narwhals_breach.jpg" is a URL depicting aquatic mammal
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 51-51 "http://upload.wikimedia.org/wikipedia/commons/6/6f/ FL_fig04.jpg" is a URL depicting aquatic mammal
No TPTP formula. May not be expressible in strict first order. pictureList.kif 939-939 "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Eilat_-_Dolphin_reef.jpg" is a URL depicting aquatic mammal
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 53-53 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 03/ Pteronura_brasiliensis_on_the_water.JPG/ 300px-Pteronura_brasiliensis_on_the_water.JPG" is a URL depicting aquatic mammal
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 56-56 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ Walrus.jpg/ 250px-Walrus.jpg" is a URL depicting aquatic mammal
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 59-59 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 37/ Killerwhales_jumping.jpg/ 240px-Killerwhales_jumping.jpg" is a URL depicting aquatic mammal
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 52-52 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 55/ Ornithorhynchidae-00.jpg/ 140px-Ornithorhynchidae-00.jpg" is a URL depicting aquatic mammal
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 58-58 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 82/ LutraCanadensis_fullres.jpg/ 200px-LutraCanadensis_fullres.jpg" is a URL depicting aquatic mammal
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 60-60 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 9c/ DolphinBreathing.jpg/ 115px-DolphinBreathing.jpg" is a URL depicting aquatic mammal
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 61-61 "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b1/ Manatee_photo.jpg/ 180px-Manatee_photo.jpg" is a URL depicting aquatic mammal
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 55-55 "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f3/ Eilat_-_Dolphin_reef.jpg/ 120px-Eilat_-_Dolphin_reef.jpg" is a URL depicting aquatic mammal
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 57-57 "http://upload.wikimedia.org/wikipedia/en/5/56/Elephant_seal.jpg" is a URL depicting aquatic mammal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14527-14527 Aquatic mammal is a subclass of mammal

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14520-14520 Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 991-991 "水生哺乳动物" is the printable form of aquatic mammal in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 678-678 "aquatic mammal" is the printable form of aquatic mammal in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 668-668 "mammif�re aquatique" is the printable form of aquatic mammal in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 199-199 "jalIya stanapAAyI" is the printable form of aquatic mammal in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 200-200 "MammiferoAcquatico" is the printable form of aquatic mammal in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 620-620 "Mamifero Aquatico" is the printable form of aquatic mammal in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 404-404 "ثَدْييّ مَائِي" is the printable form of aquatic mammal in ar
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 236-236 "aquatic mammal" is the printable form of aquatic mammal in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 203-203 "Mamal na nakatira sa tubig" is the printable form of aquatic mammal in tg


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