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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cow

Sigma KEE - Cow
Cow
more pictures...

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 19521-19522
(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 19520-19520
(subclass Cow HoofedMammal) Mid-level-ontology.kif 19519-19519

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


(meatOfAnimal Beef Cow) Mid-level-ontology.kif 19713-19713
(subclass Bull Cow) Mid-level-ontology.kif 19533-19533
(subclass Calf Cow) Mid-level-ontology.kif 19524-19524
(subclass FemaleCow Cow) Mid-level-ontology.kif 19542-19542
(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 19536-19540
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cow)
        (attribute ?C NonFullyFormed)))
Mid-level-ontology.kif 19527-19531
(<=>
    (instance ?COW FemaleCow)
    (and
        (instance ?COW Cow)
        (attribute ?COW Female)))
Mid-level-ontology.kif 19545-19549


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