|
| (=> (and (instance ?MONTH1 (MonthFn March ?YEAR)) (instance ?MONTH2 (MonthFn April ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9130-9134 | |
| (=> (and (instance ?MONTH1 (MonthFn May ?YEAR)) (instance ?MONTH2 (MonthFn June ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9158-9162 | |
| (=> (and (instance ?MONTH1 (MonthFn November ?YEAR)) (instance ?MONTH2 (MonthFn December ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9243-9247 | |
| (=> (and (instance ?MONTH1 (MonthFn October ?YEAR)) (instance ?MONTH2 (MonthFn November ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9229-9233 | |
| (=> (and (instance ?MONTH1 (MonthFn September ?YEAR)) (instance ?MONTH2 (MonthFn October ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9215-9219 | |
| (=> (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 | |
| (=> (and (instance ?Place PlacingAnOrder) (equal (WhenFn ?Place) ?Time)) (exists (?Order ?Period) (and (equal (WhenFn ?Order) ?Period) (meetsTemporally ?Time ?Period)))) |
FinancialOntology.kif 1952-1959 | |
| (=> (and (instance ?SECOND1 (SecondFn ?NUMBER1 ?MINUTE)) (instance ?SECOND2 (SecondFn ?NUMBER2 ?MINUTE)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?SECOND1 ?SECOND2)) |
Merge.kif 8719-8724 | |
| (=> (and (instance ?T TimePeriod) (duration ?T (MeasureFn ?N MinuteDuration)) (greaterThan ?N 5.0) (instance ?H Human) (not (exists (?B) (and (instance ?B Breathing) (during (WhenFn ?B) ?T) (patient ?B ?H))))) (modalAttribute (exists (?D) (and (instance ?D Death) (experiencer ?D ?H) (meetsTemporally ?T (WhenFn ?D)))) Likely)) |
Medicine.kif 5997-6017 | |
| (=> (and (instance ?Uptick Uptick) (patient ?Uptick ?Stock) (equal (WhenFn ?Uptick) ?Time1) (instance ?U UnitOfCurrency) (price ?Stock (MeasureFn ?Price1 ?U) ?Time1)) (exists (?Transaction ?Time2 ?Price2) (and (instance ?Transaction StockMarketTransaction) (patient ?Transaction ?Stock) (equal (WhenFn ?Transaction) ?Time2) (meetsTemporally ?Time2 ?Time1) (price ?Stock (MeasureFn ?Price2 ?U) ?Time2) (lessThan ?Price2 ?Price1)))) |
FinancialOntology.kif 3212-3228 | |
| (=> (and (instance ?VP ValetParking) (patient ?VP ?VEHICLE) (instance ?A Arriving) (patient ?A ?VEHICLE)) (meetsTemporally (EndFn (WhenFn ?A)) (BeginFn (WhenFn ?VP)))) |
TransportDetail.kif 178-186 | |
| (=> (and (instance ?Y1 (YearFn ?N1)) (instance ?Y2 (YearFn ?N2)) (equal (SubtractionFn ?N2 ?N1) 1)) (meetsTemporally ?Y1 ?Y2)) |
Merge.kif 8784-8789 | |
| (=> (and (monetaryValue ?Check ?Amount) (checkAccount ?Check ?Account) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Withdrawal ?WithdrawalTime) (and (instance ?Withdrawal Withdrawal) (instrument ?Withdrawal ?Check) (equal (WhenFn ?Withdrawal) ?WithdrawalTime) (meetsTemporally ?ProcessingTime ?WithdrawalTime) (transactionAmount ?Withdrawal ?Amount) (origin ?Withdrawal ?Account)))) |
FinancialOntology.kif 104-118 | |
| (=> (and (monetaryValue ?Check ?Amount) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (destination ?Processing (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Deposit ?DepositTime) (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 | |
| (=> (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 427-438 | |
| (=> (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 387-398 | |
| (=> (equal (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (meetsTemporally ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8375-8379 | |
| (=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?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 9431-9443 | |
| (=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (forall (?TIME1) (=> (and (instance ?TIME1 ?CLASS) (not (finishes ?TIME1 ?INTERVAL))) (exists (?TIME2) (and (instance ?TIME2 ?CLASS) (meetsTemporally ?TIME1 ?TIME2)))))) |
Merge.kif 9459-9469 | |
| (=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (forall (?TIME1) (=> (and (instance ?TIME1 ?CLASS) (not (starts ?TIME1 ?INTERVAL))) (exists (?TIME2) (and (instance ?TIME2 ?CLASS) (meetsTemporally ?TIME2 ?TIME1)))))) |
Merge.kif 9471-9481 | |
| (=> (holdsDuring ?T (attribute ?H BoneFracture)) (exists (?S ?B) (and (instance ?S Separating) (patient ?S ?B) (instance ?B Bone) (part ?B ?H) (meetsTemporally (WhenFn ?S) ?T)))) |
Medicine.kif 6128-6137 | |
| (=> (holdsDuring ?T (attribute ?H BurnInjury)) (exists (?C) (and (instance ?C Combustion) (located ?C ?H) (meetsTemporally (WhenFn ?C) ?T)))) |
Medicine.kif 6036-6043 | |
| (=> (holdsDuring ?T (attribute ?H Dizzy)) (holdsDuring ?T (believes ?H (=> (exists (?T2) (and (during ?T2 ?T) (holdsDuring ?T2 (attribute ?H Standing)))) (exists (?F) (and (instance ?F Falling) (experiencer ?F ?H) (meetsTemporally ?T2 (WhenFn ?F)))))))) |
Mid-level-ontology.kif 16438-16454 | |
| (=> (instance ?AUTUMN FallSeason) (exists (?SUMMER) (and (instance ?SUMMER SummerSeason) (meetsTemporally ?SUMMER ?AUTUMN)))) |
Mid-level-ontology.kif 19229-19234 | |
| (=> (instance ?AUTUMN FallSeason) (exists (?WINTER) (and (instance ?WINTER WinterSeason) (meetsTemporally ?AUTUMN ?WINTER)))) |
Mid-level-ontology.kif 19236-19241 | |
| 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