Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EndFn

Sigma KEE - EndFn
EndFn

appearance as argument number 1
-------------------------


(documentation EndFn ChineseLanguage "这是一个 UnaryFunction,它把一个 TimeInterval 和 这个时段结束的 TimePoint联系起来。") chinese_format.kif 2699-2700
(documentation EndFn EnglishLanguage "A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends.") Merge.kif 7779-7780
(domain EndFn 1 TimeInterval) Merge.kif 7776-7776 The number 1 argument of end is an instance of time interval
(instance EndFn TemporalRelation) Merge.kif 7773-7773 End is an instance of temporal relation
(instance EndFn TotalValuedRelation) Merge.kif 7775-7775 End is an instance of total valued relation
(instance EndFn UnaryFunction) Merge.kif 7774-7774 End is an instance of unary function
(range EndFn TimePoint) Merge.kif 7777-7777 The range of end is an instance of time point

appearance as argument number 2
-------------------------


(format ChineseLanguage EndFn "%1 的结束") chinese_format.kif 451-451
(format EnglishLanguage EndFn "the end of %1") english_format.kif 460-460
(termFormat ChineseLanguage EndFn "结束") domainEnglishFormat.kif 22035-22035
(termFormat ChineseLanguage EndFn "结束函数") chinese_format.kif 452-452
(termFormat ChineseTraditionalLanguage EndFn "結束") domainEnglishFormat.kif 22034-22034
(termFormat EnglishLanguage EndFn "end") domainEnglishFormat.kif 22033-22033

antecedent
-------------------------


(=>
    (and
        (equal ?PROCESSSTART
            (BeginFn
                (WhenFn ?PROCESS)))
        (equal ?AGENTEND
            (EndFn
                (WhenFn ?AGENT)))
        (benefits ?PROCESS ?AGENT))
    (before ?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22010-22015
(=>
    (and
        (equal ?PROCESSSTART
            (BeginFn
                (WhenFn ?PROCESS)))
        (equal ?AGENTEND
            (EndFn
                (WhenFn ?AGENT)))
        (suffers ?PROCESS ?AGENT))
    (before ?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 28653-28662
(=>
    (and
        (instance ?A Attaching)
        (patient ?A ?O1)
        (patient ?A ?O2)
        (holdsDuring
            (BeginFn
                (WhenFn ?A))
            (not
                (connected ?O1 ?O2)))
        (holdsDuring
            (EndFn
                (WhenFn ?A))
            (connected ?O1 ?O2)))
    (and
        (objectAttached ?A ?O1)
        (objectAttached ?A ?O2)))
Merge.kif 11794-11808
(=>
    (and
        (instance ?ACCESSING AccessingWebPage)
        (instance ?PAGE WebPage)
        (instance ?TRANSFER DataTransfer)
        (instance ?SERVER Server)
        (instance ?REQUESTING Requesting)
        (instance ?BROWSER WebBrowser)
        (instance ?INTERVAL TimeInterval)
        (patient ?ACCESSING ?PAGE)
        (agent ?REQUESTING ?BROWSER)
        (destination ?REQUESTING ?SERVER)
        (patient ?REQUESTING ?PAGE)
        (origin ?TRANSFER ?SERVER)
        (destination ?TRANSFER ?BROWSER)
        (patient ?TRANSFER ?PAGE)
        (subProcess ?TRANSFER ?ACCESSING)
        (subProcess ?REQUESTING ?ACCESSING)
        (equal
            (EndFn
                (WhenFn ?REQUESTING))
            (BeginFn ?INTERVAL))
        (equal
            (EndFn
                (WhenFn ?TRANSFER))
            (EndFn ?INTERVAL)))
    (equal
        (SiteSpeedFn ?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3966-3991
(=>
    (and
        (instance ?CD CertificateOfDeposit)
        (maturityDate ?CD ?MaturityDate)
        (instance ?Withdrawal Withdrawal)
        (origin ?Withdrawal
            (CurrencyFn ?CD))
        (date ?Withdrawal ?DateOfWithdrawal)
        (before
            (EndFn ?DateOfWithdrawal)
            (BeginFn ?MaturityDate)))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (destination ?Penalty
                (CurrencyFn ?CD))
            (causes ?Withdrawal ?Penalty))))
FinancialOntology.kif 1041-1053
(=>
    (and
        (instance ?CHANGE ChangeOfPossession)
        (patient ?CHANGE ?OBJ)
        (holdsDuring
            (BeginFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT1 ?OBJ))
        (holdsDuring
            (EndFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT2 ?OBJ)))
    (not
        (equal ?AGENT1 ?AGENT2)))
Merge.kif 11153-11160
(=>
    (and
        (instance ?D Detaching)
        (patient ?D ?O1)
        (patient ?D ?O2)
        (holdsDuring
            (BeginFn
                (WhenFn ?D))
            (connected ?O1 ?O2))
        (holdsDuring
            (EndFn
                (WhenFn ?A))
            (not
                (connected ?O1 ?O2))))
    (and
        (objectDetached ?A ?O1)
        (objectDetached ?A ?O2)))
Merge.kif 11842-11851
(=>
    (and
        (instance ?EXPORT Exporting)
        (patient ?EXPORT ?ITEM)
        (instance ?AREA1 GeopoliticalArea)
        (instance ?AREA2 GeopoliticalArea)
        (holdsDuring
            (BeginFn
                (WhenFn ?EXPORT))
            (located ?ITEM ?AREA1))
        (holdsDuring
            (EndFn
                (WhenFn ?EXPORT))
            (located ?ITEM ?AREA2)))
    (not
        (located ?AREA2 ?AREA1)))
Economy.kif 2459-2469
(=>
    (and
        (instance ?INTERVAL1 TimeInterval)
        (instance ?INTERVAL2 TimeInterval)
        (equal
            (BeginFn ?INTERVAL1)
            (BeginFn ?INTERVAL2))
        (equal
            (EndFn ?INTERVAL1)
            (EndFn ?INTERVAL2)))
    (equal ?INTERVAL1 ?INTERVAL2))
Merge.kif 8004-8014
(=>
    (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
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsRight
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2631-2647
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsRight
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2585-2601
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2649-2665
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Seller)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2603-2621
(=>
    (and
        (resource ?PROC ?OBJ)
        (holdsDuring
            (BeginFn
                (WhenFn ?PROC))
            (measure ?OBJ ?QUANT1))
        (holdsDuring
            (EndFn
                (WhenFn ?PROC))
            (measure ?OBJ ?QUANT2)))
    (greaterThan ?QUANT1 ?QUANT2))
Merge.kif 7791-7796
(=>
    (and
        (transactionAmount ?Payment ?Amount)
        (date ?Payment ?Date)
        (instance ?Account FinancialAccount)
        (destination ?Payment
            (CurrencyFn ?Account))
        (amountDue ?Account ?Amount ?DueDate)
        (before
            (EndFn ?Date)
            (BeginFn ?DueDate)))
    (instance ?Payment Prepayment))
FinancialOntology.kif 788-796
(=>
    (equal
        (EndFn ?INTERVAL) ?POINT)
    (forall (?OTHERPOINT)
        (=>
            (and
                (temporalPart ?OTHERPOINT ?INTERVAL)
                (not
                    (equal ?OTHERPOINT ?POINT)))
            (before ?OTHERPOINT ?POINT))))
Merge.kif 7782-7789
(=>
    (exists (?Time1 ?Time2)
        (and
            (dependencyDelay ?Program1 ?Delay)
            (dependencyType ?Program1 ShutdownBlock)
            (hasDependency ?Program1 ?Program2)
            (instance ?Process1 ComputerProcess)
            (programRunning ?Process1 ?Program1)
            (instance ?Process2 ComputerProcess)
            (programRunning ?Process2 ?Program2)
            (equal
                (WhenFn ?Process2) ?Time2)
            (finishes ?Time ?Time1)
            (equal
                (WhenFn ?Process2) ?Time2)
            (equal
                (BeginFn ?Time)
                (EndFn ?Time2))))
    (duration ?Time ?Delay))
QoSontology.kif 1275-1289
(=>
    (exists (?Time1 ?Time2)
        (and
            (dependencyDelay ?Program1 ?Delay)
            (dependencyType ?Program1 StartupBlock)
            (hasDependency ?Program1 ?Program2)
            (instance ?Process1 ComputerProcess)
            (programRunning ?Process1 ?Program1)
            (instance ?Process2 ComputerProcess)
            (programRunning ?Process2 ?Program2)
            (equal
                (WhenFn ?Process2) ?Time2)
            (starts ?Time2 ?Time)
            (equal
                (WhenFn ?Process1) ?Time1)
            (equal
                (EndFn ?Time)
                (BeginFn ?Time1))))
    (duration ?Time ?Delay))
QoSontology.kif 1259-1273

consequent
-------------------------


(<=>
    (and
        (instance ?COMBINE Combining)
        (resource ?COMBINE ?OBJ1)
        (result ?COMBINE ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?COMBINE))
            (not
                (part ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?COMBINE))
            (part ?OBJ1 ?OBJ2))))
Merge.kif 11877-11884 A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
(<=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))
Merge.kif 7934-7938 A physical exists during a time point and the time point is an instance of time point if and only if the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
(<=>
    (earlier ?INTERVAL1 ?INTERVAL2)
    (before
        (EndFn ?INTERVAL1)
        (BeginFn ?INTERVAL2)))
Merge.kif 8028-8030 A time interval happens earlier than another time interval if and only if the end of the time interval happens before the beginning of the other time interval
(<=>
    (finishes ?INTERVAL1 ?INTERVAL2)
    (and
        (before
            (BeginFn ?INTERVAL2)
            (BeginFn ?INTERVAL1))
        (equal
            (EndFn ?INTERVAL2)
            (EndFn ?INTERVAL1))))
Merge.kif 7832-7840 A time interval finishes another time interval if and only if the beginning of the other time interval happens before the beginning of the time interval and the end of the other time interval is equal to the end of the time interval
(<=>
    (instance ?PROCESS Creation)
    (exists (?PATIENT)
        (and
            (patient ?PROCESS ?PATIENT)
            (time ?PATIENT
                (EndFn
                    (WhenFn ?PROCESS)))
            (not
                (time ?PATIENT
                    (BeginFn
                        (WhenFn ?PROCESS)))))))
Merge.kif 12194-12201 A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
(<=>
    (instance ?PROCESS Destruction)
    (exists (?PATIENT)
        (and
            (patient ?PROCESS ?PATIENT)
            (time ?PATIENT
                (BeginFn
                    (WhenFn ?PROCESS)))
            (not
                (time ?PATIENT
                    (EndFn
                        (WhenFn ?PROCESS)))))))
Merge.kif 11701-11708 A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
(<=>
    (meetsTemporally ?INTERVAL1 ?INTERVAL2)
    (equal
        (EndFn ?INTERVAL1)
        (BeginFn ?INTERVAL2)))
Merge.kif 7998-8002 A time interval meets another time interval if and only if the end of the time interval is equal to the beginning of the other time interval
(<=>
    (starts ?INTERVAL1 ?INTERVAL2)
    (and
        (equal
            (BeginFn ?INTERVAL1)
            (BeginFn ?INTERVAL2))
        (before
            (EndFn ?INTERVAL1)
            (EndFn ?INTERVAL2))))
Merge.kif 7810-7818 A time interval starts another time interval if and only if the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval happens before the end of the other time interval
(=>
    (and
        (amountDue ?Account ?Amount ?DueDate)
        (accountHolder ?Account ?Agent))
    (holdsObligation
        (KappaFn ?Payment
            (and
                (instance ?Payment Payment)
                (transactionAmount ?Payment ?Amount)
                (or
                    (destination ?Payment
                        (CurrencyFn ?Account))
                    (origin ?Payment
                        (CurrencyFn ?Account)))
                (date ?Payment ?Date)
                (beforeOrEqual
                    (EndFn ?Date)
                    (BeginFn ?DueDate)))) ?Agent))
FinancialOntology.kif 615-627
(=>
    (and
        (birthdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn -6))
        (instance ?Y2
            (YearFn 4)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))
Media.kif 1938-1943
(=>
    (and
        (deathdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn 29))
        (instance ?Y2
            (YearFn 36)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))
Media.kif 1945-1950
(=>
    (and
        (equal
            (EditionFn ?TEXT ?INT1) ?EDITION1)
        (equal
            (EditionFn ?TEXT ?INT2) ?EDITION2)
        (greaterThan ?INT2 ?INT1)
        (instance ?PUB1 Publication)
        (instance ?PUB2 Publication)
        (instance ?CBO1 ?EDITION1)
        (instance ?CBO2 ?EDITION2)
        (patient ?PUB1 ?CBO1)
        (patient ?PUB2 ?CBO2)
        (date ?PUB1 ?DATE1)
        (date ?PUB2 ?DATE2))
    (before
        (EndFn ?DATE1)
        (EndFn ?DATE2)))
Merge.kif 14846-14863
(=>
    (and
        (instance ?A Aborting)
        (patient ?A ?W)
        (instance ?W Woman))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?A))
            (attribute ?W Pregnant))
        (holdsDuring
            (EndFn
                (WhenFn ?A))
            (not
                (attribute ?W Pregnant)))))
Mid-level-ontology.kif 20456-20467
(=>
    (and
        (instance ?ACCELERATE Accelerating)
        (agent ?ACCELERATE ?AGENT))
    (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?ACCELERATE))
                (measure ?AGENT
                    (SpeedFn
                        (MeasureFn ?LENGTH1 ?U1)
                        (MeasureFn ?TIME1 ?U2))))
            (holdsDuring
                (EndFn
                    (WhenFn ?ACCELERATE))
                (measure ?AGENT
                    (SpeedFn
                        (MeasureFn ?LENGTH2 ?U1)
                        (MeasureFn ?TIME2 ?U2))))
            (or
                (greaterThan ?LENGTH2 ?LENGTH1)
                (greaterThan ?TIME2 ?TIME1)))))
Mid-level-ontology.kif 16243-16264
(=>
    (and
        (instance ?ACT ActivatingUIElement)
        (patient ?ACT ?GUIE)
        (instance ?GUIE GUIElement))
    (and
        (holdsDuring
            (EndFn ?SELECT)
            (hasGUEState ?GUIE GUE_ActiveState))
        (holdsDuring
            (StartFn ?SELECT)
            (not
                (hasGUEState ?GUIE GUE_ActiveState)))))
ComputerInput.kif 2297-2306
(=>
    (and
        (instance ?ACT BringingGEToFront)
        (patient ?ACT ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (holdsDuring
            (BeginFn ?ACT)
            (hasGUEState ?WINDOW ?STATE))
        (contraryAttribute ?STATE GUE_UncoveredState))
    (holdsDuring
        (EndFn ?ACT)
        (not
            (hasGUEState ?WINDOW ?STATE))))
ComputerInput.kif 2361-2372
(=>
    (and
        (instance ?ACT BringingGEToFront)
        (patient ?ACT ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (holdsDuring
        (EndFn ?ACT)
        (hasGUEState ?WINDOW GUE_UncoveredState)))
ComputerInput.kif 2376-2383
(=>
    (and
        (instance ?ALT ShapeChange)
        (patient ?ALT ?OBJ))
    (exists (?PROPERTY)
        (and
            (instance ?PROPERTY ShapeAttribute)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (attribute ?OBJ ?PROPERTY))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?OBJ ?PROPERTY))))
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?OBJ ?PROPERTY)))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (attribute ?OBJ ?PROPERTY)))))))
Merge.kif 12056-12069
(=>
    (and
        (instance ?ALT SurfaceChange)
        (patient ?ALT ?OBJ))
    (exists (?PART ?PROPERTY)
        (and
            (superficialPart ?PART ?OBJ)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (attribute ?PART ?PROPERTY))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?PART ?PROPERTY))))
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?ALT))
                        (not
                            (attribute ?PART ?PROPERTY)))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?ALT))
                        (attribute ?PART ?PROPERTY)))))))
Merge.kif 12016-12029
(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?OBJ Object)
        (patient ?ATC ?OBJ)
        (agent ?ATC ?USER))
    (exists (?COLL ?SITE ?AFTER)
        (and
            (instance ?COLL Collection)
            (instance ?SITE WebSite)
            (instance ?INTERVAL TimeInterval)
            (webcart ?USER ?COLL ?SITE)
            (equal
                (BeginFn ?INTERVAL)
                (EndFn ?ATC))
            (holdsDuring ?AFTER
                (member ?OBJ ?COLL)))))
UXExperimentalTerms.kif 1523-1539
(=>
    (and
        (instance ?ATTACH Attaching)
        (patient ?ATTACH ?OBJ1)
        (patient ?ATTACH ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?ATTACH))
            (not
                (connected ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?ATTACH))
            (connected ?OBJ1 ?OBJ2))))
Merge.kif 11771-11778
(=>
    (and
        (instance ?B BecomingDrunk)
        (experiencer ?B ?A))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?B))
            (attribute ?A Sober))
        (holdsDuring
            (EndFn
                (WhenFn ?B))
            (attribute ?A Drunk))))
Mid-level-ontology.kif 15484-15494
(=>
    (and
        (instance ?B Boarding)
        (agent ?B ?A)
        (patient ?B ?V))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?B))
            (not
                (onboard ?A ?V)))
        (holdsDuring
            (EndFn
                (WhenFn ?B))
            (onboard ?A ?V))))
Mid-level-ontology.kif 16484-16495
(=>
    (and
        (instance ?B Deboarding)
        (agent ?B ?A)
        (patient ?B ?V))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?B))
            (onboard ?A ?V))
        (holdsDuring
            (EndFn
                (WhenFn ?B))
            (not
                (onboard ?A ?V)))))
Mid-level-ontology.kif 16525-16537
(=>
    (and
        (instance ?B SoberingUp)
        (experiencer ?B ?A))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?B))
            (attribute ?A Drunk))
        (holdsDuring
            (EndFn
                (WhenFn ?B))
            (attribute ?A Sober))))
Mid-level-ontology.kif 15504-15514

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show without tree


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