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 13537-13537
(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 13538-13540
(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 13536-13536

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


(biologicalAgentCarrier BurkholderiaMallei Mammal) WMD.kif 356-356
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) WMD.kif 372-372
(biologicalAgentCarrier MonkeypoxVirus Mammal) WMD.kif 1154-1154
(biologicalAgentCarrier RickettsialAgent Mammal) WMD.kif 247-247
(disjoint Bird Mammal) Merge.kif 13518-13518
(subclass AquaticMammal Mammal) Merge.kif 13542-13542
(subclass Camel Mammal) Economy.kif 4241-4241
(subclass Carnivore Mammal) Merge.kif 13554-13554
(subclass Ferret Mammal) Mid-level-ontology.kif 28754-28754
(subclass Herbivore Mammal) Mid-level-ontology.kif 17828-17828
(subclass HoofedMammal Mammal) Merge.kif 13546-13546
(subclass Llama Mammal) Mid-level-ontology.kif 18089-18089
(subclass MammalCub Mammal) Mid-level-ontology.kif 28789-28789
(subclass Marsupial Mammal) Merge.kif 13550-13550
(subclass Primate Mammal) Merge.kif 13582-13582
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 28601-28601
(subclass Rodent Mammal) Merge.kif 13577-13577
(subclass Skunk Mammal) Mid-level-ontology.kif 18098-18098
(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 9954-9960
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))
Mid-level-ontology.kif 9283-9290


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