Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - before
before

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


(instance before TemporalRelation) Merge.kif 8298-8298 before is an instance of temporal relation
(instance before IrreflexiveRelation) Merge.kif 8299-8299 before is an instance of irreflexive relation
(instance before TransitiveRelation) Merge.kif 8300-8300 before is an instance of transitive relation
(subrelation before beforeOrEqual) Merge.kif 8301-8301 before is a subrelation of before or equal
(relatedInternalConcept before earlier) Merge.kif 8302-8302 before is internally related to earlier
(domain before 1 TimePoint) Merge.kif 8303-8303 The number 1 argument of before is an instance of time point
(domain before 2 TimePoint) Merge.kif 8304-8304 The number 2 argument of before is an instance of time point
(documentation before EnglishLanguage "(before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.") Merge.kif 8306-8307 The number 2 argument of before is an instance of time point

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


(termFormat EnglishLanguage before "before") domainEnglishFormat.kif 10539-10539
(termFormat ChineseTraditionalLanguage before "之前") domainEnglishFormat.kif 10540-10540
(termFormat ChineseLanguage before "之前") domainEnglishFormat.kif 10541-10541
(format EnglishLanguage before "%1 %n{doesn't} happen%p{s} before %2") english_format.kif 429-429

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


(=>
    (and
        (equal
            (BeginFn ?INTERVAL1)
            (BeginFn ?INTERVAL2))
        (before
            (EndFn ?INTERVAL1)
            (EndFn ?INTERVAL2)))
    (starts ?INTERVAL1 ?INTERVAL2))		 Merge.kif 8228-8236 If equal the beginning of X and the beginning of Y and the end of X happens before the end of Y, then X starts Y
(=>
    (and
        (before
            (BeginFn ?INTERVAL2)
            (BeginFn ?INTERVAL1))
        (equal
            (EndFn ?INTERVAL2)
            (EndFn ?INTERVAL1)))
    (finishes ?INTERVAL1 ?INTERVAL2))		 Merge.kif 8260-8268 If the beginning of X happens before the beginning of Y and equal the end of X and the end of Y, then Y finishes X
(=>
    (or
        (before ?POINT1 ?POINT2)
        (equal ?POINT1 ?POINT2))
    (beforeOrEqual ?POINT1 ?POINT2))		 Merge.kif 8353-8357 If X happens before Y or equal X and Y, then X happens before or at Y
(=>
    (and
        (before ?POINT1 ?POINT2)
        (before ?POINT2 ?POINT3))
    (temporallyBetween ?POINT1 ?POINT2 ?POINT3))		 Merge.kif 8378-8382 If X happens before Y and Y happens before Z, then Y is between X and Z
(=>
    (and
        (instance ?TI1 TimeInterval)
        (instance ?TI2 TimeInterval)
        (beforeOrEqual
            (BeginFn ?TI2)
            (BeginFn ?TI1))
        (before
            (BeginFn ?TI1)
            (EndFn ?TI2)))
    (overlapsTemporally ?TI2 ?TI1))		 Merge.kif 8471-8481 If X is an instance of timeframe, Y is an instance of timeframe, the beginning of Y happens before or at the beginning of X, and the beginning of X happens before the end of Y, then X overlaps Y
(=>
    (before
        (EndFn ?INTERVAL1)
        (BeginFn ?INTERVAL2))
    (earlier ?INTERVAL1 ?INTERVAL2))		 Merge.kif 8584-8586 If the end of X happens before the beginning of Y, then X happens earlier than Y
(=>
    (and
        (instance ?A Ambulating)
        (subProcess ?S1 ?A)
        (instance ?S1 Stepping)
        (subProcess ?S2 ?A)
        (instance ?S2 Stepping)
        (equal ?S1START
            (BeginFn
                (WhenFn ?S1)))
        (equal ?S2START
            (BeginFn
                (WhenFn ?S2)))
        (not
            (or
                (before ?S1START ?S2START)
                (before ?S2START ?S1START))))
    (equal ?S1 ?S2))		 Mid-level-ontology.kif 484-497 If All of the following hold: (1) X is an instance of ambulating (2) Y is a subprocess of X (3) Y is an instance of stepping (4) Z is a subprocess of X (5) Z is an instance of stepping (6) equal W and the beginning of the time of existence of Y (7) equal V and the beginning of the time of existence of Z (8) ~{ W happens before V } and ~{ V happens before W }, then equal Y and Z
(=>
    (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 856-864 If All of the following hold: (1) X is a transaction amount of Y (2) date of Y is Z (3) W is an instance of financial account (4) Y ends up at the currency of W (5) W amount due X for V (6) the end of Z happens before the beginning of V, then Y is an instance of prepayment
(=>
    (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 1112-1124 If All of the following hold: (1) X is an instance of certificate of deposit (2) Y is a maturity date of X (3) Z is an instance of withdrawing from an account (4) Z originates at the currency of X (5) date of Z is W (6) the end of W happens before the beginning of Y, then there exists V such that V is an instance of penalizing, V ends up at the currency of X, and Z causes V
(=>
    (and
        (instance ?Option CallOption)
        (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 ?Agent
        (exists (?Buy)
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent)))))		 FinancialOntology.kif 2652-2670 If All of the following hold: (1) X is an instance of call option (2) Y holds X (3) Z is a strike price of X (4) X has expiration W (5) V is an underlier of X (6) V is price Z for U (7) U is an instance of timeframe (8) the end of U happens before the beginning of W, then Y has the right to perform %3
(=>
    (and
        (instance ?Option CallOption)
        (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 ?Seller
        (exists (?Sell)
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent)))))		 FinancialOntology.kif 2672-2689 If All of the following hold: (1) X is an instance of call option (2) Y sells X (3) Z is a strike price of X (4) X has expiration W (5) V is an underlier of X (6) V is price Z for U (7) U is an instance of timeframe (8) the end of U happens before the beginning of W, then Y is obliged to perform tasks of type there exists T such that T is an instance of selling and V is a patient of T and T exists during U and the measure of V is 100 share unit(s) and S is an agent of T
(=>
    (and
        (instance ?Option PutOption)
        (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 ?Agent
        (exists (?Sell)
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent)))))		 FinancialOntology.kif 2697-2714 If All of the following hold: (1) X is an instance of put option (2) Y holds X (3) Z is a strike price of X (4) X has expiration W (5) V is price Z for U (6) U is an instance of timeframe (7) the end of U happens before the beginning of W (8) V is an underlier of X, then Y has the right to perform %3
(=>
    (and
        (instance ?Option PutOption)
        (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 ?Agent
        (exists (?Buy)
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent)))))		 FinancialOntology.kif 2716-2734 If All of the following hold: (1) X is an instance of put option (2) Y sells X (3) Z is a strike price of X (4) X has expiration W (5) V is price Z for U (6) U is an instance of timeframe (7) the end of U happens before the beginning of W (8) V is an underlier of X, then Y is obliged to perform tasks of type there exists T such that T is an instance of buying and V is a patient of T and T exists during U and the measure of V is 100 share unit(s) and Y is an agent of T
(=>
    (and
        (instance ?PROCESS ?PROCESS_CLASS)
        (subclass ?PROCESS_CLASS Process)
        (instance ?ACCESSING AccessingWebPage)
        (instance ?AGENT AutonomousAgent)
        (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 1496-1518 If All of the following hold: (1) X is an instance of ?PROCESS_CLASS (2) ?PROCESS_CLASS is a subclass of process (3) Y is an instance of accessing web page (4) Z is an instance of agent (5) Z is an agent of X (6) Z is an agent of Y (7) X takes place during Y (8) W is an instance of timeframe (9) there doesn't exist V such that V is an instance of ?PROCESS_CLASS, Z is an agent of V, V takes place during Y, and the beginning of the time of existence of V happens before the beginning of the time of existence of X (10) equal the beginning of the time of existence of Y and the beginning of the time of existence of W (11) equal the beginning of the time of existence of X and the end of the time of existence of W, then equal the time of Y in the class ?PROCESS_CLASS and W
(=>
    (and
        (instance ?F Flooding)
        (instance ?L LandArea)
        (eventLocated ?F ?L)
        (instance ?T TimePoint)
        (before ?T
            (WhenFn ?F)))
    (modalAttribute
        (holdsDuring ?T
            (instance ?L SubmergedLandArea)) Unlikely))		 Weather.kif 2907-2917 If X is an instance of flooding, Y is an instance of land area, X is located at Y, Z is an instance of time point, and Z happens before the time of existence of X, then the statement Y is an instance of submerged land area holds during Z has the modal force of unlikely

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (before ?POINT PositiveInfinity))		 Merge.kif 8043-8047 If X is an instance of time point and equal X and positive infinity, then X happens before positive infinity
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))		 Merge.kif 8061-8065 If X is an instance of time point and equal X and negative infinity, then negative infinity happens before X
(=>
    (equal
        (BeginFn ?INTERVAL) ?POINT)
    (forall (?OTHERPOINT)
        (=>
            (and
                (temporalPart ?OTHERPOINT ?INTERVAL)
                (not
                    (equal ?OTHERPOINT ?POINT)))
            (before ?POINT ?OTHERPOINT))))		 Merge.kif 8172-8179 If equal the beginning of X and Y, then For all TimePoint Z: if Z is a part of X and equal Z and Y, then Y happens before Z
(=>
    (equal
        (EndFn ?INTERVAL) ?POINT)
    (forall (?OTHERPOINT)
        (=>
            (and
                (temporalPart ?OTHERPOINT ?INTERVAL)
                (not
                    (equal ?OTHERPOINT ?POINT)))
            (before ?OTHERPOINT ?POINT))))		 Merge.kif 8190-8197 If equal the end of X and Y, then For all TimePoint Z: if Z is a part of X and equal Z and Y, then Z happens before Y
(=>
    (starts ?INTERVAL1 ?INTERVAL2)
    (and
        (equal
            (BeginFn ?INTERVAL1)
            (BeginFn ?INTERVAL2))
        (before
            (EndFn ?INTERVAL1)
            (EndFn ?INTERVAL2))))		 Merge.kif 8218-8226 If X starts Y, then equal the beginning of X and the beginning of Y and the end of X happens before the end of Y
(=>
    (finishes ?INTERVAL1 ?INTERVAL2)
    (and
        (before
            (BeginFn ?INTERVAL2)
            (BeginFn ?INTERVAL1))
        (equal
            (EndFn ?INTERVAL2)
            (EndFn ?INTERVAL1))))		 Merge.kif 8250-8258 If X finishes Y, then the beginning of Y happens before the beginning of X and equal the end of Y and the end of X
(=>
    (instance ?OBJ Object)
    (exists (?TIME1 ?TIME2)
        (and
            (instance ?TIME1 TimePoint)
            (instance ?TIME2 TimePoint)
            (before ?TIME1 ?TIME2)
            (forall (?TIME)
                (=>
                    (and
                        (beforeOrEqual ?TIME1 ?TIME)
                        (beforeOrEqual ?TIME ?TIME2))
                    (time ?OBJ ?TIME))))))		 Merge.kif 8312-8324 If X is an instance of object, then there exist Y, Z such that Y is an instance of time point, Z is an instance of time point, Y happens before Z, W Y happens before, at W, and W happens before, or at ZX exists during W
(=>
    (result ?PROC ?OBJ)
    (forall (?TIME)
        (=>
            (before ?TIME
                (BeginFn
                    (WhenFn ?PROC)))
            (not
                (time ?OBJ ?TIME)))))		 Merge.kif 8326-8332 If X is a result of Y, then For all TimePoint Z: if Z happens before the beginning of the time of existence of Y, then X doesn't exist during Z
(=>
    (instance ?INTERVAL TimeInterval)
    (before
        (BeginFn ?INTERVAL)
        (EndFn ?INTERVAL)))		 Merge.kif 8334-8336 If X is an instance of timeframe, then the beginning of X happens before the end of X
(=>
    (beforeOrEqual ?POINT1 ?POINT2)
    (or
        (before ?POINT1 ?POINT2)
        (equal ?POINT1 ?POINT2)))		 Merge.kif 8347-8351 If X happens before or at Y, then X happens before Y or equal X and Y
(=>
    (temporallyBetween ?POINT1 ?POINT2 ?POINT3)
    (and
        (before ?POINT1 ?POINT2)
        (before ?POINT2 ?POINT3)))		 Merge.kif 8372-8376 If X is between Y and Z, then Y happens before X and X happens before Z
(=>
    (and
        (instance ?TI TimeInterval)
        (equal ?S
            (BeginFn ?TI))
        (equal ?E
            (EndFn ?TI)))
    (before ?S ?E))		 Merge.kif 8464-8469 If X is an instance of timeframe, equal Y and the beginning of X, and equal Z and the end of X, then Y happens before Z
(=>
    (and
        (earlier ?TI1 ?TI2)
        (instance ?P1 TimePoint)
        (instance ?P2 TimePoint)
        (temporalPart ?P1 ?TI1)
        (temporalPart ?P2 ?TI2))
    (before ?P1 ?P2))		 Merge.kif 8483-8490 If X happens earlier than Y, Z is an instance of time point, W is an instance of time point, Z is a part of X, and W is a part of Y, then Z happens before W
(=>
    (during ?INTERVAL1 ?INTERVAL2)
    (and
        (before
            (EndFn ?INTERVAL1)
            (EndFn ?INTERVAL2))
        (before
            (BeginFn ?INTERVAL2)
            (BeginFn ?INTERVAL1))))		 Merge.kif 8517-8521 If X takes place during Y, then the end of X happens before the end of Y and the beginning of Y happens before the beginning of X
(=>
    (earlier ?INTERVAL1 ?INTERVAL2)
    (before
        (EndFn ?INTERVAL1)
        (BeginFn ?INTERVAL2)))		 Merge.kif 8580-8582 If X happens earlier than Y, then the end of X happens before the beginning of Y
(=>
    (and
        (instance ?Y1
            (YearFn ?N1))
        (instance ?Y2
            (YearFn ?N2))
        (equal ?T1
            (BeginFn ?Y1))
        (equal ?T2
            (BeginFn ?Y2))
        (greaterThan ?N2 ?N1))
    (before ?T1 ?T2))		 Merge.kif 8892-8899 If X is an instance of the year Y, Z is an instance of the year W, equal V and the beginning of X, equal U and the beginning of Z, and W is greater than Y, then V happens before U
(=>
    (and
        (instance ?M1
            (MonthFn ?N1
                (YearFn ?Y)))
        (instance ?M2
            (MonthFn ?N2
                (YearFn ?Y)))
        (equal ?T1
            (BeginFn ?M1))
        (equal ?T2
            (BeginFn ?M2))
        (successorClass ?N1 ?N2))
    (before ?T1 ?T2))		 Merge.kif 8908-8915 If X is an instance of the month Y, Z is an instance of the month W, equal V and the beginning of X, equal U and the beginning of Z, and W is the successor class of Y., then V happens before U
(=>
    (and
        (instance ?D1
            (DayFn ?N1
                (MonthFn ?M
                    (YearFn ?Y))))
        (instance ?D2
            (DayFn ?N2
                (MonthFn ?M
                    (YearFn ?Y))))
        (equal ?T1
            (BeginFn ?D1))
        (equal ?T2
            (BeginFn ?D2))
        (greaterThan ?N2 ?N1))
    (before ?T1 ?T2))		 Merge.kif 8924-8931 If X is an instance of the day Y of month the month Z, W is an instance of the day V of month the month Z, equal U and the beginning of X, equal T and the beginning of W, and V is greater than Y, then U happens before T
(=>
    (and
        (instance ?REMEMBER Remembering)
        (containsFormula ?REMEMBER ?FORMULA))
    (exists (?TIME)
        (and
            (holdsDuring ?TIME ?FORMULA)
            (or
                (before ?TIME
                    (WhenFn ?REMEMBER))
                (earlier ?TIME
                    (WhenFn ?REMEMBER))))))		 Merge.kif 12449-12458 If X is an instance of remembering and X contains the formula Y, then there exists Z such that Y holds during Z and Z happens before the time of existence of X or Z happens earlier than the time of existence of X
(=>
    (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 15799-15816 If All of the following hold: (1) equal edition X of Y and Z (2) equal edition W of Y and V (3) W is greater than X (4) U is an instance of publication (5) T is an instance of publication (6) S is an instance of Z (7) R is an instance of V (8) S is a patient of U (9) R is a patient of T (10) date of U is Q (11) date of T is P, then the end of Q happens before the end of P
(=>
    (parent ?CHILD ?PARENT)
    (before
        (BeginFn
            (WhenFn ?PARENT))
        (BeginFn
            (WhenFn ?CHILD))))		 Merge.kif 16734-16736 If X is a parent of Y, then the beginning of the time of existence of X happens before the beginning of the time of existence of Y
(=>
    (and
        (instance ?S Shooting)
        (instrument ?S ?G)
        (instance ?G Gun))
    (exists (?C ?I ?B)
        (and
            (instance ?C GunChamber)
            (part ?C ?G)
            (instance ?I Inserting)
            (instance ?B BulletCartridge)
            (destination ?I ?C)
            (objectTransferred ?I ?B)
            (before
                (EndFn
                    (WhenFn ?I))
                (BeginFn
                    (WhenFn ?S))))))		 Mid-level-ontology.kif 1372-1387 If X is an instance of shooting, Y is an instrument for X, and Y is an instance of gun, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of gun chamber (3) Z is a part of Y (4) W is an instance of inserting (5) V is an instance of bullet cartridge (6) W ends up at Z (7) the object transferred in W is V (8) the end of the time of existence of W happens before the beginning of the time of existence of X
(=>
    (instance ?X Bidet)
    (hasPurpose ?X
        (exists (?PROC ?WASH ?PART)
            (and
                (or
                    (instance ?PROC Defecation)
                    (instance ?PROC Urination))
                (instrument ?PROC ?PART)
                (instance ?WASH Washing)
                (objectTransferred ?WASH ?PART)
                (instrument ?WASH ?X)
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn ?WASH)))))))		 Mid-level-ontology.kif 2781-2795 If X is an instance of bidet, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of defecation or Y is an instance of urination (3) W is an instrument for Y (4) Z is an instance of washing (5) the object transferred in Z is W (6) X is an instrument for Z (7) the beginning of the time of existence of Y happens before the beginning of the time of existence of Z
(=>
    (and
        (allergic ?H ?S)
        (instance ?SUB ?S)
        (holdsDuring ?T
            (meetsSpatially ?SUB ?H)))
    (modalAttribute
        (exists (?AR)
            (and
                (instance ?AR AllergicReaction)
                (experiencer ?AR ?H)
                (overlapsTemporally ?T
                    (WhenFn ?AR))
                (before
                    (BeginFn ?T)
                    (BeginFn
                        (WhenFn ?AR))))) Likely))		 Mid-level-ontology.kif 7350-7363 If allergic X and Y, Z is an instance of Y, and Z meets X holds during W, then the statement there exists V such that V is an instance of allergic reaction, X experiences V, the time of existence of V overlaps W, and the beginning of W happens before the beginning of the time of existence of V has the modal force of likely
(=>
    (instance ?N AntiInflammatory)
    (hasPurpose ?N
        (exists (?I ?H ?IN)
            (and
                (instance ?I Inflammation)
                (experiencer ?H ?I)
                (instance ?IN Ingesting)
                (before
                    (BeginFn
                        (WhenFn ?I))
                    (BeginFn
                        (WhenFn ?IN)))
                (holdsDuring
                    (FutureFn
                        (WhenFn ?I))
                    (not
                        (exists (?I2)
                            (and
                                (instance ?I2 Inflammation)
                                (experiencer ?I2 ?H)))))))))		 Mid-level-ontology.kif 14036-14056 If X is an instance of anti-inflammatory, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of inflammation (3) Y experiences Z (4) W is an instance of ingesting (5) the beginning of the time of existence of Y happens before the beginning of the time of existence of W (6) there doesn't exist V such that V is an instance of inflammation (7) Z experiences V holds during after the time of existence of Y

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners