(=>     (and         (instance ?MONTH1             (MonthFn May ?YEAR))         (instance ?MONTH2             (MonthFn June ?YEAR)))     (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 8531-8535	If a time interval is an instance of the month May and another time interval is an instance of the month June, then the time interval meets the other time interval
(=>     (and         (instance ?MONTH1             (MonthFn November ?YEAR))         (instance ?MONTH2             (MonthFn December ?YEAR)))     (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 8616-8620	If a time interval is an instance of the month November and another time interval is an instance of the month December, then the time interval meets the other time interval
(=>     (and         (instance ?MONTH1             (MonthFn October ?YEAR))         (instance ?MONTH2             (MonthFn November ?YEAR)))     (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 8602-8606	If a time interval is an instance of the month October and another time interval is an instance of the month November, then the time interval meets the other time interval
(=>     (and         (instance ?MONTH1             (MonthFn September ?YEAR))         (instance ?MONTH2             (MonthFn October ?YEAR)))     (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 8588-8592	If a time interval is an instance of the month September and another time interval is an instance of the month October, then the time interval meets the other time interval
(=>     (and         (instance ?Opening OpeningAnAccount)         (eventLocated ?Opening ?Bank)         (instance ?Bank FinancialOrganization)         (agent ?Opening ?Agent)         (equal             (WhenFn ?Opening) ?OpeningTime))     (exists (?Account ?AccountPeriod)         (and             (agreementPeriod ?Account ?AccountPeriod)             (meetsTemporally ?OpeningTime ?AccountPeriod)             (instance ?Account FinancialAccount)             (accountAt ?Account ?Bank)             (accountHolder ?Account ?Agent))))	FinancialOntology.kif 293-306	If a process is an instance of opening an account and the process is located at 2 and a financial organization is an instance of financial organization and a cognitive agent is an agent of the process and the time of existence of the process is equal to the processTime, then there exist a financial account and the financial accountPeriod such that the financial accountPeriod is an agreement period of the financial account and the processTime meets the financial accountPeriod and the financial account is an instance of financial account and the financial account is held by the financial organization and the cognitive agent holds account the financial account
(=>     (and         (instance ?Place PlacingAnOrder)         (equal             (WhenFn ?Place) ?Time))     (exists (?Order ?Period)         (and             (equal                 (WhenFn ?Order) ?Period)             (meetsTemporally ?Time ?Period))))	FinancialOntology.kif 1888-1895	If a physical is an instance of placing an order and the time of existence of the physical is equal to a time interval, then there exist another physical and another time interval such that the time of existence of the other physical is equal to the other time interval and the time interval meets the other time interval
(=>     (and         (instance ?SECOND1             (SecondFn ?NUMBER1 ?MINUTE))         (instance ?SECOND2             (SecondFn ?NUMBER2 ?MINUTE))         (equal             (SubtractionFn ?NUMBER2 ?NUMBER1) 1))     (meetsTemporally ?SECOND1 ?SECOND2))	Merge.kif 8110-8115	If a time interval is an instance of the second a positive integer and another time interval is an instance of the second another positive integer and (the other positive integer and the positive integer) is equal to 1, then the time interval meets the other time interval
(=>     (and         (instance ?Uptick Uptick)         (patient ?Uptick ?Stock)         (equal             (WhenFn ?Uptick) ?Time1)         (price ?Stock ?Price1 ?Time1))     (exists (?Transaction ?Time2)         (and             (instance ?Transaction StockMarketTransaction)             (patient ?Transaction ?Stock)             (equal                 (WhenFn ?Transaction) ?Time2)             (meetsTemporally ?Time2 ?Time1)             (price ?Stock ?Price2 ?Time2)             (lessThan ?Price2 ?Price1))))	FinancialOntology.kif 3116-3129	If a process is an instance of uptick and a physical is a patient of the process and the time of existence of the process is equal to an agent and the physical is price a currency measure for the agent, then there exist another process and another agent such that the other process is an instance of stock market transaction and the physical is a patient of the other process and the time of existence of the other process is equal to the other agent and the other agent meets the agent and the physical is price another currency measure for the other agent and the other currency measure is less than the currency measure
(=>     (and         (instance ?VP ValetParking)         (patient ?VP ?VEHICLE)         (instance ?A Arriving)         (patient ?A ?VEHICLE))     (meetsTemporally         (EndFn             (WhenFn ?A))         (BeginFn             (WhenFn ?VP))))	TransportDetail.kif 173-181	If a process is an instance of valet parking and an entity is a patient of the process and another process is an instance of arriving and the entity is a patient of the other process, then the end of the time of existence of the other process meets the beginning of the time of existence of the process
(=>     (and         (instance ?YEAR1 Year)         (instance ?YEAR2 Year)         (equal             (SubtractionFn ?YEAR2 ?YEAR1)             (MeasureFn 1 YearDuration)))     (meetsTemporally ?YEAR1 ?YEAR2))	Merge.kif 8175-8180	If a time interval is an instance of year and another time interval is an instance of year and (the other time interval and the time interval) is equal to 1 year duration(s), then the time interval meets the other time interval
(=>     (and         (monetaryValue ?Check ?Amount)         (checkAccount ?Check ?Account)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check)         (equal             (WhenFn ?Processing) ?ProcessingTime))     (exists (?Withdrawal)         (and             (instance ?Withdrawal Withdrawal)             (instrument ?Withdrawal ?Check)             (equal                 (WhenFn ?Withdrawal) ?WithdrawalTime)             (meetsTemporally ?ProcessingTime ?WithdrawalTime)             (transactionAmount ?Withdrawal ?Amount)             (origin ?Withdrawal ?Account))))	FinancialOntology.kif 104-118	If value of a check is a currency measure and a financial account is a check account of the check and a process is an instance of processingA check and the check is a patient of the process and the time of existence of the process is equal to the processTime, then there exists a financial transaction such that the financial transaction is an instance of withdrawal and the check is an instrument for the financial transaction and the time of existence of the financial transaction is equal to the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the financial account
(=>     (and         (monetaryValue ?Check ?Amount)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check)         (destination ?Processing             (CurrencyFn ?Account))         (instance ?Account FinancialAccount)         (equal             (WhenFn ?Processing) ?ProcessingTime))     (exists (?Deposit)         (and             (instance ?Deposit Deposit)             (instrument ?Deposit ?Check)             (equal                 (WhenFn ?Deposit) ?DepositTime)             (meetsTemporally ?ProcessingTime ?DepositTime)             (transactionAmount ?Deposit ?Amount)             (destination ?Deposit                 (CurrencyFn ?Account)))))	FinancialOntology.kif 120-135	If value of an object is a currency measure and a process is an instance of processingA check and the object is a patient of the process and the process ends up at the currency of a financial account and the financial account is an instance of financial account and the time of existence of the process is equal to the processTime, then there exists a financial transaction such that the financial transaction is an instance of deposit and the object is an instrument for the financial transaction and the time of existence of the financial transaction is equal to the financial transactionTime and the processTime meets the financial transactionTime and the currency measure is a transaction amount of the financial transaction and the financial transaction ends up at the currency of the financial account
(=>     (and         (price ?Stocks             (MeasureFn ?Number UnitedStatesDollar) ?Time)         (exists (?Event)             (and                 (splitFor ?Event ?N1 ?N2)                 (equal                     (WhenFn ?Event) ?TimeOfSplit))))     (and         (equal ?N3             (MultiplicationFn ?Number ?N1))         (equal ?NewNumber             (DivisionFn ?N3 ?N2))         (price ?Stocks             (MeasureFn ?NewNumber UnitedStatesDollar) ?TimeAfterSplit)         (meetsTemporally ?Time ?TimeOfSplit)         (meetsTemporally ?TimeOfSplit ?TimeAfterSplit)))	FinancialOntology.kif 2172-2184	If a physical is price a real number united states dollar(s) for an agent and there exists a stock split such that the stock split is split for an integer for another integer and the time of existence of the stock split is equal to the agentOfSplit, then a quantity is equal to the real number and the integer and another real number is equal to the quantity and the other integer and the physical is price the other real number united states dollar(s) for the agentAfterSplit and the agent meets the agentOfSplit and the agentOfSplit meets the agentAfterSplit
(=>     (and         (shutdownOf ?Shutdown ?Application)         (instance ?Process1 ComputerProcess)         (programRunning ?Process1 ?Shutdown)         (equal             (WhenFn ?Process1) ?Time1))     (exists (?Process2 ?Time2)         (and             (instance ?Process2 ComputerProcess)             (programRunning ?Process2 ?Application)             (equal                 (WhenFn ?Process2) ?Time2)             (meetsTemporally ?Time2 ?Time1))))	QoSontology.kif 425-436	If a computer program is a shutdown of a shutdown block and a computer process is an instance of computer process and the shutdown block is a program running of the computer process and the time of existence of the computer process is equal to a time interval, then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval meets the time interval
(=>     (and         (startupOf ?Startup ?Application)         (instance ?Process1 ComputerProcess)         (programRunning ?Process1 ?Startup)         (equal             (WhenFn ?Process1) ?Time1))     (exists (?Process2 ?Time2)         (and             (instance ?Process2 ComputerProcess)             (programRunning ?Process2 ?Application)             (equal                 (WhenFn ?Process2) ?Time2)             (meetsTemporally ?Time1 ?Time2))))	QoSontology.kif 385-396	If a computer program is a startup of a startup block and a computer process is an instance of computer process and the startup block is a program running of the computer process and the time of existence of the computer process is equal to a time interval, then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the time interval meets the other time interval
(=>     (equal         (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE) ?CLASS)     (forall (?TIME1 ?TIME2)         (=>             (and                 (instance ?TIME1 ?CLASS)                 (instance ?TIME2 ?CLASS)                 (not                     (equal ?TIME1 ?TIME2)))             (or                 (meetsTemporally ?TIME1 ?TIME2)                 (meetsTemporally ?TIME2 ?TIME1)                 (earlier ?TIME1 ?TIME2)                 (earlier ?TIME2 ?TIME1)))))	Merge.kif 8804-8816	If decomposition of a time interval into the time interval-TYPEs is equal to another kind of time interval, then for all a third time interval and a fourth time interval if the third time interval is an instance of another kind of time interval and the fourth time interval is an instance of the other kind of time interval and the third time interval is not equal to the fourth time interval, then the third time interval meets the fourth time interval or the fourth time interval meets the third time interval or the third time interval happens earlier than the fourth time interval or the fourth time interval happens earlier than the third time interval
(=>     (equal         (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE) ?CLASS)     (forall (?TIME1)         (=>             (and                 (instance ?TIME1 ?CLASS)                 (not                     (finishes ?TIME1 ?INTERVAL)))             (exists (?TIME2)                 (and                     (instance ?TIME2 ?CLASS)                     (meetsTemporally ?TIME1 ?TIME2))))))	Merge.kif 8832-8842	If decomposition of a time interval into the time interval-TYPEs is equal to another kind of time interval, then for all a third time interval if the third time interval is an instance of another kind of time interval and the third time interval doesn't finish the time interval, then there exists a fourth time interval such that the fourth time interval is an instance of the other kind of time interval and the third time interval meets the fourth time interval
(=>     (equal         (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE) ?CLASS)     (forall (?TIME1)         (=>             (and                 (instance ?TIME1 ?CLASS)                 (not                     (starts ?TIME1 ?INTERVAL)))             (exists (?TIME2)                 (and                     (instance ?TIME2 ?CLASS)                     (meetsTemporally ?TIME2 ?TIME1))))))	Merge.kif 8844-8854	If decomposition of a time interval into the time interval-TYPEs is equal to another kind of time interval, then for all a third time interval if the third time interval is an instance of another kind of time interval and the third time interval doesn't start the time interval, then there exists a fourth time interval such that the fourth time interval is an instance of the other kind of time interval and the fourth time interval meets the third time interval
(=>     (instance ?AUTUMN FallSeason)     (exists (?SUMMER)         (and             (instance ?SUMMER SummerSeason)             (meetsTemporally ?SUMMER ?AUTUMN))))	Mid-level-ontology.kif 16986-16991	If a time interval is an instance of fall season, then there exists another time interval such that the other time interval is an instance of summer season and the other time interval meets the time interval
(=>     (instance ?AUTUMN FallSeason)     (exists (?WINTER)         (and             (instance ?WINTER WinterSeason)             (meetsTemporally ?AUTUMN ?WINTER))))	Mid-level-ontology.kif 16993-16998	If a time interval is an instance of fall season, then there exists another time interval such that the other time interval is an instance of winter season and the time interval meets the other time interval
(=>     (instance ?DAY DayTime)     (exists (?NIGHT1 ?NIGHT2)         (and             (instance ?NIGHT1 NightTime)             (instance ?NIGHT2 NightTime)             (meetsTemporally ?DAY ?NIGHT1)             (meetsTemporally ?NIGHT2 ?DAY))))	Merge.kif 8288-8295	If a time interval is an instance of day time, then there exist another time interval and a third time interval such that the other time interval is an instance of night time and the third time interval is an instance of night time and the time interval meets the other time interval and the third time interval meets the time interval
(=>     (instance ?FSE FourStrokeEngine)     (hasPurpose ?FSE         (exists (?I ?CM ?CB ?E ?I2)             (and                 (instance ?I FourStrokeIntake)                 (instance ?CM FourStrokeCompression)                 (instance ?CB FourStrokeCombustion)                 (instance ?E FourStrokeExhaust)                 (instance ?I2 FourStrokeIntake)                 (eventLocated ?I ?FSE)                 (eventLocated ?CM ?FSE)                 (eventLocated ?CB ?FSE)                 (eventLocated ?E ?FSE)                 (eventLocated ?I2 ?FSE)                 (meetsTemporally ?I ?CM)                 (meetsTemporally ?CM ?CB)                 (meetsTemporally ?CB ?E)                 (meetsTemporally ?E ?I2)))))	Cars.kif 114-132	If a physical is an instance of four stroke engine, then the physical purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the entity2 such that the entity is an instance of four stroke intake and the other entity is an instance of four stroke compression and the third entity is an instance of four stroke combustion and the fourth entity is an instance of four stroke exhaust and the entity2 is an instance of four stroke intake and the entity is located at 2 and the other entity is located at 2 and the third entity is located at 2 and the fourth entity is located at 2 and the entity2 is located at 2 and the entity meets the other entity and the other entity meets the third entity and the third entity meets the fourth entity and the fourth entity meets the entity2
(=>     (instance ?FSE FourStrokeEngineCycle)     (exists (?I ?CM ?CB ?E ?I2)         (and             (instance ?I FourStrokeIntake)             (instance ?CM FourStrokeCompression)             (instance ?CB FourStrokeCombustion)             (instance ?E FourStrokeExhaust)             (instance ?I2 FourStrokeIntake)             (subProcess ?I ?FSE)             (subProcess ?CM ?FSE)             (subProcess ?CB ?FSE)             (subProcess ?E ?FSE)             (subProcess ?I2 ?FSE)             (meetsTemporally ?I ?CM)             (meetsTemporally ?CM ?CB)             (meetsTemporally ?CB ?E)             (meetsTemporally ?E ?I2))))	Cars.kif 147-164	If a process is an instance of four stroke engine cycle, then there exist a time interval, another time interval,, , a third time interval,, , a fourth time interval and the time interval2 such that the time interval is an instance of four stroke intake and the other time interval is an instance of four stroke compression and the third time interval is an instance of four stroke combustion and the fourth time interval is an instance of four stroke exhaust and the time interval2 is an instance of four stroke intake and the time interval is a subprocess of the process and the other time interval is a subprocess of the process and the third time interval is a subprocess of the process and the fourth time interval is a subprocess of the process and the time interval2 is a subprocess of the process and the time interval meets the other time interval and the other time interval meets the third time interval and the third time interval meets the fourth time interval and the fourth time interval meets the time interval2
(=>     (instance ?INTERVAL TimeInterval)     (meetsTemporally         (PastFn ?INTERVAL) ?INTERVAL))	Merge.kif 7912-7914	If a time interval is an instance of time interval, then before the time interval meets the time interval
(=>     (instance ?INTERVAL TimeInterval)     (meetsTemporally ?INTERVAL         (FutureFn ?INTERVAL)))	Merge.kif 7943-7945	If a time interval is an instance of time interval, then the time interval meets after the 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners