TreeView Knowledge Base Browser

appearance as argument number 1

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)	Merge.kif 14581-14581	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 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	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 14562-14562	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 14586-14586	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 14598-14598	Carnivoro e' uma sub-classe de Mamifero
(subclass Ferret Mammal)	Mid-level-ontology.kif 30585-30585	Ferret e' uma sub-classe de Mamifero
(subclass Herbivore Mammal)	Mid-level-ontology.kif 20062-20062	Herbivore e' uma sub-classe de Mamifero
(subclass HoofedMammal Mammal)	Merge.kif 14590-14590	Ungulado e' uma sub-classe de Mamifero
(subclass Llama Mammal)	Mid-level-ontology.kif 20318-20318	Llama e' uma sub-classe de Mamifero
(subclass MammalCub Mammal)	Mid-level-ontology.kif 30620-30620	MammalCub e' uma sub-classe de Mamifero
(subclass Marsupial Mammal)	Merge.kif 14594-14594	Marsupial e' uma sub-classe de Mamifero
(subclass Primate Mammal)	Merge.kif 14626-14626	Primata e' uma sub-classe de Mamifero
(subclass Rhinoceros Mammal)	Mid-level-ontology.kif 30432-30432	Rhinoceros e' uma sub-classe de Mamifero
(subclass Rodent Mammal)	Merge.kif 14621-14621	Roedor e' uma sub-classe de Mamifero
(subclass Skunk Mammal)	Mid-level-ontology.kif 20327-20327	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 10440-10440	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 10428-10428	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

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	antagonistMuscles Musculo and Musculo Processo e' uma instancia de Extension MusculoC e' um instrumento para Processo moves Movimento and MusculoC MusculoC e' uma instancia de Musculo MusculoC e' uma instancia de Musculo MusculoC e' uma &parte de Objeto MusculoC e' uma &parte de Objeto Objeto e' uma instancia de Mamifero MusculoC e' capaz de fazer Flexion no role instrument
(=> (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	antagonistMuscles Musculo and Musculo Movimento e' uma instancia de Flexion MusculoC e' um instrumento para Movimento moves Movimento and MusculoC MusculoC e' uma instancia de Musculo MusculoC e' uma instancia de Musculo MusculoC e' uma &parte de Objeto MusculoC e' uma &parte de Objeto Objeto e' uma instancia de Mamifero MusculoC e' capaz de fazer Extension no role instrument

consequent

(=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting))))))	Medicine.kif 4853-4860	Fisico e' uma instancia de Anticoagulant Fisico tem por fim Entidade Entidade e' uma instancia de Mamifero ImpairmentFn Clotting experimenta Entidade
(=> (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	Transferencia e' uma instancia de ApplyingTourniquet AutonomousAgent Entidade and Objeto AutonomousAgent e' uma instancia de Agente Entidade e' uma instancia de Mamifero Tourniquet e' um atributo de Objeto vale durante tempo de existencia de Transferencia Transferencia termina em Entidade Transferencia e' um agente de AutonomousAgent objectTransferred Transferencia and Objeto
(=> (instance ?HAIR Hair) (exists (?MAMMAL ?TIME) (and (instance ?MAMMAL Mammal) (holdsDuring ?TIME (part ?HAIR ?MAMMAL)))))	Mid-level-ontology.kif 11786-11792	Entidade e' uma instancia de Hair Entidade Posicao Temporal Entidade e' uma instancia de Mamifero Entidade e' uma &parte de Entidade vale durante Posicao Temporal
(=> (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	Entidade e' uma instancia de Milk Processo Objeto Objeto e' uma instancia de Mamifero Female e' um atributo de Objeto Objeto e' um instrumento para Processo Entidade e' o resultado de Processo
(=> (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	Objeto e' uma instancia de Platelet Objeto Objeto Objeto e' uma instancia de Sangue Objeto e' uma instancia de Mamifero Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto

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

KB Term:			Term intersection

English Word: