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 13887-13887 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 13888-13890
(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 13886-13886 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 1221-1221 biologicalAgentCarrier MonkeypoxVirus and Mammal
(biologicalAgentCarrier RickettsialAgent Mammal) WMD.kif 247-247 biologicalAgentCarrier RickettsialAgent and Mammal
(disjoint Bird Mammal) Merge.kif 13868-13868 disjoint Bird and Mammal
(parasitic Louse Mammal) WMD.kif 1915-1915 parasitic Louse and Mammal
(parasitic Tick Mammal) WMD.kif 1926-1926 parasitic Tick and Mammal
(subclass AquaticMammal Mammal) Merge.kif 13892-13892 subclass AquaticMammal and Mammal
(subclass Camel Mammal) Economy.kif 4241-4241 subclass Camel and Mammal
(subclass Carnivore Mammal) Merge.kif 13904-13904 subclass Carnivore and Mammal
(subclass Ferret Mammal) Mid-level-ontology.kif 29283-29283 subclass Ferret and Mammal
(subclass Herbivore Mammal) Mid-level-ontology.kif 18701-18701 subclass Herbivore and Mammal
(subclass HoofedMammal Mammal) Merge.kif 13896-13896 subclass HoofedMammal and Mammal
(subclass Llama Mammal) Mid-level-ontology.kif 18957-18957 subclass Llama and Mammal
(subclass MammalCub Mammal) Mid-level-ontology.kif 29318-29318 subclass MammalCub and Mammal
(subclass Marsupial Mammal) Merge.kif 13900-13900 subclass Marsupial and Mammal
(subclass Primate Mammal) Merge.kif 13932-13932 subclass Primate and Mammal
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 29130-29130 subclass Rhinoceros and Mammal
(subclass Rodent Mammal) Merge.kif 13927-13927 subclass Rodent and Mammal
(subclass Skunk Mammal) Mid-level-ontology.kif 18966-18966 subclass Skunk and Mammal
(termFormat ChineseLanguage Mammal "哺乳动物") chinese_format.kif 990-990
(termFormat EnglishLanguage Mammal "mammal") english_format.kif 1192-1192

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


(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Extension)
        (instrument ?F ?A)
        (moved ?F ?PART)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?A ?H)
        (part ?B ?H)
        (instance ?H Mammal))
    (capability ?B instrument Flexion))
Mid-level-ontology.kif 9690-9701
(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Flexion)
        (instrument ?F ?A)
        (moved ?F ?PART)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?A ?H)
        (part ?B ?H)
        (instance ?H Mammal))
    (capability ?B instrument Extension))
Mid-level-ontology.kif 9677-9688

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


(=>
    (instance ?HAIR Hair)
    (exists (?MAMMAL ?TIME)
        (and
            (instance ?MAMMAL Mammal)
            (holdsDuring ?TIME
                (part ?HAIR ?MAMMAL)))))
Mid-level-ontology.kif 10738-10744
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))
Mid-level-ontology.kif 9871-9878


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