| 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 |
|
|
|
|