|
|
   Bull
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Bull EnglishLanguage "A Cow that is Male.") | Mid-level-ontology.kif 20243-20243 | |
| (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 20242-20242 | Bull est une sous-classe de Cattle |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bull "公牛") | domainEnglishFormat.kif 12317-12317 | |
| (termFormat ChineseTraditionalLanguage Bull "公牛") | domainEnglishFormat.kif 12316-12316 | |
| (termFormat EnglishLanguage Bull "bull") | domainEnglishFormat.kif 12315-12315 |
| antecedent |
|
|
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female))) |
Mid-level-ontology.kif 20227-20231 | Objet est une instance de Bull objet est une instance de Cattle Female est un attribut de objet |
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male))) |
Mid-level-ontology.kif 20245-20249 | Objet est une instance de Bull objet est une instance de Cattle Male est un attribut de objet |
|
|
|
