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


KB Term:  Term intersection
English Word: 

Sigma KEE - MysteryStory
MysteryStory(mystery story)
more pictures...
murder_mystery, mystery, mystery_story, whodunit

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


(documentation MysteryStory EnglishLanguage "A FictionalText whose central plot element is a crime of some sort, usually a murder.") Mid-level-ontology.kif 16297-16298
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/0/ 05/ A_Caribbean_Mystery_First_Edition_Cover_1964.jpg") pictureList.kif 2874-2874
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/0/ 0d/ RaymondChandler_TheLongGoodbye.jpg") pictureList.kif 2872-2872
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/b/ bf/ The_Murder_at_the_Vicarage_First_Edition_Cover_1930.jpg") pictureList.kif 2873-2873
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/c/ c0/ Murder_on_the_Orient_Express_First_Edition_Cover_1934.jpg") pictureList.kif 2876-2876
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/c/ c0/ The_Moon_Is_A_Harsh_Mistress_%28book%29.jpg") pictureList.kif 2871-2871
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/f/ fc/ Poirot_Season_11_DVD.jpg") pictureList.kif 2875-2875
(subclass MysteryStory FictionalText) Mid-level-ontology.kif 16296-16296 Mystery story is a subclass of fictional text

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


(termFormat ChineseLanguage MysteryStory "神秘的故事") domainEnglishFormat.kif 39555-39555
(termFormat ChineseTraditionalLanguage MysteryStory "神秘的故事") domainEnglishFormat.kif 39554-39554
(termFormat EnglishLanguage MysteryStory "mystery story") domainEnglishFormat.kif 39553-39553

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


(=>
    (instance ?S MysteryStory)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?S ?C))))
Mid-level-ontology.kif 16300-16305


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