No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3873-3873	域 每期積分, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 994-994	域 dateUsed, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 852-852	域 白天小時間隔, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7902-7902	域 持續時間, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8309-8309	域 期間, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8310-8310	域 期間, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8371-8371	域 早期, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8372-8372	域 早期, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3353-3353	域 員工貢獻, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8069-8069	域 飾面, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8070-8070	域 飾面, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3515-3515	域 firstTimeBuyers, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3563-3563	域 firstTimeSellers, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2967-2967	域 grossMerchandiseBoughtInPeriod, 4 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2996-2996	域 grossMerchandiseSoldInPeriod, 4 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10336-10336	域 heartRate, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5011-5011	域 highTide, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 998-998	域 期間最高溫度, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3271-3271	域 收入, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1678-1678	域 inflationRateInCountry, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 524-524	域 利息收入, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 582-582	域 每期利率, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4331-4331	域 loggedInDuring, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5020-5020	域 lowTide, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1010-1010	域 期間最低溫度, 2 and TimeInterval
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