appearance as argument number 1 |
![]() |
(disjoint Bird Mammal) | Merge.kif 14608-14608 | Bird is disjoint from mammal |
(documentation Bird ChineseLanguage "这是一种有着恒常体温的 Vertebrate,羽毛是它们身上的特征。") | chinese_format.kif 3416-3416 | |
(documentation Bird EnglishLanguage "A Vertebrate having a constant body temperature and characterized by the presence of feathers.") | Merge.kif 14609-14610 | |
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Common_Myna_(Acridotheres_tristis)_on_Kapok_(Ceiba_pentandra)_in_Kolkata_W_IMG_4297.jpg") | pictureList-ImageNet.kif 21-21 | |
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/7/7a/ Blue_Tit_aka.jpg") | pictureList.kif 41-41 | |
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/b/be/ Corvus_corax_(FWS).jpg") | pictureList-ImageNet.kif 22-22 | |
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Turdus-grayi-001.jpg") | pictureList-ImageNet.kif 25-25 | |
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 33/ Parus_major_3_(Marek_Szczepanek).jpg/ 240px-Parus_major_3_(Marek_Szczepanek).jpg") | pictureList-ImageNet.kif 20-20 | |
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 38/ Lyrebird.jpg/ 652px-Lyrebird.jpg") | pictureList-ImageNet.kif 19-19 | |
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 64/ Lesser_Bird_of_Paradise.jpg/ 100px-Lesser_Bird_of_Paradise.jpg") | pictureList-ImageNet.kif 23-23 | |
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ fb/ Phalacrocorax-auritus-007.jpg/ 220px-thumb.jpg") | pictureList-ImageNet.kif 24-24 | |
(subclass Bird WarmBloodedVertebrate) | Merge.kif 14607-14607 | Bird is a subclass of warm blooded vertebrate |
appearance as argument number 2 |
![]() |
(biologicalAgentCarrier ChlamydiaPsittaci Bird) | WMD.kif 1597-1597 | Bird is a biological agent carrier of chlamydia psittaci |
(biologicalAgentCarrier SaintLouisEncephalitisVirus Bird) | WMD.kif 1673-1673 | Bird is a biological agent carrier of saint louis encephalitis virus |
(meatOfAnimal PoultryMeat Bird) | Food.kif 2033-2033 | Poultry is the meat of bird |
(parasitic Louse Bird) | WMD.kif 1977-1977 | parasitic lice and bird |
(parasitic Tick Bird) | WMD.kif 1988-1988 | parasitic tick and bird |
(subclass Owl Bird) | Mid-level-ontology.kif 20282-20282 | Owl is a subclass of bird |
(subclass Parrot Bird) | Mid-level-ontology.kif 30472-30472 | Parrot is a subclass of bird |
(subclass Pigeon Bird) | Mid-level-ontology.kif 20286-20286 | Pigeon is a subclass of bird |
(subclass Poultry Bird) | Mid-level-ontology.kif 20251-20251 | Poultry is a subclass of bird |
(subclass QuailBird Bird) | Food.kif 2049-2049 | Quail bird is a subclass of bird |
(subclass Vulture Bird) | Mid-level-ontology.kif 20289-20289 | Vulture is a subclass of bird |
(termFormat ChineseLanguage Bird "鸟") | chinese_format.kif 988-988 | |
(termFormat EnglishLanguage Bird "bird") | english_format.kif 1183-1183 | |
(termFormat FrenchLanguage Bird "oiseau") | french_format.kif 665-665 | |
(termFormat Hindi Bird "pakshI") | terms-hindi.txt 196-196 | |
(termFormat ItalianLanguage Bird "Uccello") | terms-it.txt 199-199 | |
(termFormat JapaneseLanguage Bird "鳥") | japanese_format.kif 2349-2349 | |
(termFormat PortugueseLanguage Bird "Passaro") | portuguese_format.kif 617-617 | |
(termFormat cb Bird "langgam") | terms-cb.txt 201-201 | |
(termFormat cz Bird "bird") | terms-cz.txt 233-233 | |
(termFormat ro Bird "pasãre") | relations-ro.kif 686-686 | |
(termFormat tg Bird "ibon") | terms-tg.txt 200-200 |
consequent |
![]() |
(=> (instance ?E BirdEgg) (exists (?SR ?B) (and (instance ?SR SexualReproduction) (agent ?SR ?B) (instance ?B Bird) (result ?SR ?E)))) |
Mid-level-ontology.kif 24132-24139 |
|
(=> (instance ?F Feather) (exists (?B) (and (instance ?B Bird) (part ?F ?B)))) |
Mid-level-ontology.kif 20368-20373 |
|
![]() |
![]() |