appearance as argument number 1 |
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) | Merge.kif 14603-14603 | Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, 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 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 | Mammal is a subclass of warm blooded vertebrate |
appearance as argument number 2 |
(biologicalAgentCarrier BurkholderiaMallei Mammal) | WMD.kif 356-356 | Mammal is a biological agent carrier of burkholderia mallei |
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) | WMD.kif 372-372 | Mammal is a biological agent carrier of burkholderia pseudomallei |
(biologicalAgentCarrier MonkeypoxVirus Mammal) | WMD.kif 1235-1235 | Mammal is a biological agent carrier of monkeypox virus |
(biologicalAgentCarrier RickettsialAgent Mammal) | WMD.kif 247-247 | Mammal is a biological agent carrier of rickettsial agent |
(disjoint Bird Mammal) | Merge.kif 14584-14584 | Bird is disjoint from mammal |
(parasitic Louse Mammal) | WMD.kif 1976-1976 | parasitic lice and mammal |
(parasitic Tick Mammal) | WMD.kif 1987-1987 | parasitic tick and mammal |
(subclass AquaticMammal Mammal) | Merge.kif 14608-14608 | Aquatic mammal is a subclass of mammal |
(subclass Camel Mammal) | Economy.kif 4918-4918 | Camel is a subclass of mammal |
(subclass Carnivore Mammal) | Merge.kif 14620-14620 | Carnivore is a subclass of mammal |
(subclass Ferret Mammal) | Mid-level-ontology.kif 30573-30573 | Ferret is a subclass of mammal |
(subclass Herbivore Mammal) | Mid-level-ontology.kif 20061-20061 | Herbivore is a subclass of mammal |
(subclass HoofedMammal Mammal) | Merge.kif 14612-14612 | Hoofed mammal is a subclass of mammal |
(subclass Llama Mammal) | Mid-level-ontology.kif 20317-20317 | Llama is a subclass of mammal |
(subclass MammalCub Mammal) | Mid-level-ontology.kif 30608-30608 | Cub is a subclass of mammal |
(subclass Marsupial Mammal) | Merge.kif 14616-14616 | Marsupial is a subclass of mammal |
(subclass Primate Mammal) | Merge.kif 14648-14648 | Primate is a subclass of mammal |
(subclass Rhinoceros Mammal) | Mid-level-ontology.kif 30420-30420 | Rhinoceros is a subclass of mammal |
(subclass Rodent Mammal) | Merge.kif 14643-14643 | Rodent is a subclass of mammal |
(subclass Skunk Mammal) | Mid-level-ontology.kif 20326-20326 | Skunk is a subclass of 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 10439-10439 | The number 1 argument of diastolic blood pressure is an instance of mammal |
(domain restingBreathingRate 1 Mammal) | Medicine.kif 334-334 | The number 1 argument of resting breathing rate is an instance of mammal |
(domain restingHeartRate 1 Mammal) | Medicine.kif 114-114 | The number 1 argument of baseline heart rate is an instance of mammal |
(domain systolicBloodPressure 1 Mammal) | Mid-level-ontology.kif 10427-10427 | The number 1 argument of systolic blood pressure is an instance of mammal |
(domainSubclass typicalBloodVolume 1 Mammal) | Medicine.kif 5927-5927 | The number 1 argument of typicalBloodVolume is a subclass of mammal |
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 |
|