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 14336-14336 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 14337-14339
(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 14335-14335 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 1227-1227 biologicalAgentCarrier MonkeypoxVirus and Mammal
(biologicalAgentCarrier RickettsialAgent Mammal) WMD.kif 247-247 biologicalAgentCarrier RickettsialAgent and Mammal
(disjoint Bird Mammal) Merge.kif 14317-14317 disjoint Bird and Mammal
(parasitic Louse Mammal) WMD.kif 1967-1967 parasitic Louse and Mammal
(parasitic Tick Mammal) WMD.kif 1978-1978 parasitic Tick and Mammal
(subclass AquaticMammal Mammal) Merge.kif 14341-14341 subclass AquaticMammal and Mammal
(subclass Camel Mammal) Economy.kif 4394-4394 subclass Camel and Mammal
(subclass Carnivore Mammal) Merge.kif 14353-14353 subclass Carnivore and Mammal
(subclass Ferret Mammal) Mid-level-ontology.kif 30089-30089 subclass Ferret and Mammal
(subclass Herbivore Mammal) Mid-level-ontology.kif 19454-19454 subclass Herbivore and Mammal
(subclass HoofedMammal Mammal) Merge.kif 14345-14345 subclass HoofedMammal and Mammal
(subclass Llama Mammal) Mid-level-ontology.kif 19710-19710 subclass Llama and Mammal
(subclass MammalCub Mammal) Mid-level-ontology.kif 30124-30124 subclass MammalCub and Mammal
(subclass Marsupial Mammal) Merge.kif 14349-14349 subclass Marsupial and Mammal
(subclass Primate Mammal) Merge.kif 14381-14381 subclass Primate and Mammal
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 29936-29936 subclass Rhinoceros and Mammal
(subclass Rodent Mammal) Merge.kif 14376-14376 subclass Rodent and Mammal
(subclass Skunk Mammal) Mid-level-ontology.kif 19719-19719 subclass Skunk and 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 10017-10017 domain diastolicBloodPressure, 1 and Mammal
(domain systolicBloodPressure 1 Mammal) Mid-level-ontology.kif 10005-10005 domain systolicBloodPressure, 1 and Mammal

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


(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?E Extension)
        (instrument ?E ?AC)
        (moves ?F ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Mammal))
    (capability Flexion instrument ?BC))
Mid-level-ontology.kif 10243-10254
(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Flexion)
        (instrument ?F ?AC)
        (moves ?F ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Mammal))
    (capability Extension instrument ?BC))
Mid-level-ontology.kif 10230-10241

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


(=>
    (instance ?HAIR Hair)
    (exists (?MAMMAL ?TIME)
        (and
            (instance ?MAMMAL Mammal)
            (holdsDuring ?TIME
                (part ?HAIR ?MAMMAL)))))
Mid-level-ontology.kif 11322-11328
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))
Mid-level-ontology.kif 10424-10431
(=>
    (instance ?P Platelet)
    (exists (?B ?M)
        (and
            (instance ?B Blood)
            (instance ?M Mammal)
            (part ?B ?M)
            (part ?P ?B))))
Mid-level-ontology.kif 9817-9824


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