Testament - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Testament Certificate)	Mid-level-ontology.kif 18205-18205	Testament is a subclass of certificate
(documentation Testament EnglishLanguage "A Certificate that describes how a person's property is to be distributed after the death of the person.")	Mid-level-ontology.kif 18206-18207	Testament is a subclass of certificate
(externalImage Testament "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Louis_XIV_Testament.jpg")	pictureList.kif 3005-3005	Testament is a subclass of certificate
(externalImage Testament "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Alfred_Nobel_-_Testament.jpg")	pictureList.kif 3224-3224	Testament is a subclass of certificate

appearance as argument number 2

(termFormat EnglishLanguage Testament "testament")	domainEnglishFormat.kif 57635-57635
(termFormat ChineseTraditionalLanguage Testament "遺囑")	domainEnglishFormat.kif 57636-57636
(termFormat ChineseLanguage Testament "遗嘱")	domainEnglishFormat.kif 57637-57637

antecedent

(=>
    (instance ?T Testament)
    (exists (?B)
        (and
            (instance ?B Bequeathing)
            (refers ?T ?B))))

If X is an instance of testament, then there exists Y such that Y is an instance of bequeathing and X includes a reference to Y