No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3873-3873	Le nombre 3 argument de creditsPerPeriod est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 994-994	Le nombre 2 argument de dateUsed est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 852-852	Le nombre 3 argument de daylightHoursInterval est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7902-7902	Le nombre 1 argument de duration est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8309-8309	Le nombre 1 argument de during est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8310-8310	Le nombre 2 argument de during est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8371-8371	Le nombre 1 argument de earlier est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8372-8372	Le nombre 2 argument de earlier est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3353-3353	Le nombre 3 argument de employeeContribution est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8069-8069	Le nombre 1 argument de finishes est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8070-8070	Le nombre 2 argument de finishes est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3515-3515	Le nombre 1 argument de firstTimeBuyers est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3563-3563	Le nombre 1 argument de firstTimeSellers est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2967-2967	Le nombre 4 argument de grossMerchandiseBoughtInPeriod est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2996-2996	Le nombre 4 argument de grossMerchandiseSoldInPeriod est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10336-10336	Le nombre 2 argument de heartRate est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5011-5011	Le nombre 2 argument de highTide est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 998-998	Le nombre 2 argument de highestTemperatureForPeriod est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3271-3271	Le nombre 3 argument de income est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1678-1678	Le nombre 3 argument de inflationRateInCountry est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 524-524	Le nombre 3 argument de interestEarned est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 582-582	Le nombre 3 argument de interestRatePerPeriod est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4331-4331	Le nombre 3 argument de loggedInDuring est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5020-5020	Le nombre 2 argument de lowTide est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1010-1010	Le nombre 2 argument de lowestTemperatureForPeriod est une instance de interval temporel
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