|
|
   Mammal
|
|
|
| appearance as argument number 1 |
|
|
| (disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) | Merge.kif 14603-14603 | 哺乳動物 は 水生哺乳類［動物］, 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類 に 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 14604-14606 | |
| (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 14602-14602 | 哺乳動物 は 温血脊椎動物 の subclass では %n |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain diastolicBloodPressure 1 Mammal) | Mid-level-ontology.kif 10439-10439 | 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 10427-10427 | systolicBloodPressure の数値 1 引数は 哺乳動物 の instance では %n |
| (domainSubclass typicalBloodVolume 1 Mammal) | Medicine.kif 5927-5927 | typicalBloodVolume の数値 1 引数は 哺乳動物 のsubclass では %n |
| 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 11785-11791 | |
| (=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 10869-10876 | |
| (=> (instance ?P Platelet) (exists (?B ?M) (and (instance ?B Blood) (instance ?M Mammal) (part ?B ?M) (part ?P ?B)))) |
Mid-level-ontology.kif 10198-10205 |
|
|
|
