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 14935-14936
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/0/ 05/ A_Caribbean_Mystery_First_Edition_Cover_1964.jpg") pictureList.kif 2875-2875
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/0/ 0d/ RaymondChandler_TheLongGoodbye.jpg") pictureList.kif 2873-2873
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/b/ bf/ The_Murder_at_the_Vicarage_First_Edition_Cover_1930.jpg") pictureList.kif 2874-2874
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/c/ c0/ Murder_on_the_Orient_Express_First_Edition_Cover_1934.jpg") pictureList.kif 2877-2877
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/c/ c0/ The_Moon_Is_A_Harsh_Mistress_%28book%29.jpg") pictureList.kif 2872-2872
(externalImage MysteryStory "http://upload.wikimedia.org/wikipedia/en/f/ fc/ Poirot_Season_11_DVD.jpg") pictureList.kif 2876-2876
(subclass MysteryStory FictionalText) Mid-level-ontology.kif 14934-14934 神秘的故事虚构的文字subclass

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


(termFormat ChineseLanguage MysteryStory "神秘的故事") domainEnglishFormat.kif 39543-39543
(termFormat ChineseTraditionalLanguage MysteryStory "神秘的故事") domainEnglishFormat.kif 39542-39542
(termFormat EnglishLanguage MysteryStory "mystery story") domainEnglishFormat.kif 39541-39541

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


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


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