TreeView Knowledge Base Browser

appearance as argument number 1

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)	Merge.kif 14581-14581	Mammifero è scomposto disgiuntivamente in MammiferoAcquatico, MammiferoUngulato, Marsupiale, Roditore, + Primato
(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	Mammifero è una sottoclasse di AnimaleASangueCaldo

appearance as argument number 2

(biologicalAgentCarrier BurkholderiaMallei Mammal)	WMD.kif 356-356	biologicalAgentCarrier BurkholderiaMallei and Mammifero
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal)	WMD.kif 372-372	biologicalAgentCarrier BurkholderiaPseudomallei and Mammifero
(biologicalAgentCarrier MonkeypoxVirus Mammal)	WMD.kif 1235-1235	biologicalAgentCarrier MonkeypoxVirus and Mammifero
(biologicalAgentCarrier RickettsialAgent Mammal)	WMD.kif 247-247	biologicalAgentCarrier RickettsialAgent and Mammifero
(disjoint Bird Mammal)	Merge.kif 14562-14562	Uccello è disgiunto da Mammifero
(parasitic Louse Mammal)	WMD.kif 1976-1976	parasitic Louse and Mammifero
(parasitic Tick Mammal)	WMD.kif 1987-1987	parasitic Tick and Mammifero
(subclass AquaticMammal Mammal)	Merge.kif 14586-14586	MammiferoAcquatico è una sottoclasse di Mammifero
(subclass Camel Mammal)	Economy.kif 4918-4918	Camel è una sottoclasse di Mammifero
(subclass Carnivore Mammal)	Merge.kif 14598-14598	Carnivoro è una sottoclasse di Mammifero
(subclass Ferret Mammal)	Mid-level-ontology.kif 30585-30585	Ferret è una sottoclasse di Mammifero
(subclass Herbivore Mammal)	Mid-level-ontology.kif 20062-20062	Herbivore è una sottoclasse di Mammifero
(subclass HoofedMammal Mammal)	Merge.kif 14590-14590	MammiferoUngulato è una sottoclasse di Mammifero
(subclass Llama Mammal)	Mid-level-ontology.kif 20318-20318	Llama è una sottoclasse di Mammifero
(subclass MammalCub Mammal)	Mid-level-ontology.kif 30620-30620	MammalCub è una sottoclasse di Mammifero
(subclass Marsupial Mammal)	Merge.kif 14594-14594	Marsupiale è una sottoclasse di Mammifero
(subclass Primate Mammal)	Merge.kif 14626-14626	Primato è una sottoclasse di Mammifero
(subclass Rhinoceros Mammal)	Mid-level-ontology.kif 30432-30432	Rhinoceros è una sottoclasse di Mammifero
(subclass Rodent Mammal)	Merge.kif 14621-14621	Roditore è una sottoclasse di Mammifero
(subclass Skunk Mammal)	Mid-level-ontology.kif 20327-20327	Skunk è una sottoclasse di Mammifero
(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	Il numero 1 argomenti di diastolicBloodPressure è un istanza di Mammifero
(domain restingBreathingRate 1 Mammal)	Medicine.kif 334-334	Il numero 1 argomenti di restingBreathingRate è un istanza di Mammifero
(domain restingHeartRate 1 Mammal)	Medicine.kif 114-114	Il numero 1 argomenti di restingHeartRate è un istanza di Mammifero
(domain systolicBloodPressure 1 Mammal)	Mid-level-ontology.kif 10428-10428	Il numero 1 argomenti di systolicBloodPressure è un istanza di Mammifero
(domainSubclass typicalBloodVolume 1 Mammal)	Medicine.kif 5927-5927	Il numero 1 argomento typicalBloodVolume è una sottoclasse diMammifero

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 Muscolo and Muscolo Processo è un' istanza di Extension MuscoloC è uno strumento per Processo moves Movimento and MuscoloC MuscoloC è un' istanza di Muscolo MuscoloC è un' istanza di Muscolo MuscoloC è una parte di Oggetto MuscoloC è una parte di Oggetto Oggetto è un' istanza di Mammifero MuscoloC è capace di fare Flexion nel ruolo 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 Muscolo and Muscolo Movimento è un' istanza di Flexion MuscoloC è uno strumento per Movimento moves Movimento and MuscoloC MuscoloC è un' istanza di Muscolo MuscoloC è un' istanza di Muscolo MuscoloC è una parte di Oggetto MuscoloC è una parte di Oggetto Oggetto è un' istanza di Mammifero MuscoloC è capace di fare Extension nel ruolo instrument

consequent

(=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting))))))	Medicine.kif 4853-4860	Entit�Concreta è un' istanza di Anticoagulant Entit�Concreta ha scopo Entit� Entit� è un' istanza di Mammifero ImpairmentFn Clotting esperisces Entit�
(=> (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	Trasferimento è un' istanza di ApplyingTourniquet AutonomousAgent Entit� and Oggetto AutonomousAgent è un' istanza di Agente Entit� è un' istanza di Mammifero attribute Oggetto and Tourniquet vales durante il tempo di esistenza di Trasferimento Trasferimento fines in Entit� Trasferimento è un agente di AutonomousAgent objectTransferred Trasferimento and Oggetto
(=> (instance ?HAIR Hair) (exists (?MAMMAL ?TIME) (and (instance ?MAMMAL Mammal) (holdsDuring ?TIME (part ?HAIR ?MAMMAL)))))	Mid-level-ontology.kif 11786-11792	Entit� è un' istanza di Hair Entit� PosizioneTemporale Entit� è un' istanza di Mammifero Entit� è una parte di Entit� vales durante PosizioneTemporale
(=> (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	Entit� è un' istanza di Milk Processo Oggetto Oggetto è un' istanza di Mammifero attribute Oggetto and Female Oggetto è uno strumento per Processo Entit� è un risultato di 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	Oggetto è un' istanza di Platelet Oggetto Oggetto Oggetto è un' istanza di Sangue Oggetto è un' istanza di Mammifero Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto

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: