| 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 11729-11730 | |
| (externalImage Horn "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Goat_with_unusual_horns.jpg") | pictureList.kif 4729-4729 | |
| (subclass Horn Bone) | Mid-level-ontology.kif 11728-11728 | Horn is a subclass of bone |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Horn "喇叭") | domainEnglishFormat.kif 28603-28603 | |
| (termFormat ChineseTraditionalLanguage Horn "喇叭") | domainEnglishFormat.kif 28602-28602 | |
| (termFormat EnglishLanguage Horn "horn") | domainEnglishFormat.kif 28601-28601 |
| antecedent |
|
|
| (=> (instance ?H Horn) (exists (?M) (and (instance ?M HoofedMammal) (part ?H ?M)))) |
Mid-level-ontology.kif 11732-11737 |
|
|
|
|