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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Antelope
antelope, dik-dik

appearance as argument number 1

(documentation Antelope EnglishLanguage "A HoofedMammal with long legs and backward-facing horns. This class includes gazelles, addax, blackbucks, etc.") Mid-level-ontology.kif 20024-20025
(externalImage Antelope " A/ antelope.png") pictureList.kif 227-227
(subclass Antelope HoofedMammal) Mid-level-ontology.kif 20023-20023 Antelope is a subclass of hoofed mammal

appearance as argument number 2

(termFormat ChineseLanguage Antelope "羚羊") domainEnglishFormat.kif 7788-7788
(termFormat ChineseTraditionalLanguage Antelope "羚羊") domainEnglishFormat.kif 7787-7787
(termFormat EnglishLanguage Antelope "antelope") domainEnglishFormat.kif 7786-7786

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