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, Megaptera, Megaptera_novaeangliae, Monodon, Monodon_monoceros, Monodontidae, Mysticeti, Odontoceti, Orcinus, Orcinus_orca, Pacific_bottlenose_dolphin, Phocoena, Phocoena_phocoena, Phocoena_sinus, Physeter, Physeter_catodon, Physeteridae...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3421-3422
No TPTP formula. May not be expressible in strict first order. Merge.kif 14587-14588
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 53-53
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 50-50
No TPTP formula. May not be expressible in strict first order. pictureList.kif 938-938
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 52-52
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 55-55
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 58-58
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 51-51
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 57-57
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 59-59
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 60-60
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 54-54
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 56-56
No TPTP formula. May not be expressible in strict first order. Merge.kif 14586-14586 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 14581-14581 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 1189-1189
No TPTP formula. May not be expressible in strict first order. french_format.kif 668-668
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 199-199
No TPTP formula. May not be expressible in strict first order. terms-it.txt 202-202
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2352-2352
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 620-620
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 236-236
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 689-689
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 203-203


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