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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mammal
Mammal(mammal)
American_mastodon, American_mastodont, American_shrew_mole, American_water_shrew, Archidiskidon, Archidiskidon_imperator, Asiatic_shrew_mole, Bassariscidae, Bassariscus, Bassariscus_astutus, Blarina, Blarina_brevicauda, Bradypodidae, Bradypus, Bradypus_tridactylus, Burmeisteria, Burmeisteria_retusa, Cabassous_unicinctus, Chiroptera, Chlamyphorus, Chlamyphorus_truncatus, Choloepus, Choloepus_didactylus, Choloepus_hoffmanni, Chrysochloridae, Chrysochloris, Condylura, Condylura_cristata, Cryptotis, Cryptotis_parva, Cyclopes, Cyclopes_didactylus, Cynopterus, Cynopterus_sphinx, Dasypodidae, Dasypus, Dasypus_novemcinctus, Edentata, Erinaceidae, Erinaceus, Erinaceus_europaeus, Erinaceus_europeaeus, Euphractus, Euphractus_sexcinctus, European_water_shrew, Eutheria, Gomphotherium, Insectivora, Lipotyphla, Madoqua...

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


(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 13572-13572 Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate
(documentation Mammal ChineseLanguage "这是一种有恒常体温的 Vertebrate,身上的毛发、乳腺和 汗腺是它们的特征。") chinese_format.kif 3419-3420
(documentation Mammal EnglishLanguage "A Vertebrate having a constant body temperature and characterized by the presence of hair, mammary glands, and sweat glands.") Merge.kif 13573-13575
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/6/69/ Friesian-Holstein.jpg") pictureList.kif 4774-4774
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2d/ Cane_corso_głowa_profil_493o.jpg/ 210px-Cane_corso_głowa_profil_493o.jpg") pictureList-ImageNet.kif 44-44
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ab/ House_mouse.jpg/ 180px-House_mouse.jpg") pictureList-ImageNet.kif 45-45
(subclass Mammal WarmBloodedVertebrate) Merge.kif 13571-13571 Mammal is a subclass of warm blooded vertebrate

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


(biologicalAgentCarrier BurkholderiaMallei Mammal) WMD.kif 356-356 Mammal is a biological agent carrier of burkholderia mallei
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) WMD.kif 372-372 Mammal is a biological agent carrier of burkholderia pseudomallei
(biologicalAgentCarrier MonkeypoxVirus Mammal) WMD.kif 1154-1154 Mammal is a biological agent carrier of monkeypox virus
(biologicalAgentCarrier RickettsialAgent Mammal) WMD.kif 247-247 Mammal is a biological agent carrier of rickettsial agent
(disjoint Bird Mammal) Merge.kif 13553-13553 Bird is disjoint from mammal
(subclass AquaticMammal Mammal) Merge.kif 13577-13577 Aquatic mammal is a subclass of mammal
(subclass Camel Mammal) Economy.kif 4241-4241 Camel is a subclass of mammal
(subclass Carnivore Mammal) Merge.kif 13589-13589 Carnivore is a subclass of mammal
(subclass Ferret Mammal) Mid-level-ontology.kif 28762-28762 Ferret is a subclass of mammal
(subclass Herbivore Mammal) Mid-level-ontology.kif 17833-17833 Herbivore is a subclass of mammal
(subclass HoofedMammal Mammal) Merge.kif 13581-13581 Hoofed mammal is a subclass of mammal
(subclass Llama Mammal) Mid-level-ontology.kif 18094-18094 Llama is a subclass of mammal
(subclass MammalCub Mammal) Mid-level-ontology.kif 28797-28797 Cub is a subclass of mammal
(subclass Marsupial Mammal) Merge.kif 13585-13585 Marsupial is a subclass of mammal
(subclass Primate Mammal) Merge.kif 13617-13617 Primate is a subclass of mammal
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 28609-28609 Rhinoceros is a subclass of mammal
(subclass Rodent Mammal) Merge.kif 13612-13612 Rodent is a subclass of mammal
(subclass Skunk Mammal) Mid-level-ontology.kif 18103-18103 Skunk is a subclass of mammal
(termFormat ChineseLanguage Mammal "哺乳动物") chinese_format.kif 990-990
(termFormat EnglishLanguage Mammal "mammal") english_format.kif 1192-1192

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


(=>
    (instance ?HAIR Hair)
    (exists (?MAMMAL ?TIME)
        (and
            (instance ?MAMMAL Mammal)
            (holdsDuring ?TIME
                (part ?HAIR ?MAMMAL)))))
Mid-level-ontology.kif 9956-9962
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))
Mid-level-ontology.kif 9285-9292


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