Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mammal

 Sigma KEE - Mammal
Mammal(Mamifero)

appearance as argument number 1
-------------------------


(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14603-14603 Mamifero e' disjuntamente decomponivel em Mamifero Aquatico, Ungulado, Marsupial, Roedor, + Primata
(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 14604-14606
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/6/69/ Friesian-Holstein.jpg") pictureList.kif 4773-4773
(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 14602-14602 Mamifero e' uma sub-classe de Vertebrado de Sangue Quente

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


(biologicalAgentCarrier BurkholderiaMallei Mammal) WMD.kif 356-356 biologicalAgentCarrier BurkholderiaMallei and Mamifero
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) WMD.kif 372-372 biologicalAgentCarrier BurkholderiaPseudomallei and Mamifero
(biologicalAgentCarrier MonkeypoxVirus Mammal) WMD.kif 1235-1235 biologicalAgentCarrier MonkeypoxVirus and Mamifero
(biologicalAgentCarrier RickettsialAgent Mammal) WMD.kif 247-247 biologicalAgentCarrier RickettsialAgent and Mamifero
(disjoint Bird Mammal) Merge.kif 14584-14584 Passaro e' disjunto de Mamifero
(parasitic Louse Mammal) WMD.kif 1976-1976 parasitic Louse and Mamifero
(parasitic Tick Mammal) WMD.kif 1987-1987 parasitic Tick and Mamifero
(subclass AquaticMammal Mammal) Merge.kif 14608-14608 Mamifero Aquatico e' uma sub-classe de Mamifero
(subclass Camel Mammal) Economy.kif 4918-4918 Camel e' uma sub-classe de Mamifero
(subclass Carnivore Mammal) Merge.kif 14620-14620 Carnivoro e' uma sub-classe de Mamifero
(subclass Ferret Mammal) Mid-level-ontology.kif 30573-30573 Ferret e' uma sub-classe de Mamifero
(subclass Herbivore Mammal) Mid-level-ontology.kif 20061-20061 Herbivore e' uma sub-classe de Mamifero
(subclass HoofedMammal Mammal) Merge.kif 14612-14612 Ungulado e' uma sub-classe de Mamifero
(subclass Llama Mammal) Mid-level-ontology.kif 20317-20317 Llama e' uma sub-classe de Mamifero
(subclass MammalCub Mammal) Mid-level-ontology.kif 30608-30608 MammalCub e' uma sub-classe de Mamifero
(subclass Marsupial Mammal) Merge.kif 14616-14616 Marsupial e' uma sub-classe de Mamifero
(subclass Primate Mammal) Merge.kif 14648-14648 Primata e' uma sub-classe de Mamifero
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 30420-30420 Rhinoceros e' uma sub-classe de Mamifero
(subclass Rodent Mammal) Merge.kif 14643-14643 Roedor e' uma sub-classe de Mamifero
(subclass Skunk Mammal) Mid-level-ontology.kif 20326-20326 Skunk e' uma sub-classe de Mamifero
(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

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 10439-10439 O argumento numero 1 de diastolicBloodPressure e' uma instancia de Mamifero
(domain restingBreathingRate 1 Mammal) Medicine.kif 334-334 O argumento numero 1 de restingBreathingRate e' uma instancia de Mamifero
(domain restingHeartRate 1 Mammal) Medicine.kif 114-114 O argumento numero 1 de restingHeartRate e' uma instancia de Mamifero
(domain systolicBloodPressure 1 Mammal) Mid-level-ontology.kif 10427-10427 O argumento numero 1 de systolicBloodPressure e' uma instancia de Mamifero
(domainSubclass typicalBloodVolume 1 Mammal) Medicine.kif 5927-5927 O argumento numero 1 de typicalBloodVolume e' uma sub-classe de Mamifero

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


(=>
    (instance ?A Anticoagulant)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M Mammal)
                (experiencer ?M
                    (ImpairmentFn Clotting))))))		 Medicine.kif 4853-4860
(=>
    (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 11785-11791
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))		 Mid-level-ontology.kif 10869-10876
(=>
    (instance ?P Platelet)
    (exists (?B ?M)
        (and
            (instance ?B Blood)
            (instance ?M Mammal)
            (part ?B ?M)
            (part ?P ?B))))		 Mid-level-ontology.kif 10198-10205


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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