Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Bull

 Sigma KEE - Bull
Bull(bull)
more pictures...		bull, bullock, ox, steer, stirk

appearance as argument number 1
-------------------------


(subclass Bull Cattle) Mid-level-ontology.kif 22464-22464 Bull is a subclass of cattle
(documentation Bull EnglishLanguage "A Cow that is Male.") Mid-level-ontology.kif 22465-22465 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
-------------------------


(termFormat EnglishLanguage Bull "bull") domainEnglishFormat.kif 12323-12323
(termFormat ChineseTraditionalLanguage Bull "公牛") domainEnglishFormat.kif 12324-12324
(termFormat ChineseLanguage Bull "公牛") domainEnglishFormat.kif 12325-12325

antecedent
-------------------------


(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Female)))		 Mid-level-ontology.kif 22449-22453 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 22467-22471 X is an instance of bull if, only if X is an instance of cattle, and male is an attribute of X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners