Periodical - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16045-16046
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2721-2721
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2901-2901
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16044-16044	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 16035-16035	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 16173-16173	Magazine is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16150-16150	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1043-1043	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1297-1297	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	french_format.kif 721-721	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 252-252	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 255-255	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2405-2405	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 673-673	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 257-257	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 291-291	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 550-550	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 742-742	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 256-256	Newspaper is a subclass of periodical

appearance as argument number 3

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

Mid-level-ontology.kif 16033-16033

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	If an entity publishes a class holds during a time position and the class is a subclass of periodical, then periodical publishers is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15995-16009	If a kind of series is a subclass of periodical and volume a positive integer in the series a kind of series is equal to a kind of text and volume another positive integer in the series the kind of series is equal to another kind of text and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of a kind of text and another entity is an instance of another kind of text and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day

consequent

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

Mid-level-ontology.kif 17201-17208

If an agent is an instance of periodical publisher,
then there exist a process and an entity such that the process is an instance of publication and the agent is an agent of the process and the entity is a patient of the process and the entity is an instance of periodical

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: