| Horn
| |
| appearance as argument number 1 |
|
|
| (documentation Horn EnglishLanguage "An outgrowth of Bone that is found on some HoofedMammals.") | Mid-level-ontology.kif 12860-12861 | |
| (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 12859-12859 |
| 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 12863-12868 |
|
|
|