Horn - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Horn Bone)	Mid-level-ontology.kif 13010-13010	Horn is a subclass of bone
(documentation Horn EnglishLanguage "An outgrowth of Bone that is found on some HoofedMammals.")	Mid-level-ontology.kif 13011-13012	Horn is a subclass of bone
(externalImage Horn "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Goat_with_unusual_horns.jpg")	pictureList.kif 4728-4728	Horn is a subclass of bone

appearance as argument number 2

(termFormat EnglishLanguage Horn "horn")	domainEnglishFormat.kif 28571-28571
(termFormat ChineseTraditionalLanguage Horn "喇叭")	domainEnglishFormat.kif 28572-28572
(termFormat ChineseLanguage Horn "喇叭")	domainEnglishFormat.kif 28573-28573

antecedent

(=>
    (instance ?H Horn)
    (exists (?M)
        (and
            (instance ?M HoofedMammal)
            (part ?H ?M))))

If X is an instance of horn, then there exists Y such that Y is an instance of hoofed mammal and X is a part of Y