Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass Mammal WarmBloodedVertebrate) Merge.kif 14755-14755 Mammal is a subclass of warm blooded vertebrate
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14756-14756 Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and 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 14757-14759 Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and 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 Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ab/ House_mouse.jpg/ 180px_House_mouse.jpg") pictureList-ImageNet.kif 44-44 Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/6/69/ Friesian_Holstein.jpg") pictureList.kif 4772-4772 Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate

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


(subclass Camel Mammal) Economy.kif 5253-5253 Camel is a subclass of mammal
(disjoint Bird Mammal) Merge.kif 14737-14737 Bird is disjoint from mammal
(subclass AquaticMammal Mammal) Merge.kif 14761-14761 Aquatic mammal is a subclass of mammal
(subclass HoofedMammal Mammal) Merge.kif 14765-14765 Hoofed mammal is a subclass of mammal
(subclass Marsupial Mammal) Merge.kif 14769-14769 Marsupial is a subclass of mammal
(subclass Rodent Mammal) Merge.kif 14796-14796 Rodent is a subclass of mammal
(subclass Primate Mammal) Merge.kif 14801-14801 Primate is a subclass of mammal
(subclass Llama Mammal) Mid-level-ontology.kif 22594-22594 Llama is a subclass of mammal
(subclass Skunk Mammal) Mid-level-ontology.kif 22603-22603 Skunk is a subclass of mammal
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 33112-33112 Rhinoceros is a subclass of mammal
(subclass Ferret Mammal) Mid-level-ontology.kif 33265-33265 Ferret is a subclass of mammal
(subclass MammalCub Mammal) Mid-level-ontology.kif 33300-33300 Cub is a subclass of mammal
(biologicalAgentCarrier RickettsialAgent Mammal) WMD.kif 247-247 Mammal is a biological agent carrier of rickettsial agent
(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
(parasitic Louse Mammal) WMD.kif 1976-1976 parasitic lice and mammal
(parasitic Tick Mammal) WMD.kif 1987-1987 parasitic tick and mammal
(termFormat EnglishLanguage Mammal "mammal") english_format.kif 1187-1187 parasitic tick and mammal

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


(domain restingHeartRate 1 Mammal) Medicine.kif 114-114 The number 1 argument of baseline heart rate is an instance of mammal
(domain restingBreathingRate 1 Mammal) Medicine.kif 323-323 The number 1 argument of resting breathing rate is an instance of mammal
(domainSubclass typicalBloodVolume 1 Mammal) Medicine.kif 5920-5920 The number 1 argument of typical blood volume is a subclass of mammal
(domain systolicBloodPressure 1 Mammal) Mid-level-ontology.kif 11798-11798 The number 1 argument of systolic blood pressure is an instance of mammal
(domain diastolicBloodPressure 1 Mammal) Mid-level-ontology.kif 11810-11810 The number 1 argument of diastolic blood pressure is an instance of mammal

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


(=>
    (instance ?AT ApplyingTourniquet)
    (exists (?A ?P ?T)
        (and
            (instance ?A AutonomousAgent)
            (instance ?P Mammal)
            (holdsDuring
                (WhenFn ?AT)
                (attribute ?T Tourniquet))
            (destination ?AT ?P)
            (agent ?AT ?A)
            (objectTransferred ?AT ?T))))		 Medicine.kif 67-78 If X is an instance of applying a tourniquet, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of agent (3) Z is an instance of mammal (4) tourniquet is an attribute of W holds during the time of existence of X (5) X ends up at Z (6) Y is an agent of X (7) the object transferred in X is W
(=>
    (instance ?A Anticoagulant)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M Mammal)
                (experiencer ?M
                    (ImpairmentFn Clotting))))))		 Medicine.kif 4836-4843 If X is an instance of blood thinner, then X has the purpose there exists Y such that Y is an instance of mammal and impairment in coagulation experiences Y
(=>
    (instance ?P Platelet)
    (exists (?B ?M)
        (and
            (instance ?B Blood)
            (instance ?M Mammal)
            (part ?B ?M)
            (part ?P ?B))))		 Mid-level-ontology.kif 11567-11574 If X is an instance of thrombocyte, then there exist Y, Z such that Y is an instance of blood, Z is an instance of mammal, Y is a part of Z, and X is a part of Y
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))		 Mid-level-ontology.kif 12240-12247 If X is an instance of milk, then there exist Y, Z such that Z is an instance of mammal, female is an attribute of Z, Z is an instrument for Y, and X is a result of Y
(=>
    (instance ?HAIR Hair)
    (exists (?MAMMAL ?TIME)
        (and
            (instance ?MAMMAL Mammal)
            (holdsDuring ?TIME
                (part ?HAIR ?MAMMAL)))))		 Mid-level-ontology.kif 13160-13166 If X is an instance of hair, then there exist Y, Z such that Y is an instance of mammal, and X is a part of Y holds during Z


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