Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FutureFn |
| appearance as argument number 1 |
|
| (instance FutureFn TemporalRelation) | Merge.kif 8710-8710 | Future is an instance of temporal relation |
| (instance FutureFn UnaryFunction) | Merge.kif 8711-8711 | Future is an instance of unary function |
| (instance FutureFn TotalValuedRelation) | Merge.kif 8712-8712 | Future is an instance of total valued relation |
| (domain FutureFn 1 TimePosition) | Merge.kif 8713-8713 | The number 1 argument of future is an instance of time position |
| (range FutureFn TimeInterval) | Merge.kif 8714-8714 | The range of future is an instance of timeframe |
| (documentation FutureFn EnglishLanguage "A UnaryFunction that maps a TimePosition to the TimeInterval which it meets and which ends at PositiveInfinity.") | Merge.kif 8716-8717 | The range of future is an instance of timeframe |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?INTERVAL TimeInterval) (meetsTemporally ?INTERVAL (FutureFn ?INTERVAL))) |
Merge.kif 8719-8721 | If X is an instance of timeframe, then X meets after X |
| (=> (instance ?INTERVAL TimeInterval) (equal (FutureFn ?INTERVAL) (TimeIntervalFn (EndFn ?INTERVAL) PositiveInfinity))) |
Merge.kif 8723-8725 | If X is an instance of timeframe, then equal after X, interval between the end of X, and positive infinity |
| (=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL))) |
Merge.kif 8737-8739 | If X is an instance of timeframe, then immediately after X starts after X |
| (=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM ?OBJ) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG)))))) |
Merge.kif 10450-10469 | If X is an instance of death, Y is an instance of organism, and Y experiences X, then there exist Z and W such that Z is a result of X and Z is an instance of organic object and dead is an attribute of Z holds during after the time of existence of X and W is a part of Z holds during immediately after the time of existence of XW is a part of Y holds during immediately before the time of existence of X |
| (=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A)))))) |
Merge.kif 12332-12348 | If All of the following hold: (1) X is an instance of deciding (2) Y is an agent of X (3) Z is a patient of X (4) Z is an instance of set (5) W is a result of X (6) W is an instance of content bearing physical, then W contains the formula there exists V such that V is an element of Z, V is an instance of intentional process, and Y is an agent of V holds during after the time of existence of X |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12591-12597 | If X is an instance of killing and Y is a patient of X, then living is an attribute of Y holds during the beginning of the time of existence of X and dead is an attribute of Y holds during after the time of existence of X |
| (=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING))) |
Merge.kif 13561-13569 | If X is an instance of naming, Y is a patient of X, and X ends up at Z, then Y has name Z holds during after the time of existence of X |
| (=> (and (instance ?P Poison) (instance ?I Ingesting) (moves ?I ?P) (experiencer ?I ?H)) (modalAttribute (holdsDuring (FutureFn (WhenFn ?I)) (attribute ?H Blind)) Possibility)) |
Mid-level-ontology.kif 9983-9994 | If X is an instance of poison, Y is an instance of ingesting, X moves during Y, and Z experiences Y, then the statement blindness is an attribute of Z holds during after the time of existence of Y has the modal force of possibility |
| (=> (instance ?AP Antipsychotic) (hasPurpose ?AP (exists (?I ?H) (and (instance ?I Ingesting) (objectTransferred ?I ?AP) (agent ?AP ?H) (holdsDuring (FutureFn (WhenFn ?I)) (not (attribute ?H Psychosis))))))) |
Mid-level-ontology.kif 11162-11174 | If X is an instance of anti-psychotic, then X has the purpose there exist Y, Z such that Y is an instance of ingesting, the object transferred in Y is X, Z is an agent of X, and psychosis is not an attribute of Z holds during after the time of existence of Y |
| (=> (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 |
| (=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement)))) |
Mid-level-ontology.kif 15656-15659 | If X has expiration Y, then X does not have the attribute active agreement holds during after Y |
| (=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead))))) |
Mid-level-ontology.kif 24392-24400 | If X is an instance of suicide bombing, then there exists Y such that Y is an agent of X and dead is an attribute of Y holds during after the time of existence of X |
| (=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead)))) |
Mid-level-ontology.kif 24402-24410 | If X is an instance of suicide bombing and Y is an agent of X, then Y believes dead is an attribute of Y holds during after the time of existence of X |
| (=> (and (instance ?Deposit Deposit) (instance ?Account FinancialAccount) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Deposit)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (AdditionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Deposit)) (MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 457-474 | If All of the following hold: (1) X is an instance of deposit (2) Y is an instance of financial account (3) X ends up at the currency of Y (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after after X for U W(s) |
| (=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal ?Account) (transactionAmount ?Withdrawal (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Withdrawal)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Withdrawal)) (MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 487-502 | If All of the following hold: (1) X is an instance of withdrawing from an account (2) Y is an instance of financial account (3) X originates at Y (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after after X for U W(s) |
| (=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2))))) |
Government.kif 510-517 | If X is an independence date of Y and Z is an instance of X, then there doesn't exist W such that Y is a dependent of W holds during after Z |
| (=> (and (instance ?RA ReachingAgreement) (agent ?RA ?AGENT) (result ?RA ?PROP) (instance ?PROP Agreement)) (holdsDuring (FutureFn (WhenFn ?RA)) (partyToAgreement ?AGENT ?PROP))) |
Media.kif 147-154 | If X is an instance of reaching agreement, Y is an agent of X, Z is a result of X, and Z is an instance of agreement, then Z is a party to agreement of Y holds during after the time of existence of X |
| (=> (instance ?AP Antidepressant) (hasPurpose ?AP (exists (?I ?H) (and (instance ?I Ingesting) (objectTransferred ?I ?AP) (agent ?AP ?H) (holdsDuring (FutureFn (WhenFn ?I)) (not (attribute ?H Depression))))))) |
Medicine.kif 3245-3257 | If X is an instance of anti-depressant, then X has the purpose there exist Y, Z such that Y is an instance of ingesting, the object transferred in Y is X, Z is an agent of X, and depressed is not an attribute of Z holds during after the time of existence of Y |
| (=> (and (instance ?I Injecting) (instance ?A Adalimumab) (objectTransferred ?I ?A) (located ?I ?BP) (instance ?BP BodyPart) (destination ?I ?H)) (modalAttribute (exists (?T) (and (holdsDuring ?T (attribute ?H (PainFn ?BP))) (during ?T (FutureFn (WhenFn ?I))))) Likely)) |
Medicine.kif 3659-3675 | If All of the following hold: (1) X is an instance of injecting (2) Y is an instance of adalimumab (3) the object transferred in X is Y (4) X is located at Z (5) Z is an instance of body part (6) X ends up at W, then the statement there exists V such that pain in the Z is an attribute of W holds during V and V takes place during after the time of existence of X has the modal force of likely |
| (=> (instance ?DISEASE VaccinatableDisease) (exists (?VACCINE ?HUMAN ?PUT) (and (instance ?VACCINE Vaccine) (instance ?PUT Putting) (destination ?PUT ?HUMAN) (instance ?HUMAN Human) (modalAttribute (holdsDuring (FutureFn (WhenFn ?PUT)) (not (attribute ?HUMAN ?DISEASE))) Likely)))) |
WMD.kif 1042-1055 | If X is an instance of vaccinatable disease, then there exist Y, Z, W such that Y is an instance of vaccine, W is an instance of putting, W ends up at Z, Z is an instance of human, and the statement X is not an attribute of Z holds during after the time of existence of W has the modal force of likely |
| statement |
|
|
|