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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cow

Sigma KEE - Cow
Cow(cow)
more pictures...
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 19501-19502
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/0/09/Somali_cattle.JPG") pictureList-ImageNet.kif 137-137
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/b/b2/Oeremaerke.jpg") pictureList-ImageNet.kif 132-132
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 13/ BIrkholm.3.jpg/ 200px-BIrkholm.3.jpg") pictureList-ImageNet.kif 143-143
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1d/ Charolais.jpg/ 120px-Charolais.jpg") pictureList-ImageNet.kif 149-149
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 39/ Ku_med_horn.JPG/ 180px-Ku_med_horn.JPG") pictureList-ImageNet.kif 147-147
(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 146-146
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 53/ Zwitserse_koe.jpg/ 423px-Zwitserse_koe.jpg") pictureList-ImageNet.kif 141-141
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 54/ Two_cows_grazing.jpg/ 350px-Two_cows_grazing.jpg") pictureList-ImageNet.kif 148-148
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 78/ Rotbuntes_Rind.jpg/ 259px-Rotbuntes_Rind.jpg") pictureList-ImageNet.kif 139-139
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7e/ Linden_koe.jpg/ 800px-Linden_koe.jpg") pictureList-ImageNet.kif 145-145
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 87/ Schotse_hooglander.JPG/ 200px-Schotse_hooglander.JPG") pictureList-ImageNet.kif 140-140
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 91/ Koe_krabt_zich.JPG/ 800px-Koe_krabt_zich.JPG") pictureList-ImageNet.kif 134-134
(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 133-133
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b2/ Koe.jpg/ 800px-Koe.jpg") pictureList-ImageNet.kif 142-142
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d6/ Koe_zijaanzicht_1.JPG/ 800px-Koe_zijaanzicht_1.JPG") pictureList-ImageNet.kif 144-144
(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 138-138
(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 136-136
(externalImage Cow "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ fb/ CH_cow_2.jpg/ 400px-CH_cow_2.jpg") pictureList-ImageNet.kif 135-135
(externalImage Cow "http://upload.wikimedia.org/wikipedia/en/thumb/5/5a/ CatahoulaLitter_wb.jpg/ 180px-CatahoulaLitter_wb.jpg") pictureList-ImageNet.kif 150-150
(externalImage Cow "http://www.adampease.org/Articulate/SUMOpictures/pictures/ working/ agricultural/ COW.png") pictureList.kif 372-372
(subclass Cow DomesticAnimal) Mid-level-ontology.kif 19500-19500 Cow is a subclass of domestic animal
(subclass Cow HoofedMammal) Mid-level-ontology.kif 19499-19499 Cow is a subclass of hoofed mammal

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


(meatOfAnimal Beef Cow) Mid-level-ontology.kif 19693-19693 Beef is the meat of cow
(subclass Bull Cow) Mid-level-ontology.kif 19513-19513 Bull is a subclass of cow
(subclass Calf Cow) Mid-level-ontology.kif 19504-19504 Calf is a subclass of cow
(subclass FemaleCow Cow) Mid-level-ontology.kif 19522-19522 Female cow is a subclass of cow
(termFormat ChineseLanguage Cow "牛") domainEnglishFormat.kif 17655-17655
(termFormat ChineseTraditionalLanguage Cow "牛") domainEnglishFormat.kif 17654-17654
(termFormat EnglishLanguage Cow "cow") domainEnglishFormat.kif 17653-17653

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


(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cow)
        (attribute ?B Male)))
Mid-level-ontology.kif 19516-19520 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 19507-19511 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 19525-19529 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners