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 13510-13510
(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 13511-13513
(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 13509-13509

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 13491-13491
(subclass AquaticMammal Mammal) Merge.kif 13515-13515
(subclass Camel Mammal) Economy.kif 4241-4241
(subclass Carnivore Mammal) Merge.kif 13527-13527
(subclass Ferret Mammal) Mid-level-ontology.kif 28730-28730
(subclass Herbivore Mammal) Mid-level-ontology.kif 17803-17803
(subclass HoofedMammal Mammal) Merge.kif 13519-13519
(subclass Llama Mammal) Mid-level-ontology.kif 18064-18064
(subclass MammalCub Mammal) Mid-level-ontology.kif 28765-28765
(subclass Marsupial Mammal) Merge.kif 13523-13523
(subclass Primate Mammal) Merge.kif 13555-13555
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 28577-28577
(subclass Rodent Mammal) Merge.kif 13550-13550
(subclass Skunk Mammal) Mid-level-ontology.kif 18073-18073
(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 9960-9966
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))
Mid-level-ontology.kif 9304-9311


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners