No TPTP formula. May not be expressible in strict first order.	Economy.kif 1499-1499	The number 3 argument of annual expenditures of area in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1471-1471	The number 3 argument of annual revenues of area in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Dining.kif 359-359	The number 1 argument of business hours is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Dining.kif 920-920	The number 4 argument of capable during is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1529-1529	The number 3 argument of capital expenditures of area in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1658-1658	The number 2 argument of cold season in area is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Government.kif 604-604	The number 2 argument of commemorates date is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1638-1638	The number 2 argument of cool season in area is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3630-3630	The number 2 argument of currency exchange perUS dollar is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3641-3641	The number 3 argument of currency exchange rate in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1627-1627	The number 2 argument of dry season in area is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2790-2790	The number 3 argument of economic aid donated in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2834-2834	The number 3 argument of economic aid received net in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2096-2096	The number 3 argument of electricity consumption in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2139-2139	The number 3 argument of electricity export in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2029-2029	The number 4 argument of electricity fraction from source in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2184-2184	The number 3 argument of electricity import in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1964-1964	The number 3 argument of electricity production in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2522-2522	The number 4 argument of export partner by fraction in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2492-2492	The number 4 argument of export partner by rank in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2352-2352	The number 3 argument of export partner in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2259-2259	The number 3 argument of export total in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2757-2757	The number 3 argument of external debt in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3682-3682	The number 2 argument of fiscal year period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1246-1246	The number 3 argument of highest decile share of household income in period 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