more pictures...
| Bull
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Bull EnglishLanguage "A Cow that is Male.") | Mid-level-ontology.kif 21833-21833 | |
| (externalImage Bull "http://articulatesoftware.com/SUMOpictures/animals/ B/ bull/ bull.png") | pictureList.kif 300-300 | |
| (externalImage Bull "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 31/ Limousin_bull.jpg/ 250px_Limousin_bull.jpg") | pictureList-ImageNet.kif 153-153 | |
| (externalImage Bull "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4b/ Bull_Riding2-Szmurlo.jpg/ 400px_Bull_Riding2-Szmurlo.jpg") | pictureList-ImageNet.kif 151-151 | |
| (externalImage Bull "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 69/ Charolais_Bull_IMG_0079.jpg/ 280px_Charolais_Bull_IMG_0079.jpg") | pictureList-ImageNet.kif 155-155 | |
| (externalImage Bull "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f3/ Hereford_bull_large.jpg/ 300px_Hereford_bull_large.jpg") | pictureList-ImageNet.kif 154-154 | |
| (externalImage Bull "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f4/ Belted_galloway_bull.jpg/ 800px_Belted_galloway_bull.jpg") | pictureList-ImageNet.kif 152-152 | |
| (subclass Bull Cattle) | Mid-level-ontology.kif 21832-21832 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bull "公牛") | domainEnglishFormat.kif 12326-12326 | |
| (termFormat ChineseTraditionalLanguage Bull "公牛") | domainEnglishFormat.kif 12325-12325 | |
| (termFormat EnglishLanguage Bull "bull") | domainEnglishFormat.kif 12324-12324 |
| antecedent |
|
|
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female))) |
Mid-level-ontology.kif 21817-21821 | |
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male))) |
Mid-level-ontology.kif 21835-21839 |
|
|
|