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


KB Term:  Term intersection
English Word: 

  Hoof

 Sigma KEE - Hoof
Hoof(hoof)hoof

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


(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 12957-12957 Hoof is a subclass of animal anatomical structure
(subclass Hoof BodyPart) Mid-level-ontology.kif 12958-12958 Hoof is a subclass of body part
(documentation Hoof EnglishLanguage "The hard end of the Foot of a HoofedMammal.") Mid-level-ontology.kif 12959-12959 Hoof is a subclass of body part

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


(termFormat EnglishLanguage Hoof "hoof") domainEnglishFormat.kif 28541-28541
(termFormat ChineseTraditionalLanguage Hoof "蹄") domainEnglishFormat.kif 28542-28542
(termFormat ChineseLanguage Hoof "蹄") domainEnglishFormat.kif 28543-28543

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


(=>
    (instance ?H Hoof)
    (exists (?F ?A)
        (and
            (instance ?F Foot)
            (instance ?A HoofedMammal)
            (part ?H ?F)
            (part ?F ?A))))		 Mid-level-ontology.kif 12961-12968 If X is an instance of hoof, then there exist Y, Z such that Y is an instance of foot, Z is an instance of hoofed mammal, X is a part of Y, and Y is a part of Z


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