TreeView Knowledge Base Browser

appearance as argument number 1

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)	Merge.kif 14581-14581	不相交分解 Mammal, AquaticMammal, HoofedMammal, 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 and WarmBloodedVertebrate

appearance as argument number 2

(biologicalAgentCarrier BurkholderiaMallei Mammal)	WMD.kif 356-356	Mammal 是 burkholderia mallei 的病毒傳遞者
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal)	WMD.kif 372-372	Mammal 是 burkholderia 假單胞菌的病毒傳遞者
(biologicalAgentCarrier MonkeypoxVirus Mammal)	WMD.kif 1235-1235	Mammal 是猴痘病毒的病毒傳遞者
(biologicalAgentCarrier RickettsialAgent Mammal)	WMD.kif 247-247	Mammal 是立克次體代理人的病毒傳遞者
(disjoint Bird Mammal)	Merge.kif 14562-14562	不相交的 Bird and Mammal
(parasitic Louse Mammal)	WMD.kif 1976-1976	parasitic Louse and Mammal
(parasitic Tick Mammal)	WMD.kif 1987-1987	parasitic Tick and Mammal
(subclass AquaticMammal Mammal)	Merge.kif 14586-14586	子類 AquaticMammal and Mammal
(subclass Camel Mammal)	Economy.kif 4918-4918	子類駱駝 and Mammal
(subclass Carnivore Mammal)	Merge.kif 14598-14598	子類 Carnivore and Mammal
(subclass Ferret Mammal)	Mid-level-ontology.kif 30585-30585	子類 Ferret and Mammal
(subclass Herbivore Mammal)	Mid-level-ontology.kif 20062-20062	子類草食動物 and Mammal
(subclass HoofedMammal Mammal)	Merge.kif 14590-14590	子類 HoofedMammal and Mammal
(subclass Llama Mammal)	Mid-level-ontology.kif 20318-20318	子類 Llama and Mammal
(subclass MammalCub Mammal)	Mid-level-ontology.kif 30620-30620	子類 MammalCub and Mammal
(subclass Marsupial Mammal)	Merge.kif 14594-14594	子類 Marsupial and Mammal
(subclass Primate Mammal)	Merge.kif 14626-14626	子類 Primate and Mammal
(subclass Rhinoceros Mammal)	Mid-level-ontology.kif 30432-30432	子類 Rhinoceros and Mammal
(subclass Rodent Mammal)	Merge.kif 14621-14621	子類 Rodent and Mammal
(subclass Skunk Mammal)	Mid-level-ontology.kif 20327-20327	子類 Skunk and 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	域 diastolicBloodPressure, 1 and Mammal
(domain restingBreathingRate 1 Mammal)	Medicine.kif 334-334	域 restingBreathingRate, 1 and Mammal
(domain restingHeartRate 1 Mammal)	Medicine.kif 114-114	域 restingHeartRate, 1 and Mammal
(domain systolicBloodPressure 1 Mammal)	Mid-level-ontology.kif 10428-10428	域 systolicBloodPressure, 1 and Mammal
(domainSubclass typicalBloodVolume 1 Mammal)	Medicine.kif 5927-5927	域子類 typicalBloodVolume, 1 and 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	antagonistMuscles Muscle and Muscle 例 Process and Extension 儀器 Process and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Mammal 能力 Flexion, 儀器 and MuscleC
(=> (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 Muscle and Muscle 例 Motion and Flexion 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Mammal 能力 Extension, 儀器 and MuscleC

consequent

(=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting))))))	Medicine.kif 4853-4860	例 Physical and Anticoagulant 有目的 Physical and entity 例 entity and Mammal 體驗者 entity and ImpairmentFn Clotting
(=> (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	例 Transfer and ApplyingTourniquet AutonomousAgent Entity and Object 例 AutonomousAgent and Agent 例 Entity and Mammal 持有期間何時 Transfer and attribute Object and Tourniquet 目的地 Transfer and Entity agent Transfer and AutonomousAgent objectTransferred Transfer and Object
(=> (instance ?HAIR Hair) (exists (?MAMMAL ?TIME) (and (instance ?MAMMAL Mammal) (holdsDuring ?TIME (part ?HAIR ?MAMMAL)))))	Mid-level-ontology.kif 11786-11792	例 Entity and 頭髮 Entity TimePosition 例 Entity and Mammal 持有期間 TimePosition and 部分 Entity and Entity
(=> (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	例 Entity and 奶 Process Object 例 Object and Mammal attribute Object and 女儀器 Process and Object 結果 Process and Entity
(=> (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	例 Object and Platelet Object Object 例 Object and Blood 例 Object and Mammal 部分 Object and Object 部分 Object and Object

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: