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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MysteryStory

Sigma KEE - MysteryStory
MysteryStory
more pictures...

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 12690-12691
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/0/ 05/ A_Caribbean_Mystery_First_Edition_Cover_1964.jpg") pictureList.kif 2876-2876
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/0/ 0d/ RaymondChandler_TheLongGoodbye.jpg") pictureList.kif 2874-2874
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/b/ bf/ The_Murder_at_the_Vicarage_First_Edition_Cover_1930.jpg") pictureList.kif 2875-2875
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/c/ c0/ Murder_on_the_Orient_Express_First_Edition_Cover_1934.jpg") pictureList.kif 2878-2878
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/c/ c0/ The_Moon_Is_A_Harsh_Mistress_%28book%29.jpg") pictureList.kif 2873-2873
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/f/ fc/ Poirot_Season_11_DVD.jpg") pictureList.kif 2877-2877
(subclass MysteryStory FictionalText) Mid-level-ontology.kif 12689-12689

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


(termFormat ChineseLanguage MysteryStory "神秘的故事") domainEnglishFormat.kif 39439-39439
(termFormat ChineseTraditionalLanguage MysteryStory "神秘的故事") domainEnglishFormat.kif 39438-39438
(termFormat EnglishLanguage MysteryStory "mystery story") domainEnglishFormat.kif 39437-39437

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


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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners