Series - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16017-16019
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2927-2927
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 2928-2928
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2732-2732
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16016-16016	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 15959-15959	Broadcast program is a subclass of series
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16044-16044	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1042-1042	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1295-1295	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	french_format.kif 720-720	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 251-251	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 254-254	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2404-2404	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 672-672	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 256-256	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 290-290	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 549-549	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 741-741	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 255-255	Periodical is a subclass of series

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 15988-15988

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

If a content bearing physical is an instance of series,
then there exist another content bearing physical and a third content bearing physical such that the other content bearing physical is an instance of book and the third content bearing physical is an instance of book and the content bearing physical subsumes the content of the other content bearing physical and the content bearing physical subsumes the content of the third content bearing physical and equal the other content bearing physical and the third content bearing physical

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

KB Term:			Term intersection

English Word: