| Mammal
| |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) | Merge.kif 14719-14719 | |
| (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 14720-14722 | |
| (externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/6/69/ Friesian_Holstein.jpg") | pictureList.kif 4772-4772 | |
| (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 14718-14718 |
| 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 14700-14700 | |
| (parasitic Louse Mammal) | WMD.kif 1976-1976 | |
| (parasitic Tick Mammal) | WMD.kif 1987-1987 | |
| (subclass AquaticMammal Mammal) | Merge.kif 14724-14724 | |
| (subclass Camel Mammal) | Economy.kif 5258-5258 | |
| (subclass Ferret Mammal) | Mid-level-ontology.kif 32278-32278 | |
| (subclass HoofedMammal Mammal) | Merge.kif 14728-14728 | |
| (subclass Llama Mammal) | Mid-level-ontology.kif 21952-21952 | |
| (subclass MammalCub Mammal) | Mid-level-ontology.kif 32313-32313 | |
| (subclass Marsupial Mammal) | Merge.kif 14732-14732 | |
| (subclass Primate Mammal) | Merge.kif 14764-14764 | |
| (subclass Rhinoceros Mammal) | Mid-level-ontology.kif 32125-32125 | |
| (subclass Rodent Mammal) | Merge.kif 14759-14759 | |
| (subclass Skunk Mammal) | Mid-level-ontology.kif 21961-21961 | |
| (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 | |
| (termFormat ItalianLanguage Mammal "Mammifero") | terms-it.txt 201-201 | |
| (termFormat JapaneseLanguage Mammal "哺乳動物") | japanese_format.kif 2351-2351 | |
| 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 11789-11789 | |
| (domain restingBreathingRate 1 Mammal) | Medicine.kif 322-322 | |
| (domain restingHeartRate 1 Mammal) | Medicine.kif 114-114 | |
| (domain systolicBloodPressure 1 Mammal) | Mid-level-ontology.kif 11777-11777 | |
| (domainSubclass typicalBloodVolume 1 Mammal) | Medicine.kif 5944-5944 |
| consequent |
|
|
| (=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting)))))) |
Medicine.kif 4860-4867 | |
| (=> (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 13135-13141 | |
| (=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 12219-12226 | |
| (=> (instance ?P Platelet) (exists (?B ?M) (and (instance ?B Blood) (instance ?M Mammal) (part ?B ?M) (part ?P ?B)))) |
Mid-level-ontology.kif 11546-11553 |
|
|
|