Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14624-14638	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
No TPTP formula. May not be expressible in strict first order.	Media.kif 1906-1910	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 14673-14673	Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14777-14777	Newspaper is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14800-14800	Magazine is a subclass of periodical

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