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 13557-13557 disjointDecomposition Mammal, AquaticMammal, HoofedMammal, 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 13558-13560
(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 13556-13556 subclass Mammal and WarmBloodedVertebrate

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


(biologicalAgentCarrier BurkholderiaMallei Mammal) WMD.kif 356-356 biologicalAgentCarrier BurkholderiaMallei and Mammal
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) WMD.kif 372-372 biologicalAgentCarrier BurkholderiaPseudomallei and Mammal
(biologicalAgentCarrier MonkeypoxVirus Mammal) WMD.kif 1154-1154 biologicalAgentCarrier MonkeypoxVirus and Mammal
(biologicalAgentCarrier RickettsialAgent Mammal) WMD.kif 247-247 biologicalAgentCarrier RickettsialAgent and Mammal
(disjoint Bird Mammal) Merge.kif 13538-13538 disjoint Bird and Mammal
(subclass AquaticMammal Mammal) Merge.kif 13562-13562 subclass AquaticMammal and Mammal
(subclass Camel Mammal) Economy.kif 4241-4241 subclass Camel and Mammal
(subclass Carnivore Mammal) Merge.kif 13574-13574 subclass Carnivore and Mammal
(subclass Ferret Mammal) Mid-level-ontology.kif 28762-28762 subclass Ferret and Mammal
(subclass Herbivore Mammal) Mid-level-ontology.kif 17833-17833 subclass Herbivore and Mammal
(subclass HoofedMammal Mammal) Merge.kif 13566-13566 subclass HoofedMammal and Mammal
(subclass Llama Mammal) Mid-level-ontology.kif 18094-18094 subclass Llama and Mammal
(subclass MammalCub Mammal) Mid-level-ontology.kif 28797-28797 subclass MammalCub and Mammal
(subclass Marsupial Mammal) Merge.kif 13570-13570 subclass Marsupial and Mammal
(subclass Primate Mammal) Merge.kif 13602-13602 subclass Primate and Mammal
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 28609-28609 subclass Rhinoceros and Mammal
(subclass Rodent Mammal) Merge.kif 13597-13597 subclass Rodent and Mammal
(subclass Skunk Mammal) Mid-level-ontology.kif 18103-18103 subclass Skunk and 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