TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Monument StationaryArtifact)	Mid-level-ontology.kif 8146-8146	Monument is a subclass of stationary artifact
(documentation Monument EnglishLanguage "A StationaryArtifact whose purpose is to commemorate a person, animal or event.")	Mid-level-ontology.kif 8147-8148	Monument is a subclass of stationary artifact
(externalImage Monument "http://upload.wikimedia.org/wikipedia/commons/a/ ad/ Monument_to_Warriors_of_51_Army_on_Sapun_Mountain_in_Sevastopol.jpg")	pictureList.kif 4782-4782	Monument is a subclass of stationary artifact

appearance as argument number 2

(termFormat EnglishLanguage Monument "monument")	domainEnglishFormat.kif 38513-38513
(termFormat ChineseTraditionalLanguage Monument "紀念碑")	domainEnglishFormat.kif 38514-38514
(termFormat ChineseLanguage Monument "纪念碑")	domainEnglishFormat.kif 38515-38515

antecedent

(=>
    (instance ?M Monument)
    (hasPurpose ?M
        (exists (?R)
            (and
                (instance ?R Remembering)
                (instrument ?R ?M)))))

If X is an instance of monument, then X has the purpose there exists Y such that Y is an instance of remembering and X is an instrument for Y