Mammal
|
|
appearance as argument number 1 |
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) | Merge.kif 14581-14581 | 哺乳動物 は 水生哺乳類[動物], 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類 に disjointly decomposed %n |
(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 | 哺乳動物 は 温血脊椎動物 の subclass では %n |
appearance as argument number 2 |
appearance as argument number 3 |
(domain diastolicBloodPressure 1 Mammal) | Mid-level-ontology.kif 10440-10440 | diastolicBloodPressure の数値 1 引数は 哺乳動物 の instance では %n |
(domain restingBreathingRate 1 Mammal) | Medicine.kif 334-334 | restingBreathingRate の数値 1 引数は 哺乳動物 の instance では %n |
(domain restingHeartRate 1 Mammal) | Medicine.kif 114-114 | restingHeartRate の数値 1 引数は 哺乳動物 の instance では %n |
(domain systolicBloodPressure 1 Mammal) | Mid-level-ontology.kif 10428-10428 | systolicBloodPressure の数値 1 引数は 哺乳動物 の instance では %n |
(domainSubclass typicalBloodVolume 1 Mammal) | Medicine.kif 5927-5927 | typicalBloodVolume の数値 1 引数は 哺乳動物 のsubclass では %n |
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 | |
(=> (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 |
consequent |
(=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting)))))) |
Medicine.kif 4853-4860 |
|
(=> (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 |
|
(=> (instance ?HAIR Hair) (exists (?MAMMAL ?TIME) (and (instance ?MAMMAL Mammal) (holdsDuring ?TIME (part ?HAIR ?MAMMAL))))) |
Mid-level-ontology.kif 11786-11792 | |
(=> (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 | |
(=> (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 |