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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Mammal
Mammal(mammif�re)

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


(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14734-14734 Mammif�re est disjointement decompos� en mammif�re aquatique, ongul�, marsupial, rongeur, + primate
(documentation Mammal ChineseLanguage "这是一种有恒常体温的 Vertebrate，身上的毛发、乳腺和 汗腺是它们的特征。") chinese_format.kif 3419-3420 Mammif�re est disjointement decompos� en mammif�re aquatique, ongul�, marsupial, rongeur, + primate
(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 Mammif�re est disjointement decompos� en mammif�re aquatique, ongul�, marsupial, rongeur, + primate
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/6/69/ Friesian_Holstein.jpg") pictureList.kif 4772-4772 Mammif�re est disjointement decompos� en mammif�re aquatique, ongul�, marsupial, rongeur, + primate
(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 Mammif�re est disjointement decompos� en mammif�re aquatique, ongul�, marsupial, rongeur, + primate
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ab/ House_mouse.jpg/ 180px_House_mouse.jpg") pictureList-ImageNet.kif 44-44 Mammif�re est disjointement decompos� en mammif�re aquatique, ongul�, marsupial, rongeur, + primate
(subclass Mammal WarmBloodedVertebrate) Merge.kif 14733-14733 Mammif�re est une sous-classe de vert�br� � sang chaud

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


(biologicalAgentCarrier BurkholderiaMallei Mammal) WMD.kif 356-356 biologicalAgentCarrier BurkholderiaMallei and mammif�re
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) WMD.kif 372-372 biologicalAgentCarrier BurkholderiaPseudomallei and mammif�re
(biologicalAgentCarrier MonkeypoxVirus Mammal) WMD.kif 1235-1235 biologicalAgentCarrier MonkeypoxVirus and mammif�re
(biologicalAgentCarrier RickettsialAgent Mammal) WMD.kif 247-247 biologicalAgentCarrier RickettsialAgent and mammif�re
(disjoint Bird Mammal) Merge.kif 14715-14715 Oiseau est disjoint de mammif�re
(parasitic Louse Mammal) WMD.kif 1976-1976 parasitic Louse and mammif�re
(parasitic Tick Mammal) WMD.kif 1987-1987 parasitic Tick and mammif�re
(subclass AquaticMammal Mammal) Merge.kif 14739-14739 Mammif�re aquatique est une sous-classe de mammif�re
(subclass Camel Mammal) Economy.kif 5258-5258 Camel est une sous-classe de mammif�re
(subclass Ferret Mammal) Mid-level-ontology.kif 32502-32502 Ferret est une sous-classe de mammif�re
(subclass HoofedMammal Mammal) Merge.kif 14743-14743 Ongul� est une sous-classe de mammif�re
(subclass Llama Mammal) Mid-level-ontology.kif 21923-21923 Llama est une sous-classe de mammif�re
(subclass MammalCub Mammal) Mid-level-ontology.kif 32537-32537 MammalCub est une sous-classe de mammif�re
(subclass Marsupial Mammal) Merge.kif 14747-14747 Marsupial est une sous-classe de mammif�re
(subclass Primate Mammal) Merge.kif 14779-14779 Primate est une sous-classe de mammif�re
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 32349-32349 Rhinoceros est une sous-classe de mammif�re
(subclass Rodent Mammal) Merge.kif 14774-14774 Rongeur est une sous-classe de mammif�re
(subclass Skunk Mammal) Mid-level-ontology.kif 21932-21932 Skunk est une sous-classe de mammif�re
(termFormat ChineseLanguage Mammal "哺乳动物") chinese_format.kif 990-990 Skunk est une sous-classe de mammif�re
(termFormat EnglishLanguage Mammal "mammal") english_format.kif 1187-1187 Skunk est une sous-classe de mammif�re
(termFormat FrenchLanguage Mammal "mammif�re") french_format.kif 667-667 Skunk est une sous-classe de mammif�re
(termFormat Hindi Mammal "stanapaayI") terms-hindi.txt 198-198 Skunk est une sous-classe de mammif�re
(termFormat ItalianLanguage Mammal "Mammifero") terms-it.txt 201-201 Skunk est une sous-classe de mammif�re
(termFormat JapaneseLanguage Mammal "哺乳動物") japanese_format.kif 2351-2351 Skunk est une sous-classe de mammif�re
(termFormat PortugueseLanguage Mammal "Mamifero") portuguese_format.kif 619-619 Skunk est une sous-classe de mammif�re

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 11765-11765 Le nombre 1 argument de diastolicBloodPressure est une instance de mammif�re
(domain restingBreathingRate 1 Mammal) Medicine.kif 322-322 Le nombre 1 argument de restingBreathingRate est une instance de mammif�re
(domain restingHeartRate 1 Mammal) Medicine.kif 114-114 Le nombre 1 argument de restingHeartRate est une instance de mammif�re
(domain systolicBloodPressure 1 Mammal) Mid-level-ontology.kif 11753-11753 Le nombre 1 argument de systolicBloodPressure est une instance de mammif�re
(domainSubclass typicalBloodVolume 1 Mammal) Medicine.kif 5944-5944 Le nombre 1 argument de typicalBloodVolume est une sous-classe de mammif�re

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 13111-13117
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))		 Mid-level-ontology.kif 12195-12202
(=>
    (instance ?P Platelet)
    (exists (?B ?M)
        (and
            (instance ?B Blood)
            (instance ?M Mammal)
            (part ?B ?M)
            (part ?P ?B))))		 Mid-level-ontology.kif 11522-11529


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