Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Monument
Monument(monument)
Lincoln_Memorial, Seven_Wonders_of_the_Ancient_World, Seven_Wonders_of_the_World, Washington_Monument, memorial, monument

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)))))
Mid-level-ontology.kif 8150-8156 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners