|
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Newspaper)) (holdsDuring ?T1 (attribute ?AGENT NewspaperPublishers))) |
Media.kif 1914-1918 | |
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Periodical)) (holdsDuring ?T1 (attribute ?AGENT PeriodicalPublishers))) |
Media.kif 1908-1912 | |
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Text)) (holdsDuring ?T1 (attribute ?AGENT InformationIndustries))) |
Media.kif 1896-1900 | |
| (=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2127-2134 | |
| (=> (and (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2171-2178 | |
| (=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2217-2224 | |
| (=> (and (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 1995-2002 | |
| (=> (and (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2292-2299 | |
| (=> (and (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2597-2604 | |
| (=> (and (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT))))) |
Economy.kif 2586-2595 | |
| (=> (and (instance ?AGENT Agent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1652-1658 | |
| (=> (and (instance ?AREA ?TYPE) (subclass ?TYPE ClimateZone)) (climateTypeInArea ?AREA ?TYPE)) |
Geography.kif 1242-1246 | |
| (=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE)) |
Geography.kif 984-989 | |
| (=> (and (instance ?AREA ColdClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP)) |
Geography.kif 1474-1479 | |
| (=> (and (instance ?AREA DesertClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP) (greaterThan ?TEMP (MeasureFn 18 CelsiusDegree))) (instance ?AREA SubtropicalDesertClimateZone)) |
Geography.kif 1340-1346 | |
| (=> (and (instance ?AREA GeographicArea) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP) (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP)) (instance ?AREA PolarClimateZone)) |
Geography.kif 1518-1524 | |
| (=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM))) |
Geography.kif 969-973 | |
| (=> (and (instance ?AREA PolarClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP)) |
Geography.kif 1511-1516 | |
| (=> (and (instance ?AREA SubtropicalDesertClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThan ?TEMP (MeasureFn 18 CelsiusDegree))) |
Geography.kif 1348-1353 | |
| (=> (and (instance ?AREA TemperateClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThanOrEqualTo ?TEMP (MeasureFn -3 CelsiusDegree))) |
Geography.kif 1381-1386 | |
| (=> (and (instance ?AREA TropicalClimateZone) (subclass ?MO Month) (instance ?AREA GeographicArea) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThan ?TEMP (MeasureFn 18 CelsiusDegree))) |
Geography.kif 1264-1270 | |
| (=> (and (instance ?B Buying) (patient ?B ?ITEM) (origin ?B ?AGENT) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validPaymentType ?PS ?PAY)) (modalAttribute (exists (?PAYMENT) (and (instance ?PAYMENT ?PAY) (subProcess ?PAYMENT ?B))) Likely)) |
Catalog.kif 322-337 | |
| (=> (and (instance ?CS1 ?CLASS) (subclass ?CLASS CompoundSubstance) (not (exists (?CS2) (and (instance ?CS2 ?CLASS) (part ?CS2 ?CS1)))) (molecularRatio ?ECLASS ?N ?CLASS) (instance ?G Group) (member ?E ?G) (part ?E ?CS1) (instance ?E ?ECLASS)) (memberCount ?G ?N)) |
Cars.kif 1767-1781 | |
| (=> (and (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?TYPE GeopoliticalArea) (instance ?AREA GeopoliticalArea)) (geopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 6253-6258 | |
| (=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT Agent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST)) |
UXExperimentalTerms.kif 1703-1725 | |
| 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners