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


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - Donkey
Donkey(donkey)
burro, moke

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


(subclass Donkey HoofedMammal) Mid-level-ontology.kif 22400-22400 Donkey is a subclass of hoofed mammal
(documentation Donkey EnglishLanguage "A domesticated HoofedMammal that is used for work.") Mid-level-ontology.kif 22401-22402 Donkey is a subclass of hoofed mammal
(externalImage Donkey "http://articulatesoftware.com/SUMOpictures/holiday/ election_Day/ donkey5.png") pictureList.kif 394-394 Donkey is a subclass of hoofed mammal

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Donkey "donkey") domainEnglishFormat.kif 20184-20184
(termFormat ChineseTraditionalLanguage Donkey "驢") domainEnglishFormat.kif 20185-20185
(termFormat ChineseLanguage Donkey "驴") domainEnglishFormat.kif 20186-20186

consequent
-------------------------


(=>
    (instance ?MULE Mule)
    (exists (?DONKEY ?HORSE)
        (and
            (father ?MULE ?DONKEY)
            (instance ?DONKEY Donkey)
            (mother ?MULE ?HORSE)
            (instance ?HORSE Horse))))		 Mid-level-ontology.kif 22413-22420 If X is an instance of mule, then there exist Y, Z such that Y is a father of X, Y is an instance of donkey, Z is a mother of X, and Z is an instance of horse


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