meetsTemporally

-------------------------


(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9145-9149
(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9231-9235
(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9217-9221
(=>
    (and
        (instance ?MONTH1
            (MonthFn September ?YEAR))
        (instance ?MONTH2
            (MonthFn October ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9203-9207
(=>
    (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 1889-1896
(=>
    (and
        (instance ?SECOND1
            (SecondFn ?NUMBER1 ?MINUTE))
        (instance ?SECOND2
            (SecondFn ?NUMBER2 ?MINUTE))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?SECOND1 ?SECOND2))
Merge.kif 8820-8825
(=>
    (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 3109-3122
(=>
    (and
        (instance ?VP ValetParking)
        (patient ?VP ?VEHICLE)
        (instance ?A Arriving)
        (patient ?A ?VEHICLE))
    (meetsTemporally
        (EndFn
            (WhenFn ?A))
        (BeginFn
            (WhenFn ?VP))))
TransportDetail.kif 171-179
(=>
    (and
        (instance ?YEAR1 Year)
        (instance ?YEAR2 Year)
        (equal
            (SubtractionFn ?YEAR2 ?YEAR1)
            (MeasureFn 1 YearDuration)))
    (meetsTemporally ?YEAR1 ?YEAR2))
Merge.kif 8885-8890
(=>
    (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
(=>
    (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
(=>
    (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 2173-2185
(=>
    (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 422-433
(=>
    (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 382-393
(=>
    (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 9424-9436
(=>
    (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 9452-9462
(=>
    (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 9464-9474
(=>
    (instance ?AUTUMN FallSeason)
    (exists (?SUMMER)
        (and
            (instance ?SUMMER SummerSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 16984-16989
(=>
    (instance ?AUTUMN FallSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))
Mid-level-ontology.kif 16991-16996
(=>
    (instance ?DAY DayTime)
    (exists (?NIGHT1 ?NIGHT2)
        (and
            (instance ?NIGHT1 NightTime)
            (instance ?NIGHT2 NightTime)
            (meetsTemporally ?DAY ?NIGHT1)
            (meetsTemporally ?NIGHT2 ?DAY))))
Mid-level-ontology.kif 16824-16831
(=>
    (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
(=>
    (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
(=>
    (instance ?INTERVAL TimeInterval)
    (meetsTemporally
        (PastFn ?INTERVAL) ?INTERVAL))
Merge.kif 8592-8594
(=>
    (instance ?INTERVAL TimeInterval)
    (meetsTemporally ?INTERVAL
        (FutureFn ?INTERVAL)))
Merge.kif 8625-8627

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