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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Monument
Monument

appearance as argument number 1
-------------------------


(documentation Monument EnglishLanguage "A StationaryArtifact whose purpose is to commemorate a person, animal or event.") Mid-level-ontology.kif 7049-7050
(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
(subclass Monument StationaryArtifact) Mid-level-ontology.kif 7048-7048

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Monument "纪念碑") domainEnglishFormat.kif 38542-38542
(termFormat ChineseTraditionalLanguage Monument "紀念碑") domainEnglishFormat.kif 38541-38541
(termFormat EnglishLanguage Monument "monument") domainEnglishFormat.kif 38540-38540

antecedent
-------------------------


(=>
    (instance ?M Monument)
    (hasPurpose ?M
        (exists (?R)
            (and
                (instance ?R Remembering)
                (instrument ?R ?M)))))
Mid-level-ontology.kif 7052-7058


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 is open source software produced by Articulate Software and its partners