No TPTP formula. May not be expressible in strict first order.	Merge.kif 8326-8326	The number 1 argument of meets temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8327-8327	The number 2 argument of meets temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Military.kif 992-992	The number 3 argument of military expenditures fraction of GDP in period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Military.kif 953-953	The number 3 argument of military expenditures in US dollars in period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Music.kif 1180-1180	The number 2 argument of music chart period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3611-3611	The number 1 argument of new registered users is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 128-128	The number 3 argument of offers at time is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 953-953	The number 2 argument of overcast days in period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8227-8227	The number 1 argument of overlap temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8228-8228	The number 2 argument of overlap temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3857-3857	The number 3 argument of payments per period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1023-1023	The number 3 argument of per capitaGDP in period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3865-3865	The number 3 argument of purchases per period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2826-2826	The number 2 argument of rainfall intensity is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29999-29999	The number 4 argument of rents is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30887-30887	The number 4 argument of shortage is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 533-533	The number 3 argument of simple interest is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3031-3031	The number 2 argument of snowfall intensity is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8037-8037	The number 1 argument of starts is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8038-8038	The number 2 argument of starts is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4060-4060	The number 2 argument of statement period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 240-240	The number 2 argument of validity period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8444-8444	The number 1 argument of recurrent time interval is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8445-8445	The number 2 argument of recurrent time interval is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9374-9374	The number 2 argument of temporal composition is a subclass of time interval
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