Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 130-137	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the kind of entity during the other kind of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an accessing web page is an instance of accessing web page and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the accessing web page and the time interval takes place during the accessing web page and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the accessing web page and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and the beginning of the time of existence of the accessing web page is equal to the beginning of the time of existence of the physical and the beginning of the time of existence of the time interval is equal to the end of the time of existence of the physical, then the time of the accessing web page in the class the time interval_CLASS is equal to the physical
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 139-150	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the other kind of process during the other kind of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2084-2084	Time interval is a subclass of time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14848-14848	Holiday is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19091-19091	Ante meridiem is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19104-19104	Post meridiem is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19118-19118	Weekend is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19131-19131	Season of year is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8738-8738	Year is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8765-8765	Decade is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8857-8857	Day time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8862-8862	Sunrise is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8866-8866	Sunset is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8888-8888	Night time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8987-8987	Quarter year is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9043-9043	Month is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9230-9230	Day is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9332-9332	Week is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9340-9340	Hour is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9350-9350	Minute is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9360-9360	Second is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Food.kif 1849-1849	Breakfast time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Food.kif 1861-1861	Lunch time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Food.kif 1878-1878	Dinner time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 26-26	Ramadan is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 112-112	Dhu al hijjah is a subclass of time interval

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