No TPTP formula. May not be expressible in strict first order.	Media.kif 580-582	If a time interval is an instance of hanukkah, then duration of the time interval is 8 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9346-9348	If a time interval is an instance of hour, then duration of the time interval is 1 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6162-6168	If a physical is an instance of IV bolus therapy, then duration of the time of existence of the physical is a real number minute duration(s) and the real number is less than 5.0
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1579-1583	If an agreement is an instance of day loan, then a time interval is an agreement period of the agreement and duration of the time interval is 1 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9356-9358	If a time interval is an instance of minute, then duration of the time interval is 1 minute duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9104-9106	If a time interval is an instance of April, then duration of the time interval is 30 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9160-9162	If a time interval is an instance of August, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9217-9219	If a time interval is an instance of December, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9052-9054	If a time interval is an instance of January, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9146-9148	If a time interval is an instance of July, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9132-9134	If a time interval is an instance of June, then duration of the time interval is 30 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9090-9092	If a time interval is an instance of March, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9118-9120	If a time interval is an instance of May, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9203-9205	If a time interval is an instance of November, then duration of the time interval is 30 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9189-9191	If a time interval is an instance of October, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9175-9177	If a time interval is an instance of September, then duration of the time interval is 30 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2627-2640	If a physical is an instance of blizzard, then there exist an entity, another entity and a third entity such that the entity is an instance of geographic area and the physical is located at the entity and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 35.0 and duration of the time of existence of the physical is the third entity hour duration(s) and the third entity is greater than 3 holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8991-8993	If a time interval is an instance of quarter year, then duration of the time interval is 3 month duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9366-9368	If a time interval is an instance of second, then duration of the time interval is 1 second duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 455-457	If a time interval is an instance of lent, then duration of the time interval is 40 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9336-9338	If a time interval is an instance of week, then duration of the time interval is 1 week duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8744-8746	If a time interval is an instance of year, then duration of the time interval is 1 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1878-1886	If The Measuring for list a measuring list takes a time duration., then there exists a time interval such that the time interval is equal to interval between the beginning of the time of existence of the first of the measuring list and the end of the time of existence of the last of the measuring list and duration of the time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2574-2580	If an agreement the attribute conventional option, then there exist a real number and a time interval such that the time interval is an agreement period of the agreement and duration of the time interval is the real number month duration(s) and the real number is less than 39
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2558-2564	If an agreement the attribute conventional option, then there exist a real number and a time interval such that the time interval is an agreement period of the agreement and duration of the time interval is the real number month duration(s) and the real number is less than 9
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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