Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cow
Cow(cow)
more pictures...
Bos_indicus, Bos_taurus, Brahma, Brahman, Brahmin, Texas_longhorn, beef, beef_cattle, cattle, cow, 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 17937-17938
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/0/09/Somali_cattle.JPG") pictureList-ImageNet.kif 138-138 "http://upload.wikimedia.org/wikipedia/commons/0/09/ Somali_cattle.JPG" is a URL depicting cow
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/b/b2/Oeremaerke.jpg") pictureList-ImageNet.kif 133-133 "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Oeremaerke.jpg" is a URL depicting cow
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 13/ BIrkholm.3.jpg/ 200px-BIrkholm.3.jpg") pictureList-ImageNet.kif 144-144 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 13/ BIrkholm.3.jpg/ 200px-BIrkholm.3.jpg" is a URL depicting cow
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1d/ Charolais.jpg/ 120px-Charolais.jpg") pictureList-ImageNet.kif 150-150 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1d/ Charolais.jpg/ 120px-Charolais.jpg" is a URL depicting cow
(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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 39/ Ku_med_horn.JPG/ 180px-Ku_med_horn.JPG" is a URL depicting cow
(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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 51/ Barcaggio_plage,_touristes_et_bovins.jpg/ 250px-Barcaggio_plage,_touristes_et_bovins.jpg" is a URL depicting cow
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 53/ Zwitserse_koe.jpg/ 423px-Zwitserse_koe.jpg") pictureList-ImageNet.kif 142-142 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 53/ Zwitserse_koe.jpg/ 423px-Zwitserse_koe.jpg" is a URL depicting cow
(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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 54/ Two_cows_grazing.jpg/ 350px-Two_cows_grazing.jpg" is a URL depicting cow
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 78/ Rotbuntes_Rind.jpg/ 259px-Rotbuntes_Rind.jpg") pictureList-ImageNet.kif 140-140 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 78/ Rotbuntes_Rind.jpg/ 259px-Rotbuntes_Rind.jpg" is a URL depicting cow
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7e/ Linden_koe.jpg/ 800px-Linden_koe.jpg") pictureList-ImageNet.kif 146-146 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7e/ Linden_koe.jpg/ 800px-Linden_koe.jpg" is a URL depicting cow
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 87/ Schotse_hooglander.JPG/ 200px-Schotse_hooglander.JPG") pictureList-ImageNet.kif 141-141 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 87/ Schotse_hooglander.JPG/ 200px-Schotse_hooglander.JPG" is a URL depicting cow
(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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 91/ Koe_krabt_zich.JPG/ 800px-Koe_krabt_zich.JPG" is a URL depicting cow
(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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a8/ XN_Bos_taurus_00.jpg/ 100px-XN_Bos_taurus_00.jpg" is a URL depicting cow
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b2/ Koe.jpg/ 800px-Koe.jpg") pictureList-ImageNet.kif 143-143 "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b2/ Koe.jpg/ 800px-Koe.jpg" is a URL depicting cow
(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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d6/ Koe_zijaanzicht_1.JPG/ 800px-Koe_zijaanzicht_1.JPG" is a URL depicting cow
(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 "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" is a URL depicting cow
(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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ ed/ Guzerá_macho_-_EMAPA_100307_REFON_1.jpg/ 280px-Guzerá_macho_-_EMAPA_100307_REFON_1.jpg" is a URL depicting cow
(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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ fb/ CH_cow_2.jpg/ 400px-CH_cow_2.jpg" is a URL depicting cow
(externalImage Cow "http://upload.wikimedia.org/wikipedia/en/thumb/5/5a/ CatahoulaLitter_wb.jpg/ 180px-CatahoulaLitter_wb.jpg") pictureList-ImageNet.kif 151-151 "http://upload.wikimedia.org/wikipedia/en/thumb/5/5a/ CatahoulaLitter_wb.jpg/ 180px-CatahoulaLitter_wb.jpg" is a URL depicting cow
(externalImage Cow "http://www.adampease.org/Articulate/SUMOpictures/pictures/ working/ agricultural/ COW.png") pictureList.kif 372-372 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ working/ agricultural/ COW.png" is a URL depicting cow
(subclass Cow DomesticAnimal) Mid-level-ontology.kif 17936-17936 Cow is a subclass of domestic animal
(subclass Cow HoofedMammal) Mid-level-ontology.kif 17935-17935 Cow is a subclass of hoofed mammal

appearance as argument number 2
-------------------------


(meatOfAnimal Beef Cow) Mid-level-ontology.kif 18129-18129 Beef is the meat of cow
(subclass Bull Cow) Mid-level-ontology.kif 17948-17948 Bull is a subclass of cow
(subclass Calf Cow) Mid-level-ontology.kif 17940-17940 Calf is a subclass of cow
(subclass FemaleCow Cow) Mid-level-ontology.kif 17956-17956 Female cow is a subclass of cow
(termFormat EnglishLanguage Cow "cow") domainEnglishFormat.kif 3365-3365 "cow" is the printable form of cow in english language

consequent
-------------------------


(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cow)
        (attribute ?B Male)))
Mid-level-ontology.kif 17950-17954 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 17942-17946 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 17959-17963 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners