| Bull | bull, bullock, ox, steer, stirk |
| appearance as argument number 1 |
|
|
| (documentation Bull EnglishLanguage "A Cow that is Male.") | Mid-level-ontology.kif 21824-21824 | |
| (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 21823-21823 | Bull is a subclass of Cattle |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bull "公牛") | domainEnglishFormat.kif 12325-12325 | |
| (termFormat ChineseTraditionalLanguage Bull "公牛") | domainEnglishFormat.kif 12324-12324 | |
| (termFormat EnglishLanguage Bull "bull") | domainEnglishFormat.kif 12323-12323 |
| antecedent |
|
|
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female))) |
Mid-level-ontology.kif 21808-21812 | An object is an instance of Bull if and only if the object is an instance of Cattle and Female is an attribute of the object |
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male))) |
Mid-level-ontology.kif 21826-21830 | An object is an instance of Bull if and only if the object is an instance of Cattle and Male is an attribute of the object |
|
|