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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Periodical
Periodical(periodical)
almanac, annals, bimonthly, biweekly, comic_book, daily, digest, dope_sheet, ephemeris, farmer's_calendar, gazette, glossy, house_organ, journal, literary_review, monthly, news_magazine, organ, periodical, pictorial, pulp, pulp_magazine, quarterly, rag, review, scratch_sheet, semimonthly, semiweekly, serial, serial_publication, series, sheet, slick, slick_magazine, tabloid, weekly, 周期的, 期刊

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12417-12418
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2723-2723 "http://upload.wikimedia.org/wikipedia/commons/9/9a/ Zeitschriften.JPG" is a URL depicting periodical
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2903-2903 "http://upload.wikimedia.org/wikipedia/en/0/0f/Sci_am_mar_2005.jpg" is a URL depicting periodical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12416-12416 Periodical is a subclass of series

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12407-12407 The values returned by periodical issue are subclasses of periodical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12543-12543 Magazine is a subclass of periodical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12520-12520 Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1043-1043 "期刊" is the printable form of periodical in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1302-1302 "periodical" is the printable form of periodical in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12405-12405 The number 1 argument of periodical issue is a subclass of periodical

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1908-1912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12367-12381

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13469-13476


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners