more pictures...
| Bull(bull)
more pictures... | | bull, bullock, ox, steer, stirk |
| appearance as argument number 1 |
|
|
| (subclass Bull Cattle) | Mid-level-ontology.kif 22491-22491 | Bull is a subclass of cattle |
| (documentation Bull EnglishLanguage "A Cow that is Male.") | Mid-level-ontology.kif 22492-22492 | Bull is a subclass of cattle |
| (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 | Bull is a subclass of cattle |
| (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 | Bull is a subclass of cattle |
| (externalImage Bull "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 31/ Limousin_bull.jpg/ 250px_Limousin_bull.jpg") | pictureList-ImageNet.kif 153-153 | Bull is a subclass of cattle |
| (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 | Bull is a subclass of cattle |
| (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 | Bull is a subclass of cattle |
| (externalImage Bull "http://articulatesoftware.com/SUMOpictures/animals/ B/ bull/ bull.png") | pictureList.kif 300-300 | Bull is a subclass of cattle |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female))) |
Mid-level-ontology.kif 22476-22480 | X is an instance of bull if, only if X is an instance of cattle, and female is an attribute of X |
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male))) |
Mid-level-ontology.kif 22494-22498 | X is an instance of bull if, only if X is an instance of cattle, and male is an attribute of X |
|
|
|