Mammal - Sigma Knowledge base Browser

appearance as argument number 1

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)	Merge.kif 14734-14734	Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate
(documentation Mammal ChineseLanguage "这是一种有恒常体温的 Vertebrate，身上的毛发、乳腺和汗腺是它们的特征。")	chinese_format.kif 3419-3420	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 14735-14737	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
(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
(subclass Mammal WarmBloodedVertebrate)	Merge.kif 14733-14733	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 14715-14715	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 14739-14739	Aquatic mammal is a subclass of mammal
(subclass Camel Mammal)	Economy.kif 5258-5258	Camel is a subclass of mammal
(subclass Ferret Mammal)	Mid-level-ontology.kif 32519-32519	Ferret is a subclass of mammal
(subclass HoofedMammal Mammal)	Merge.kif 14743-14743	Hoofed mammal is a subclass of mammal
(subclass Llama Mammal)	Mid-level-ontology.kif 21935-21935	Llama is a subclass of mammal
(subclass MammalCub Mammal)	Mid-level-ontology.kif 32554-32554	Cub is a subclass of mammal
(subclass Marsupial Mammal)	Merge.kif 14747-14747	Marsupial is a subclass of mammal
(subclass Primate Mammal)	Merge.kif 14779-14779	Primate is a subclass of mammal
(subclass Rhinoceros Mammal)	Mid-level-ontology.kif 32366-32366	Rhinoceros is a subclass of mammal
(subclass Rodent Mammal)	Merge.kif 14774-14774	Rodent is a subclass of mammal
(subclass Skunk Mammal)	Mid-level-ontology.kif 21944-21944	Skunk is a subclass of mammal
(termFormat ChineseLanguage Mammal "哺乳动物")	chinese_format.kif 990-990	Skunk is a subclass of mammal
(termFormat EnglishLanguage Mammal "mammal")	english_format.kif 1187-1187	Skunk is a subclass of mammal
(termFormat FrenchLanguage Mammal "mammif�re")	french_format.kif 667-667	Skunk is a subclass of mammal
(termFormat Hindi Mammal "stanapaayI")	terms-hindi.txt 198-198	Skunk is a subclass of mammal
(termFormat ItalianLanguage Mammal "Mammifero")	terms-it.txt 201-201	Skunk is a subclass of mammal
(termFormat JapaneseLanguage Mammal "哺乳動物")	japanese_format.kif 2351-2351	Skunk is a subclass of mammal

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	The number 1 argument of diastolic blood pressure is an instance of mammal
(domain restingBreathingRate 1 Mammal)	Medicine.kif 322-322	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 11759-11759	The number 1 argument of systolic blood pressure is an instance of mammal
(domainSubclass typicalBloodVolume 1 Mammal)	Medicine.kif 5944-5944	The number 1 argument of typical blood volume is a subclass of mammal

consequent

(=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting))))))	Medicine.kif 4860-4867	If a physical is an instance of blood thinner, then the physical has the purpose there exists an entity such that the entity is an instance of mammal and impairment in coagulation experiences the entity
(=> (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	If a transfer is an instance of applying a tourniquet, then there exist an agent, an entity and an object such that the agent is an instance of Agent and the entity is an instance of mammal and tourniquet is an attribute of the object holds during the time of existence of the transfer and the transfer ends up at the entity and the agent is an agent of the transfer and the object transferred in the transfer is the object
(=> (instance ?HAIR Hair) (exists (?MAMMAL ?TIME) (and (instance ?MAMMAL Mammal) (holdsDuring ?TIME (part ?HAIR ?MAMMAL)))))	Mid-level-ontology.kif 13117-13123	If an entity is an instance of hair, then there exist another entity and a time position such that the other entity is an instance of mammal and the entity is a part of the other entity holds during the time position
(=> (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	If an entity is an instance of milk, then there exist a process and an object such that the object is an instance of mammal and female is an attribute of the object and the object is an instrument for the process and the entity is a result of the process
(=> (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	If an object is an instance of thrombocyte, then there exist another object and a third object such that the other object is an instance of blood and the third object is an instance of mammal and the other object is a part of the third object and the object is a part of the other object

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

KB Term:			Term intersection

English Word: