Mammal![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) | Merge.kif 13569-13569 | |
(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 13570-13572 | |
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/6/69/ Friesian-Holstein.jpg") | pictureList.kif 4774-4774 | |
(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 44-44 | |
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ab/ House_mouse.jpg/ 180px-House_mouse.jpg") | pictureList-ImageNet.kif 45-45 | |
(subclass Mammal WarmBloodedVertebrate) | Merge.kif 13568-13568 |
appearance as argument number 2 |
![]() |
(biologicalAgentCarrier BurkholderiaMallei Mammal) | WMD.kif 356-356 | |
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) | WMD.kif 372-372 | |
(biologicalAgentCarrier MonkeypoxVirus Mammal) | WMD.kif 1154-1154 | |
(biologicalAgentCarrier RickettsialAgent Mammal) | WMD.kif 247-247 | |
(disjoint Bird Mammal) | Merge.kif 13550-13550 | |
(subclass AquaticMammal Mammal) | Merge.kif 13574-13574 | |
(subclass Camel Mammal) | Economy.kif 4241-4241 | |
(subclass Carnivore Mammal) | Merge.kif 13586-13586 | |
(subclass Ferret Mammal) | Mid-level-ontology.kif 28762-28762 | |
(subclass Herbivore Mammal) | Mid-level-ontology.kif 17833-17833 | |
(subclass HoofedMammal Mammal) | Merge.kif 13578-13578 | |
(subclass Llama Mammal) | Mid-level-ontology.kif 18094-18094 | |
(subclass MammalCub Mammal) | Mid-level-ontology.kif 28797-28797 | |
(subclass Marsupial Mammal) | Merge.kif 13582-13582 | |
(subclass Primate Mammal) | Merge.kif 13614-13614 | |
(subclass Rhinoceros Mammal) | Mid-level-ontology.kif 28609-28609 | |
(subclass Rodent Mammal) | Merge.kif 13609-13609 | |
(subclass Skunk Mammal) | Mid-level-ontology.kif 18103-18103 | |
(termFormat ChineseLanguage Mammal "哺乳动物") | chinese_format.kif 990-990 | |
(termFormat EnglishLanguage Mammal "mammal") | english_format.kif 1192-1192 |
consequent |
![]() |
(=> (instance ?HAIR Hair) (exists (?MAMMAL ?TIME) (and (instance ?MAMMAL Mammal) (holdsDuring ?TIME (part ?HAIR ?MAMMAL))))) |
Mid-level-ontology.kif 9956-9962 | |
(=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 9285-9292 |
![]() |
![]() |