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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mammal
Mammal(mammal)
American_mastodon, American_mastodont, American_shrew_mole, American_water_shrew, Archidiskidon, Archidiskidon_imperator, Asiatic_shrew_mole, Bassariscidae, Bassariscus, Bassariscus_astutus, Blarina, Blarina_brevicauda, Bradypodidae, Bradypus, Bradypus_tridactylus, Burmeisteria, Burmeisteria_retusa, Cabassous_unicinctus, Chiroptera, Chlamyphorus, Chlamyphorus_truncatus, Choloepus, Choloepus_didactylus, Choloepus_hoffmanni, Chrysochloridae, Chrysochloris, Condylura, Condylura_cristata, Cryptotis, Cryptotis_parva, Cyclopes, Cyclopes_didactylus, Cynopterus, Cynopterus_sphinx, Dasypodidae, Dasypus, Dasypus_novemcinctus, Edentata, Erinaceidae, Erinaceus, Erinaceus_europaeus, Erinaceus_europeaeus, Euphractus, Euphractus_sexcinctus, European_water_shrew, Eutheria, Gomphotherium, Insectivora, Lipotyphla, Madoqua...

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


(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14581-14581 Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, 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 14582-14584
(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 14580-14580 Mammal is a subclass of warm blooded vertebrate

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


(biologicalAgentCarrier BurkholderiaMallei Mammal) WMD.kif 356-356 Mammal is a biological agent carrier of burkholderia mallei
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) WMD.kif 372-372 Mammal is a biological agent carrier of burkholderia pseudomallei
(biologicalAgentCarrier MonkeypoxVirus Mammal) WMD.kif 1235-1235 Mammal is a biological agent carrier of monkeypox virus
(biologicalAgentCarrier RickettsialAgent Mammal) WMD.kif 247-247 Mammal is a biological agent carrier of rickettsial agent
(disjoint Bird Mammal) Merge.kif 14562-14562 Bird is disjoint from mammal
(parasitic Louse Mammal) WMD.kif 1976-1976 parasitic lice and mammal
(parasitic Tick Mammal) WMD.kif 1987-1987 parasitic tick and mammal
(subclass AquaticMammal Mammal) Merge.kif 14586-14586 Aquatic mammal is a subclass of mammal
(subclass Camel Mammal) Economy.kif 4918-4918 Camel is a subclass of mammal
(subclass Carnivore Mammal) Merge.kif 14598-14598 Carnivore is a subclass of mammal
(subclass Ferret Mammal) Mid-level-ontology.kif 30585-30585 Ferret is a subclass of mammal
(subclass Herbivore Mammal) Mid-level-ontology.kif 20062-20062 Herbivore is a subclass of mammal
(subclass HoofedMammal Mammal) Merge.kif 14590-14590 Hoofed mammal is a subclass of mammal
(subclass Llama Mammal) Mid-level-ontology.kif 20318-20318 Llama is a subclass of mammal
(subclass MammalCub Mammal) Mid-level-ontology.kif 30620-30620 Cub is a subclass of mammal
(subclass Marsupial Mammal) Merge.kif 14594-14594 Marsupial is a subclass of mammal
(subclass Primate Mammal) Merge.kif 14626-14626 Primate is a subclass of mammal
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 30432-30432 Rhinoceros is a subclass of mammal
(subclass Rodent Mammal) Merge.kif 14621-14621 Rodent is a subclass of mammal
(subclass Skunk Mammal) Mid-level-ontology.kif 20327-20327 Skunk is a subclass of mammal
(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 10440-10440 The number 1 argument of diastolic blood pressure is an instance of mammal
(domain restingBreathingRate 1 Mammal) Medicine.kif 334-334 The number 1 argument of resting breathing rate is an instance of mammal
(domain restingHeartRate 1 Mammal) Medicine.kif 114-114 The number 1 argument of baseline heart rate is an instance of mammal
(domain systolicBloodPressure 1 Mammal) Mid-level-ontology.kif 10428-10428 The number 1 argument of systolic blood pressure is an instance of mammal
(domainSubclass typicalBloodVolume 1 Mammal) Medicine.kif 5927-5927 The number 1 argument of typicalBloodVolume is a subclass of 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 10685-10696
(=>
    (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 10672-10683

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 11786-11792
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))
Mid-level-ontology.kif 10870-10877
(=>
    (instance ?P Platelet)
    (exists (?B ?M)
        (and
            (instance ?B Blood)
            (instance ?M Mammal)
            (part ?B ?M)
            (part ?P ?B))))
Mid-level-ontology.kif 10199-10206


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