Cow(cow)![]() ![]() ![]() | ![]() | Bos_indicus, Bos_taurus, Brahma, Brahman, Brahmin, Texas_longhorn, beef, beef_cattle, cattle, cows, grade, heifer, kine, longhorn, oxen |
appearance as argument number 1 |
![]() |
(documentation Cow EnglishLanguage "A domesticated HoofedMammal that is raised for milk and beef, and is also used for work.") | Mid-level-ontology.kif 17969-17970 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/0/09/Somali_cattle.JPG") | pictureList-ImageNet.kif 138-138 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/b/b2/Oeremaerke.jpg") | pictureList-ImageNet.kif 133-133 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 13/ BIrkholm.3.jpg/ 200px-BIrkholm.3.jpg") | pictureList-ImageNet.kif 144-144 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1d/ Charolais.jpg/ 120px-Charolais.jpg") | pictureList-ImageNet.kif 150-150 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 39/ Ku_med_horn.JPG/ 180px-Ku_med_horn.JPG") | pictureList-ImageNet.kif 148-148 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 51/ Barcaggio_plage,_touristes_et_bovins.jpg/ 250px-Barcaggio_plage,_touristes_et_bovins.jpg") | pictureList-ImageNet.kif 147-147 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 53/ Zwitserse_koe.jpg/ 423px-Zwitserse_koe.jpg") | pictureList-ImageNet.kif 142-142 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 54/ Two_cows_grazing.jpg/ 350px-Two_cows_grazing.jpg") | pictureList-ImageNet.kif 149-149 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 78/ Rotbuntes_Rind.jpg/ 259px-Rotbuntes_Rind.jpg") | pictureList-ImageNet.kif 140-140 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7e/ Linden_koe.jpg/ 800px-Linden_koe.jpg") | pictureList-ImageNet.kif 146-146 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 87/ Schotse_hooglander.JPG/ 200px-Schotse_hooglander.JPG") | pictureList-ImageNet.kif 141-141 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 91/ Koe_krabt_zich.JPG/ 800px-Koe_krabt_zich.JPG") | pictureList-ImageNet.kif 135-135 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a8/ XN_Bos_taurus_00.jpg/ 100px-XN_Bos_taurus_00.jpg") | pictureList-ImageNet.kif 134-134 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b2/ Koe.jpg/ 800px-Koe.jpg") | pictureList-ImageNet.kif 143-143 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d6/ Koe_zijaanzicht_1.JPG/ 800px-Koe_zijaanzicht_1.JPG") | pictureList-ImageNet.kif 145-145 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e7/ Cows_in_green_field_-_nullamunjie_olive_grove03.jpg/ 180px-Cows_in_green_field_-_nullamunjie_olive_grove03.jpg") | pictureList-ImageNet.kif 139-139 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ ed/ Guzerá_macho_-_EMAPA_100307_REFON_1.jpg/ 280px-Guzerá_macho_-_EMAPA_100307_REFON_1.jpg") | pictureList-ImageNet.kif 137-137 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ fb/ CH_cow_2.jpg/ 400px-CH_cow_2.jpg") | pictureList-ImageNet.kif 136-136 | |
(externalImage Cow "http://upload.wikimedia.org/wikipedia/en/thumb/5/5a/ CatahoulaLitter_wb.jpg/ 180px-CatahoulaLitter_wb.jpg") | pictureList-ImageNet.kif 151-151 | |
(externalImage Cow "http://www.adampease.org/Articulate/SUMOpictures/pictures/ working/ agricultural/ COW.png") | pictureList.kif 372-372 | |
(subclass Cow DomesticAnimal) | Mid-level-ontology.kif 17968-17968 | Cow is a subclass of domestic animal |
(subclass Cow HoofedMammal) | Mid-level-ontology.kif 17967-17967 | Cow is a subclass of hoofed mammal |
appearance as argument number 2 |
![]() |
(meatOfAnimal Beef Cow) | Mid-level-ontology.kif 18161-18161 | Beef is the meat of cow |
(subclass Bull Cow) | Mid-level-ontology.kif 17980-17980 | Bull is a subclass of cow |
(subclass Calf Cow) | Mid-level-ontology.kif 17972-17972 | Calf is a subclass of cow |
(subclass FemaleCow Cow) | Mid-level-ontology.kif 17988-17988 | Female cow is a subclass of cow |
(termFormat ChineseLanguage Cow "牛") | domainEnglishFormat.kif 17662-17662 | |
(termFormat ChineseTraditionalLanguage Cow "牛") | domainEnglishFormat.kif 17661-17661 | |
(termFormat EnglishLanguage Cow "cow") | domainEnglishFormat.kif 17660-17660 |
consequent |
![]() |
(<=> (instance ?B Bull) (and (instance ?B Cow) (attribute ?B Male))) |
Mid-level-ontology.kif 17982-17986 | An object is an instance of bull if and only if the object is an instance of cow and male is an attribute of the object |
(<=> (instance ?C Calf) (and (instance ?C Cow) (attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 17974-17978 | An object is an instance of calf if and only if the object is an instance of cow and non fully formed is an attribute of the object |
(<=> (instance ?COW FemaleCow) (and (instance ?COW Cow) (attribute ?COW Female))) |
Mid-level-ontology.kif 17991-17995 | An object is an instance of female cow if and only if the object is an instance of cow and female is an attribute of the object |
![]() |
![]() |