No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3873-3873	The number 3 argument of credits per period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 994-994	The number 2 argument of date used is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 852-852	The number 3 argument of daylight hours interval is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7902-7902	The number 1 argument of duration is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8309-8309	The number 1 argument of during is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8310-8310	The number 2 argument of during is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8371-8371	The number 1 argument of earlier is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8372-8372	The number 2 argument of earlier is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3353-3353	The number 3 argument of employee contribution is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8069-8069	The number 1 argument of finishes is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8070-8070	The number 2 argument of finishes is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3515-3515	The number 1 argument of first time buyers is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3563-3563	The number 1 argument of first time buyers is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2967-2967	The number 4 argument of GMB is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2996-2996	The number 4 argument of GMV is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10336-10336	The number 2 argument of heart rate is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5011-5011	The number 2 argument of high tide is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 998-998	The number 2 argument of highest temperature for period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3271-3271	The number 3 argument of income is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1678-1678	The number 3 argument of inflation rate in country is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 524-524	The number 3 argument of interest earned is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 582-582	The number 3 argument of interest rate per period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4331-4331	The number 3 argument of logged-in during is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5020-5020	The number 2 argument of low tide is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1010-1010	The number 2 argument of lowest temperature for period is an instance 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