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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mammal

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 13941-13941 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 13942-13944
(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 43-43
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ab/ House_mouse.jpg/ 180px-House_mouse.jpg") pictureList-ImageNet.kif 44-44
(subclass Mammal WarmBloodedVertebrate) Merge.kif 13940-13940 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 1221-1221 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 13922-13922 Bird is disjoint from mammal
(parasitic Louse Mammal) WMD.kif 1947-1947 parasitic lice and mammal
(parasitic Tick Mammal) WMD.kif 1958-1958 parasitic tick and mammal
(subclass AquaticMammal Mammal) Merge.kif 13946-13946 Aquatic mammal is a subclass of mammal
(subclass Camel Mammal) Economy.kif 4244-4244 Camel is a subclass of mammal
(subclass Carnivore Mammal) Merge.kif 13958-13958 Carnivore is a subclass of mammal
(subclass Ferret Mammal) Mid-level-ontology.kif 29817-29817 Ferret is a subclass of mammal
(subclass Herbivore Mammal) Mid-level-ontology.kif 19224-19224 Herbivore is a subclass of mammal
(subclass HoofedMammal Mammal) Merge.kif 13950-13950 Hoofed mammal is a subclass of mammal
(subclass Llama Mammal) Mid-level-ontology.kif 19480-19480 Llama is a subclass of mammal
(subclass MammalCub Mammal) Mid-level-ontology.kif 29852-29852 Cub is a subclass of mammal
(subclass Marsupial Mammal) Merge.kif 13954-13954 Marsupial is a subclass of mammal
(subclass Primate Mammal) Merge.kif 13986-13986 Primate is a subclass of mammal
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 29664-29664 Rhinoceros is a subclass of mammal
(subclass Rodent Mammal) Merge.kif 13981-13981 Rodent is a subclass of mammal
(subclass Skunk Mammal) Mid-level-ontology.kif 19489-19489 Skunk is a subclass of mammal
(termFormat ChineseLanguage Mammal "哺乳动物") chinese_format.kif 990-990
(termFormat EnglishLanguage Mammal "mammal") english_format.kif 1187-1187

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


(domain diastolicBloodPressure 1 Mammal) Mid-level-ontology.kif 9839-9839 The number 1 argument of diastolic blood pressure is an instance of mammal
(domain systolicBloodPressure 1 Mammal) Mid-level-ontology.kif 9827-9827 The number 1 argument of systolic blood pressure is an instance of mammal

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


(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Extension)
        (instrument ?F ?A)
        (moves ?F ?PART)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?A ?H)
        (part ?B ?H)
        (instance ?H Mammal))
    (capability ?B instrument Flexion))
Mid-level-ontology.kif 10062-10073
(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Flexion)
        (instrument ?F ?A)
        (moves ?F ?PART)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?A ?H)
        (part ?B ?H)
        (instance ?H Mammal))
    (capability ?B instrument Extension))
Mid-level-ontology.kif 10049-10060

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


(=>
    (instance ?HAIR Hair)
    (exists (?MAMMAL ?TIME)
        (and
            (instance ?MAMMAL Mammal)
            (holdsDuring ?TIME
                (part ?HAIR ?MAMMAL)))))
Mid-level-ontology.kif 11139-11145
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))
Mid-level-ontology.kif 10243-10250
(=>
    (instance ?P Platelet)
    (exists (?B ?M)
        (and
            (instance ?B Blood)
            (instance ?M Mammal)
            (part ?B ?M)
            (part ?P ?B))))
Mid-level-ontology.kif 9639-9646


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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