Mammal
|
|
appearance as argument number 1 |
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) | Merge.kif 14581-14581 | |
(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 |
appearance as argument number 2 |
(biologicalAgentCarrier BurkholderiaMallei Mammal) | WMD.kif 356-356 | |
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) | WMD.kif 372-372 | |
(biologicalAgentCarrier MonkeypoxVirus Mammal) | WMD.kif 1235-1235 | |
(biologicalAgentCarrier RickettsialAgent Mammal) | WMD.kif 247-247 | |
(disjoint Bird Mammal) | Merge.kif 14562-14562 | |
(parasitic Louse Mammal) | WMD.kif 1976-1976 | |
(parasitic Tick Mammal) | WMD.kif 1987-1987 | |
(subclass AquaticMammal Mammal) | Merge.kif 14586-14586 | |
(subclass Camel Mammal) | Economy.kif 4918-4918 | |
(subclass Carnivore Mammal) | Merge.kif 14598-14598 | |
(subclass Ferret Mammal) | Mid-level-ontology.kif 30585-30585 | |
(subclass Herbivore Mammal) | Mid-level-ontology.kif 20062-20062 | |
(subclass HoofedMammal Mammal) | Merge.kif 14590-14590 | |
(subclass Llama Mammal) | Mid-level-ontology.kif 20318-20318 | |
(subclass MammalCub Mammal) | Mid-level-ontology.kif 30620-30620 | |
(subclass Marsupial Mammal) | Merge.kif 14594-14594 | |
(subclass Primate Mammal) | Merge.kif 14626-14626 | |
(subclass Rhinoceros Mammal) | Mid-level-ontology.kif 30432-30432 | |
(subclass Rodent Mammal) | Merge.kif 14621-14621 | |
(subclass Skunk Mammal) | Mid-level-ontology.kif 20327-20327 | |
(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 | |
(domain restingBreathingRate 1 Mammal) | Medicine.kif 334-334 | |
(domain restingHeartRate 1 Mammal) | Medicine.kif 114-114 | |
(domain systolicBloodPressure 1 Mammal) | Mid-level-ontology.kif 10428-10428 | |
(domainSubclass typicalBloodVolume 1 Mammal) | Medicine.kif 5927-5927 |
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 |