Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mule
Mule(mule)
mule

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


s__documentation(s__Mule,s__EnglishLanguage,'"The product of a Male Donkey and a Female Horse. Mules are always sterile."')

Mid-level-ontology.kif 19149-19150
s__externalImage(s__Mule,'"http://www.adampease.org/Articulate/SUMOpictures/pictures/ animals/ M/ Mule.png"')

pictureList.kif 610-610
s__instance(s__Mule,s__SetOrClass)

s__instance(s__DomesticAnimal,s__SetOrClass)

s__subclass(s__Mule,s__DomesticAnimal)

Mid-level-ontology.kif 19148-19148 Mule is a subclass of domestic animal
s__instance(s__Mule,s__SetOrClass)

s__instance(s__HoofedMammal,s__SetOrClass)

s__subclass(s__Mule,s__HoofedMammal)

Mid-level-ontology.kif 19147-19147 Mule is a subclass of hoofed mammal

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


s__termFormat(s__ChineseLanguage,s__Mule,'"马骡"')

domainEnglishFormat.kif 39108-39108
s__termFormat(s__ChineseTraditionalLanguage,s__Mule,'"馬騾"')

domainEnglishFormat.kif 39107-39107
s__termFormat(s__EnglishLanguage,s__Mule,'"mule"')

domainEnglishFormat.kif 39106-39106

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


( ! [V__MULE] :
   ((s__instance(V__MULE,s__Mule) =>
       (( ? [V__DONKEY, V__HORSE] :
           ((s__father(V__MULE,V__DONKEY)
             &
             s__instance(V__DONKEY,s__Donkey) &
             s__mother(V__MULE,V__HORSE)
           &
           s__instance(V__HORSE,s__Horse))))))
)
)

Mid-level-ontology.kif 19152-19159
( ! [V__MULE] :
   ((s__instance(V__MULE,s__Mule) =>
       (~(s__capability(s__SexualReproduction,s__agent__m,V__MULE))))
   )
)

Mid-level-ontology.kif 19161-19164


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners