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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Series
Series(series)
Congressional_Record, Hansard, book_of_knowledge, canon, cliffhanger, series, soap_opera, tetralogy, シリーズ, 系列

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12389-12391
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2929-2929 "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Lueger.jpg" is a URL depicting series
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2931-2931 "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Persian-encyclopedia.jpg" is a URL depicting series
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2930-2930 "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Brockhaus_Lexikon.jpg" is a URL depicting series
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2734-2734 "http://upload.wikimedia.org/wikipedia/en/5/53/007NSNA.jpg" is a URL depicting series
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12388-12388 Series is a subclass of text

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12333-12333 Broadcast program is a subclass of series
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12416-12416 Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1042-1042 "系列" is the printable form of series in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1300-1300 "series" is the printable form of series in english language

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


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

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


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


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