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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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
(subclass Cow HoofedMammal) Mid-level-ontology.kif 17967-17967

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


(meatOfAnimal Beef Cow) Mid-level-ontology.kif 18161-18161
(subclass Bull Cow) Mid-level-ontology.kif 17980-17980
(subclass Calf Cow) Mid-level-ontology.kif 17972-17972
(subclass FemaleCow Cow) Mid-level-ontology.kif 17988-17988
(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
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cow)
        (attribute ?C NonFullyFormed)))
Mid-level-ontology.kif 17974-17978
(<=>
    (instance ?COW FemaleCow)
    (and
        (instance ?COW Cow)
        (attribute ?COW Female)))
Mid-level-ontology.kif 17991-17995


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 3.0 is open source software produced by Articulate Software and its partners