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 14734-14734
(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 14735-14737
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/6/69/ Friesian_Holstein.jpg") pictureList.kif 4772-4772
(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 14733-14733

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


(biologicalAgentCarrier BurkholderiaMallei Mammal) WMD.kif 356-356
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) WMD.kif 372-372
(biologicalAgentCarrier MonkeypoxVirus Mammal) WMD.kif 1235-1235
(biologicalAgentCarrier RickettsialAgent Mammal) WMD.kif 247-247
(disjoint Bird Mammal) Merge.kif 14715-14715
(parasitic Louse Mammal) WMD.kif 1976-1976
(parasitic Tick Mammal) WMD.kif 1987-1987
(subclass AquaticMammal Mammal) Merge.kif 14739-14739
(subclass Camel Mammal) Economy.kif 5258-5258
(subclass Ferret Mammal) Mid-level-ontology.kif 32519-32519
(subclass HoofedMammal Mammal) Merge.kif 14743-14743
(subclass Llama Mammal) Mid-level-ontology.kif 21935-21935
(subclass MammalCub Mammal) Mid-level-ontology.kif 32554-32554
(subclass Marsupial Mammal) Merge.kif 14747-14747
(subclass Primate Mammal) Merge.kif 14779-14779
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 32366-32366
(subclass Rodent Mammal) Merge.kif 14774-14774
(subclass Skunk Mammal) Mid-level-ontology.kif 21944-21944
(termFormat ChineseLanguage Mammal "哺乳动物") chinese_format.kif 990-990
(termFormat EnglishLanguage Mammal "mammal") english_format.kif 1187-1187
(termFormat FrenchLanguage Mammal "mammif�re") french_format.kif 667-667
(termFormat Hindi Mammal "stanapaayI") terms-hindi.txt 198-198
(termFormat ItalianLanguage Mammal "Mammifero") terms-it.txt 201-201
(termFormat JapaneseLanguage Mammal "哺乳動物") japanese_format.kif 2351-2351

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain diastolicBloodPressure 1 Mammal) Mid-level-ontology.kif 11771-11771
(domain restingBreathingRate 1 Mammal) Medicine.kif 322-322
(domain restingHeartRate 1 Mammal) Medicine.kif 114-114
(domain systolicBloodPressure 1 Mammal) Mid-level-ontology.kif 11759-11759
(domainSubclass typicalBloodVolume 1 Mammal) Medicine.kif 5944-5944

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


(=>
    (instance ?A Anticoagulant)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M Mammal)
                (experiencer ?M
                    (ImpairmentFn Clotting))))))
Medicine.kif 4860-4867
(=>
    (instance ?AT ApplyingTourniquet)
    (exists (?A ?P ?T)
        (and
            (instance ?A Agent)
            (instance ?P Mammal)
            (holdsDuring
                (WhenFn ?AT)
                (attribute ?T Tourniquet))
            (destination ?AT ?P)
            (agent ?AT ?A)
            (objectTransferred ?AT ?T))))
Medicine.kif 67-78
(=>
    (instance ?HAIR Hair)
    (exists (?MAMMAL ?TIME)
        (and
            (instance ?MAMMAL Mammal)
            (holdsDuring ?TIME
                (part ?HAIR ?MAMMAL)))))
Mid-level-ontology.kif 13117-13123
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))
Mid-level-ontology.kif 12201-12208
(=>
    (instance ?P Platelet)
    (exists (?B ?M)
        (and
            (instance ?B Blood)
            (instance ?M Mammal)
            (part ?B ?M)
            (part ?P ?B))))
Mid-level-ontology.kif 11528-11535


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