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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mammal
Mammal

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


(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 13572-13572
(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

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


(biologicalAgentCarrier BurkholderiaMallei Mammal) WMD.kif 356-356
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) WMD.kif 372-372
(biologicalAgentCarrier MonkeypoxVirus Mammal) WMD.kif 1187-1187
(biologicalAgentCarrier RickettsialAgent Mammal) WMD.kif 247-247
(disjoint Bird Mammal) Merge.kif 13553-13553
(subclass AquaticMammal Mammal) Merge.kif 13577-13577
(subclass Camel Mammal) Economy.kif 4241-4241
(subclass Carnivore Mammal) Merge.kif 13589-13589
(subclass Ferret Mammal) Mid-level-ontology.kif 26801-26801
(subclass Herbivore Mammal) Mid-level-ontology.kif 16557-16557
(subclass HoofedMammal Mammal) Merge.kif 13581-13581
(subclass Llama Mammal) Mid-level-ontology.kif 16813-16813
(subclass MammalCub Mammal) Mid-level-ontology.kif 26836-26836
(subclass Marsupial Mammal) Merge.kif 13585-13585
(subclass Primate Mammal) Merge.kif 13617-13617
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 26648-26648
(subclass Rodent Mammal) Merge.kif 13612-13612
(subclass Skunk Mammal) Mid-level-ontology.kif 16822-16822
(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 9104-9110
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))
Mid-level-ontology.kif 8441-8448


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