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



KB Term:  Term intersection
English Word: 

  numberOfCustomers

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

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


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

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


(termFormat EnglishLanguage MysteryStory "mystery story") domainEnglishFormat.kif 39547-39547
(termFormat ChineseTraditionalLanguage MysteryStory "神秘的故事") domainEnglishFormat.kif 39548-39548
(termFormat ChineseLanguage MysteryStory "神秘的故事") domainEnglishFormat.kif 39549-39549

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


(=>
    (instance ?S MysteryStory)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?S ?C))))
Mid-level-ontology.kif 16541-16546 If X is an instance of mystery story, then there exists Y such that Y is an instance of criminal action and X includes a reference to Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners