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

KB Term:  Term intersection
English Word: 

Sigma KEE - HistoricalAccount
HistoricalAccount(historical account)
more pictures...		account, ancient_history, chronicle, hearsay, history, recital, rumor, rumour, story

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


(subclass HistoricalAccount NarrativeText) Mid-level-ontology.kif 16489-16489 Historical account is a subclass of narrative text
(subclass HistoricalAccount FactualText) Mid-level-ontology.kif 16490-16490 Historical account is a subclass of factual text
(documentation HistoricalAccount EnglishLanguage "A FactualAccount that describes significant events that occurred in the past.") Mid-level-ontology.kif 16491-16492 Historical account is a subclass of factual text
(externalImage HistoricalAccount "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 41/ Jack_Fitzgerald_bicycle.jpg") pictureList.kif 2689-2689 Historical account is a subclass of factual text
(externalImage HistoricalAccount "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 88/ Deutsches_Reichsgesetzblatt_1872_001_001.jpg") pictureList.kif 2826-2826 Historical account is a subclass of factual text
(externalImage HistoricalAccount "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2f/ Nuremberg_chronicles_-_CRACOVIA.png") pictureList.kif 2827-2827 Historical account is a subclass of factual text
(externalImage HistoricalAccount "http://upload.wikimedia.org/wikipedia/ commons/ a/ ab/ Deutsches_Reichsgesetzblatt_1872_000_000.jpg") pictureList.kif 2828-2828 Historical account is a subclass of factual text
(externalImage HistoricalAccount "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5f/ World_of_Ptolemy_as_shown_by_Johannes_de_Armsshein_-_Ulm_1482.png") pictureList.kif 2829-2829 Historical account is a subclass of factual text
(externalImage HistoricalAccount "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 22/ De_anonymus_Werdenberg_Elisa_28.jpg") pictureList.kif 2831-2831 Historical account is a subclass of factual text
(externalImage HistoricalAccount "http://upload.wikimedia.org/wikipedia/ commons/ d/ d8/ Katalog_Museum_Speyer_03.jpg") pictureList.kif 2832-2832 Historical account is a subclass of factual text

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


(subclass Biography HistoricalAccount) Mid-level-ontology.kif 16502-16502 Biography is a subclass of historical account
(termFormat EnglishLanguage HistoricalAccount "historical account") domainEnglishFormat.kif 28253-28253 Biography is a subclass of historical account
(termFormat ChineseTraditionalLanguage HistoricalAccount "歷史記錄") domainEnglishFormat.kif 28254-28254 Biography is a subclass of historical account
(termFormat ChineseLanguage HistoricalAccount "历史记录") domainEnglishFormat.kif 28255-28255 Biography is a subclass of historical account

appearance as argument number 3
-------------------------


(partition NarrativeText FictionalText HistoricalAccount) Mid-level-ontology.kif 16493-16493 Narrative text is exhaustively partitioned into fictional text and historical account

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


(=>
    (instance ?ACCOUNT HistoricalAccount)
    (exists (?EVENT)
        (and
            (represents ?ACCOUNT ?EVENT)
            (earlier
                (WhenFn ?EVENT)
                (WhenFn ?ACCOUNT)))))		 Mid-level-ontology.kif 16495-16500 If X is an instance of historical account, then there exists Y such that X expresses Y and the time of existence of Y happens earlier than the time of existence of X


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