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 14847-14847	Holiday is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19090-19090	Ante meridiem is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19103-19103	Post meridiem is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19117-19117	Weekend is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19130-19130	Season of year is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8760-8760	Year is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8787-8787	Decade is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8879-8879	Day time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8884-8884	Sunrise is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8888-8888	Sunset is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8910-8910	Night time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9009-9009	Quarter year is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9065-9065	Month is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9252-9252	Day is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9354-9354	Week is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9362-9362	Hour is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9372-9372	Minute is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9382-9382	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