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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Series

Sigma KEE - Series
Series(series)
Congressional_Record, Hansard, book_of_knowledge, canon, cliffhanger, soap_opera, tetralogy

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14646-14648
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2928-2928
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2930-2930
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2929-2929
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2733-2733
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14645-14645 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 14588-14588 Broadcast program is a subclass of series
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14673-14673 Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1042-1042
No TPTP formula. May not be expressible in strict first order. english_format.kif 1295-1295
No TPTP formula. May not be expressible in strict first order. french_format.kif 720-720
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 251-251
No TPTP formula. May not be expressible in strict first order. terms-it.txt 254-254
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2404-2404
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 672-672
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 256-256
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 290-290
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 741-741
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 255-255

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14617-14617 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 14650-14658


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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