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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NaziParty
NaziParty

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


(documentation NaziParty EnglishLanguage "The German PoliticalParty headed by Adolf Hitler.") Government.kif 2277-2277
(externalImage NaziParty "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Reichsmark.jpg") pictureList.kif 6722-6722
(externalImage NaziParty "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ Nazi_eagle_swastika.png") pictureList.kif 7413-7413
(externalImage NaziParty "http://upload.wikimedia.org/wikipedia/en/0/06/ 1930-election.jpg") pictureList.kif 7409-7409
(instance NaziParty PoliticalParty) Government.kif 2276-2276

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


(termFormat ChineseLanguage NaziParty "纳粹党") domainEnglishFormat.kif 40017-40017
(termFormat ChineseTraditionalLanguage NaziParty "納粹黨") domainEnglishFormat.kif 40016-40016
(termFormat EnglishLanguage NaziParty "nazi party") domainEnglishFormat.kif 40015-40015

consequent
-------------------------


(=>
    (attribute ?N Nazi)
    (member ?N NaziParty))
Government.kif 2283-2285


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