| Horn(horn)
| | antler, antler-like, hollow-horned, horn |
| appearance as argument number 1 |
|
|
| (documentation Horn EnglishLanguage "An outgrowth of Bone that is found on some HoofedMammals.") | Mid-level-ontology.kif 12407-12408 | |
| (externalImage Horn "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Goat_with_unusual_horns.jpg") | pictureList.kif 4728-4728 | |
| (subclass Horn Bone) | Mid-level-ontology.kif 12406-12406 | Horn is a subclass of bone |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Horn "喇叭") | domainEnglishFormat.kif 28597-28597 | |
| (termFormat ChineseTraditionalLanguage Horn "喇叭") | domainEnglishFormat.kif 28596-28596 | |
| (termFormat EnglishLanguage Horn "horn") | domainEnglishFormat.kif 28595-28595 |
| antecedent |
|
|
| (=> (instance ?H Horn) (exists (?M) (and (instance ?M HoofedMammal) (part ?H ?M)))) |
Mid-level-ontology.kif 12410-12415 |
|
|
|
|