(domain meetsTemporally 1 TimeInterval)	Merge.kif 8326-8326
(domain meetsTemporally 2 TimeInterval)	Merge.kif 8327-8327
(domain militaryExpendituresFractionOfGDPInPeriod 3 TimeInterval)	Military.kif 992-992
(domain militaryExpendituresInUSDollarsInPeriod 3 TimeInterval)	Military.kif 953-953
(domain musicChartPeriod 2 TimeInterval)	Music.kif 1180-1180
(domain newRegisteredUsers 1 TimeInterval)	UXExperimentalTerms.kif 3611-3611
(domain offersAtTime 3 TimeInterval)	Catalog.kif 128-128
(domain overcastDaysInPeriod 2 TimeInterval)	Weather.kif 953-953
(domain overlapsTemporally 1 TimeInterval)	Merge.kif 8227-8227
(domain overlapsTemporally 2 TimeInterval)	Merge.kif 8228-8228
(domain paymentsPerPeriod 3 TimeInterval)	FinancialOntology.kif 3857-3857
(domain perCapitaGDPInPeriod 3 TimeInterval)	Economy.kif 1023-1023
(domain purchasesPerPeriod 3 TimeInterval)	FinancialOntology.kif 3865-3865
(domain rainfallIntensity 2 TimeInterval)	Weather.kif 2826-2826
(domain rents 4 TimeInterval)	Mid-level-ontology.kif 29999-29999
(domain shortage 4 TimeInterval)	Mid-level-ontology.kif 30887-30887
(domain simpleInterest 3 TimeInterval)	FinancialOntology.kif 533-533
(domain snowfallIntensity 2 TimeInterval)	Weather.kif 3031-3031
(domain starts 1 TimeInterval)	Merge.kif 8037-8037
(domain starts 2 TimeInterval)	Merge.kif 8038-8038
(domain statementPeriod 2 TimeInterval)	FinancialOntology.kif 4060-4060
(domain validityPeriod 2 TimeInterval)	Catalog.kif 240-240
(domainSubclass RecurrentTimeIntervalFn 1 TimeInterval)	Merge.kif 8444-8444
(domainSubclass RecurrentTimeIntervalFn 2 TimeInterval)	Merge.kif 8445-8445
(domainSubclass TemporalCompositionFn 2 TimeInterval)	Merge.kif 9374-9374
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