| appearance as argument number 1 |
|
| (instance objectTransferred CaseRole) | Merge.kif 11509-11509 | object transferred is an instance of case role |
| (subrelation objectTransferred patient) | Merge.kif 11510-11510 | object transferred is a subrelation of patient |
| (domain objectTransferred 1 Transfer) | Merge.kif 11511-11511 | The number 1 argument of object transferred is an instance of transfer |
| (domain objectTransferred 2 Object) | Merge.kif 11512-11512 | The number 2 argument of object transferred is an instance of object |
| (documentation objectTransferred EnglishLanguage "A relation that specifies the object that is transferred during the process. For example, in a Mailing process, the object transferred is a letter or package.") | Merge.kif 11514-11516 | The number 2 argument of object transferred is an instance of object |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage objectTransferred "the object transferred in %1 is %n %2") | Merge.kif 11513-11513 | |
| (subrelation transported objectTransferred) | Mid-level-ontology.kif 25222-25222 | transported is a subrelation of object transferred |
| (subrelation passenger objectTransferred) | Mid-level-ontology.kif 33425-33425 | passenger is a subrelation of object transferred |
| (termFormat EnglishLanguage objectTransferred "object transferred") | domainEnglishFormat.kif 65907-65907 | passenger is a subrelation of object transferred |
| antecedent |
|
|
| (=> (objectTransferred ?P ?OBJ) (exists (?O ?D) (and (origin ?P ?O) (destination ?P ?D) (holdsDuring (ImmediatePastFn (WhenFn ?P)) (located ?OBJ ?O)) (holdsDuring (ImmediateFutureFn (WhenFn ?P)) (located ?OBJ ?D))))) |
Merge.kif 11518-11531 | If the object transferred in X is Y, then there exist Z, W such that X originates at Z, X ends up at W, Y is located at Z holds during immediately before the time of existence of X, and Y is located at W holds during immediately after the time of existence of X |
| (=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2)) |
Merge.kif 11533-11538 | If X is an instance of transfer, the object transferred in X is Y, and Z is on to Y, then the object transferred in X is Z |
| (=> (and (instance ?V Vending) (objectTransferred ?V ?O) (not (instance ?O Currency))) (modalAttribute (or (instance ?O (FoodForFn Human)) (instance ?O Beverage)) Likely)) |
Mid-level-ontology.kif 2454-2463 | If X is an instance of vending, the object transferred in X is Y, and Y is not an instance of currency, then the statement Y is an instance of food for human or Y is an instance of beverage has the modal force of likely |
| (=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2)) |
Mid-level-ontology.kif 10347-10352 | If X is an instance of transfer, the object transferred in X is Y, and Z is inside the to Y, then the object transferred in X is Z |
| (=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?MS) (instance ?MS MoodStabilizer) (instance ?E ?EC) (involvedInEvent ?E ?H) (holdsDuring (WhenFn ?E) (attribute ?H ?ES)) (instance ?ES EmotionalState) (instance ?E2 ?EC) (involvedInEvent ?E2 ?H) (earlier (WhenFn ?E2) (WhenFn ?I))) (modalAttribute (not (holdsDuring ?E2 (attribute ?H ?ES))) Unlikely)) |
Mid-level-ontology.kif 11168-11189 | If All of the following hold: (1) X is an instance of ingesting (2) Y experiences X (3) the object transferred in X is Z (4) Z is an instance of mood stabilizer (5) W is an instance of V (6) Y is an involved in event of W (7) U is an attribute of Y holds during the time of existence of W (8) U is an instance of emotional state (9) T is an instance of V (10) Y is an involved in event of T (11) the time of existence of T happens earlier than the time of existence of X, then the statement U is not an attribute of Y doesn't hold during T has the modal force of unlikely |
| (=> (and (instance ?B Bequeathing) (agent ?B ?P) (destination ?B ?H) (objectTransferred ?B ?PROP)) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (earlier (WhenFn ?D) (WhenFn ?B)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (possesses ?P ?PROP)) (confersNorm (possesses ?H ?PROP) Permission ?P)))) |
Mid-level-ontology.kif 20607-20623 | If X is an instance of bequeathing, Y is an agent of X, X ends up at Z, and the object transferred in X is W, then there exists V such that V is an instance of death, Y experiences V, the time of existence of V happens earlier than the time of existence of X, Y possesses W holds during immediately before the time of existence of V, and Z possesses W confers norm permission for Y |
| (=> (and (instance ?START Starting) (objectTransferred ?START ?O)) (holdsDuring (BeginFn ?START) (measure ?O (MeasureFn 0 MilesPerHour)))) |
Mid-level-ontology.kif 34993-34998 | If X is an instance of starting and the object transferred in X is Y, then the measure of Y is 0 miles per hour(s) holds during the beginning of X |
| (=> (and (instance ?START Starting) (objectTransferred ?START ?O) (holdsDuring (EndFn ?START) (measure ?O (MeasureFn ?N MilesPerHour)))) (greaterThan ?N 0)) |
Mid-level-ontology.kif 35001-35007 | If X is an instance of starting, the object transferred in X is Y, and the measure of Y is Z miles per hour(s) holds during the end of X, then Z is greater than 0 |
| (=> (and (instance ?STOP Stopping) (objectTransferred ?STOP ?O)) (holdsDuring (EndFn ?STOP) (measure ?O (MeasureFn 0 MilesPerHour)))) |
Mid-level-ontology.kif 35016-35021 | If X is an instance of stopping and the object transferred in X is Y, then the measure of Y is 0 miles per hour(s) holds during the end of X |
| (=> (and (instance ?STOP Stopping) (objectTransferred ?STOP ?O) (holdsDuring (BeginFn ?STOP) (measure ?O (MeasureFn ?N MilesPerHour)))) (greaterThan ?N 0)) |
Mid-level-ontology.kif 35023-35029 | If X is an instance of stopping, the object transferred in X is Y, and the measure of Y is Z miles per hour(s) holds during the beginning of X, then Z is greater than 0 |
| (=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC))))) |
Cars.kif 1732-1748 | If All of the following hold: (1) X is an instance of exhaust (2) X is made of fuel (3) Y is an instance of transfer (4) Z is an instance of engine (5) Y originates at Z (6) W is an instance of catalytic converter (7) Y ends up at W (8) the object transferred in Y is X, then W has the purpose there exists V such that V is an instance of burning, W is an instrument for V, X is a patient of V, and V is located at W |
| (=> (and (instance ?EM Electromagnet) (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)) (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM)))) |
Cars.kif 3987-3997 | If X is an instance of electromagnet, Y is an instance of transfer, Z is an instance of electricity, the object transferred in Y is Z, and X is path along which Y occurs, then there exists W such that W is an instance of magnetism and X is an instrument for W |
| (=> (and (instance ?EM Electromagnet) (not (holdsDuring ?T1 (exists (?T ?E) (and (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)))))) (not (holdsDuring ?T1 (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM)))))) |
Cars.kif 3999-4015 | If X is an instance of electromagnet and there don't exist Y, Z such that Y is an instance of transfer, Z is an instance of electricity, the object transferred in Y is Z, and X is path along which Y occurs doesn't hold during W, then there doesn't exist V such that V is an instance of magnetism and X is an instrument for V doesn't hold during W |
| (=> (and (instance ?VCS VentedChestSeal) (instance ?AT Attaching) (objectTransferred ?AT ?VCS) (destination ?AT ?H)) (hasPurpose ?VCS (exists (?A ?L ?C) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (holdsDuring (ImmediatePastFn (WhenFn ?AT)) (between ?L ?A ?C)) (hasPurpose ?VCS (holdsDuring (ImmediateFutureFn (WhenFn ?AT)) (orientation ?A ?H Outside))))))) |
Medicine.kif 832-854 | If X is an instance of vented chest seal, Y is an instance of attaching, the object transferred in Y is X, and Y ends up at Z, then All of the following hold: (1) X has the purpose there exist W, V (2) U such that W is an instance of air (3) V is an instance of lung (4) U is an instance of chest (5) V is a part of Z (6) U is a part of Z (7) W is between V (8) U holds during immediately before the time of existence of Y (9) X has the purpose W is outside of to Z holds during immediately after the time of existence of Y |
| (=> (and (instance ?BI BreakthroughInfection) (objectTransferred ?BI ?V) (instance ?V ?VC) (experiencer ?BI ?H)) (exists (?VAX) (and (instance ?VAX Vaccination) (experiencer ?VAX ?H) (vaccine ?VACCINECLASS ?VC) (instance ?VACCINE ?VACCINECLASS) (objectTransferred ?VAX ?VACCINE) (earlier (WhenFn ?VAX) (WhenFn ?BI))))) |
Medicine.kif 3171-3186 | If X is an instance of breakthrough case, the object transferred in X is Y, Y is an instance of Z, and W experiences X, then there exists V such that V is an instance of vaccination, W experiences V, U is a vaccine for Z, T is an instance of U, the object transferred in V is T, and the time of existence of V happens earlier than the time of existence of X |
| (=> (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 3620-3636 | 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 |
| (=> (and (instance ?I Intubation) (instance ?T Tube) (objectTransferred ?I ?T) (experiencer ?I ?H)) (hasPurpose ?I (exists (?B) (and (instance ?B Breathing) (instrument ?B ?T))))) |
Medicine.kif 4121-4131 | If X is an instance of intubation, Y is an instance of tube, the object transferred in X is Y, and Z experiences X, then X has the purpose there exists W such that W is an instance of breathing and Y is an instrument for W |
| (=> (and (instance ?I Intubation) (instance ?T Tube) (objectTransferred ?I ?T) (experiencer ?I ?H)) (exists (?TH) (and (instance ?TH Trachea) (part ?TH ?H) (destination ?I ?TH)))) |
Medicine.kif 4133-4143 | If X is an instance of intubation, Y is an instance of tube, the object transferred in X is Y, and Z experiences X, then there exists W such that W is an instance of trachea, W is a part of Z, and X ends up at W |
| (=> (and (instance ?M MoveToEvac) (objectTransferred ?M ?P)) (hasPurpose ?M (exists (?E) (and (instance ?E Evacuation) (objectTransferred ?E ?P) (earlier (WhenFn ?M) (WhenFn ?E)))))) |
Medicine.kif 6526-6537 | If X is an instance of move to evac and the object transferred in X is Y, then X has the purpose there exists Z such that Z is an instance of evacuating, the object transferred in Z is Y, and the time of existence of X happens earlier than the time of existence of Z |
| (=> (and (instance ?I Ingesting) (objectTransferred ?I ?H) (instance ?H Hallucinogen) (destination ?I ?P)) (modalAttribute (exists (?HAL) (and (instance ?HAL Hallucination) (experiencer ?HAL ?P))) Likely)) |
TransnationalIssues.kif 88-99 | If X is an instance of ingesting, the object transferred in X is Y, Y is an instance of hallucinogen, and X ends up at Z, then the statement there exists W such that W is an instance of hallucination and Z experiences W has the modal force of likely |
| (=> (and (vaccine ?VAC ?VIR) (instance ?V Vaccination) (experiencer ?V ?H) (instance ?VACI ?VAC) (objectTransferred ?V ?VACI)) (hasPurpose ?VACI (not (exists (?I ?VIRI) (and (instance ?I Infecting) (experiencer ?I ?H) (instance ?VIRI ?VIR) (objectTransferred ?I ?VIRI)))))) |
WMD.kif 1085-1099 | If X is a vaccine for Y, Z is an instance of vaccination, W experiences Z, V is an instance of X, and the object transferred in Z is V, then V has the purpose there don't exist U, T such that U is an instance of infecting, W experiences U, T is an instance of Y, and the object transferred in U is T |
| (=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (sideEffect ?DC ?DIS)) (modalAttribute (attribute ?H ?DIS) Likely)) |
WMD.kif 1541-1550 | If X is an instance of ingesting, Y experiences X, the object transferred in X is Z, Z is an instance of W, and V is a side effect of taking W, then the statement V is an attribute of Y has the modal force of likely |
| (=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (pathologicSideEffect ?DC ?DIS)) (modalAttribute (exists (?P) (and (instance ?P ?DIS) (experiencer ?H ?P))) Likely)) |
WMD.kif 1559-1571 | If X is an instance of ingesting, Y experiences X, the object transferred in X is Z, Z is an instance of W, and pathologic side effect W and V, then the statement there exists U such that U is an instance of V and U experiences Y has the modal force of likely |
| consequent |
|
|
| (=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2)) |
Merge.kif 11533-11538 | If X is an instance of transfer, the object transferred in X is Y, and Z is on to Y, then the object transferred in X is Z |
| (=> (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 1327-1342 | 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 |
| (=> (and (instance ?S Shooting) (instance ?G Gun) (instrument ?S ?G)) (exists (?E ?GB ?B ?C ?M) (and (subProcess ?E ?S) (instance ?E Exiting) (eventLocated ?E ?GB) (instance ?GB GunBarrel) (part ?GB ?G) (objectTransferred ?E ?B) (instance ?B Bullet) (origin ?B ?C) (instance ?C BulletCartridge) (located ?C ?GB) (path ?E ?GB) (entrance ?M ?GB) (instance ?M GunMuzzle)))) |
Mid-level-ontology.kif 1352-1371 | If X is an instance of shooting, Y is an instance of gun, and Y is an instrument for X, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is a subprocess of X (3) Z is an instance of exiting (4) Z is located at W (5) W is an instance of gun barrel (6) W is a part of Y (7) the object transferred in Z is V (8) V is an instance of bullet (9) V originates at U (10) U is an instance of bullet cartridge (11) U is located at W (12) W is path along which Z occurs (13) T is the entrance for W (14) T is an instance of gun muzzle |
| (=> (instance ?GUN ArtilleryGun) (not (exists (?A ?C) (and (instance ?A Human) (instance ?C Carrying) (instrument ?C ?A) (objectTransferred ?C ?GUN))))) |
Mid-level-ontology.kif 1825-1833 | If X is an instance of artillery gun, then there don't exist Y, Z such that Y is an instance of human, Z is an instance of carrying, Y is an instrument for Z, and the object transferred in Z is X |
| (=> (and (instance ?GUN ArtilleryGun) (instance ?W Wheel) (part ?W ?GUN)) (hasPurpose ?W (exists (?T) (and (instance ?T Translocation) (objectTransferred ?T ?GUN) (instrument ?T ?W))))) |
Mid-level-ontology.kif 1843-1853 | If X is an instance of artillery gun, Y is an instance of wheel, and Y is a part of X, then Y has the purpose there exists Z such that Z is an instance of translocation, the object transferred in Z is X, and Y is an instrument for Z |
| (=> (instance ?GUN Firearm) (hasPurpose ?GUN (exists (?A ?CARRY ?C) (and (instance ?A Human) (subclass ?CARRY Carrying) (instance ?C ?CARRY) (objectTransferred ?C ?GUN) (capability ?CARRY instrument ?A) (not (exists (?A2) (and (instance ?A2 Human) (not (equal ?A ?A2)) (instrument ?C ?A2)))))))) |
Mid-level-ontology.kif 1860-1876 | If X is an instance of firearm, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) Z is a subclass of carrying (4) W is an instance of Z (5) the object transferred in W is X (6) Y is capable of doing Z as a instrument (7) there doesn't exist V such that V is an instance of human (8) equal Y (9) V (10) V is an instrument for W |
| (=> (instance ?GUN Firearm) (hasPurpose ?GUN (exists (?A ?SHOOT ?S) (and (instance ?A Human) (subclass ?SHOOT Shooting) (instance ?S ?SHOOT) (objectTransferred ?S ?GUN) (capability ?SHOOT agent ?A) (not (exists (?A2) (and (instance ?A2 Human) (not (equal ?A ?A2)) (agent ?S ?A2)))))))) |
Mid-level-ontology.kif 1878-1894 | If X is an instance of firearm, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) Z is a subclass of shooting (4) W is an instance of Z (5) the object transferred in W is X (6) Y is capable of doing Z as a agent (7) there doesn't exist V such that V is an instance of human (8) equal Y (9) V (10) V is an agent of W |
| (=> (instance ?VM VendingMachine) (hasPurpose ?VM (exists (?H ?O ?V) (and (instance ?V Vending) (instance ?H Human) (instance ?O Object) (objectTransferred ?V ?O) (instrument ?V ?VM) (origin ?V ?VM) (not (instance ?O Currency)) (destination ?V ?H))))) |
Mid-level-ontology.kif 2427-2440 | If X is an instance of vending machine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of vending (3) Y is an instance of human (4) Z is an instance of object (5) the object transferred in W is Z (6) X is an instrument for W (7) W originates at X (8) Z is not an instance of currency (9) W ends up at Y |
| (=> (instance ?PROC Urination) (exists (?URINE) (and (instance ?URINE Urine) (objectTransferred ?PROC ?URINE)))) |
Mid-level-ontology.kif 2602-2607 | If X is an instance of urination, then there exists Y such that Y is an instance of urine and the object transferred in X is Y |
| (=> (instance ?PROC Defecation) (exists (?FECES) (and (instance ?FECES Feces) (objectTransferred ?PROC ?FECES)))) |
Mid-level-ontology.kif 2614-2619 | If X is an instance of defecation, then there exists Y such that Y is an instance of feces and the object transferred in X is Y |
| (=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (experiencer ?P ?ANI) (objectTransferred ?P ?W)))) |
Mid-level-ontology.kif 2630-2643 | If X is an instance of animal, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of biological process (3) Z is an instance of removing (4) Z originates at X (5) W is an instance of sewage (6) X experiences Z (7) the object transferred in Z is W |
| (=> (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 2650-2664 | 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 |
| (=> (instance ?AG AnimalGuiding) (exists (?A ?C ?H) (and (instance ?A Animal) (agent ?AG ?H) (instance ?C Carrying) (agent ?C ?A) (objectTransferred ?C ?H) (instrument ?AG ?A)))) |
Mid-level-ontology.kif 4821-4830 | If X is an instance of animal guiding, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of animal (3) W is an agent of X (4) Z is an instance of carrying (5) Y is an agent of Z (6) the object transferred in Z is W (7) Y is an instrument for X |
| (=> (and (instance ?C Coughing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?L ?O ?T) (and (instance ?L Lung) (instance ?T Throat) (instance ?O Object) (instance ?R Removing) (part ?L ?H) (part ?T ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (or (located ?O ?T) (located ?O ?L))))))) |
Mid-level-ontology.kif 7022-7041 | If X is an instance of coughing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of lung (3) U is an instance of throat (4) V is an instance of object (5) Z is an instance of removing (6) W is a part of Y (7) U is a part of Y (8) the object transferred in Z is V (9) V is located at U or V is located at W holds during immediately before the time of existence of X |
| (=> (and (instance ?C Sneezing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?N ?NOSE ?O) (and (instance ?N NasalCavity) (instance ?NOSE Nose) (equal ?NOSE (HoleHostFn ?N)) (instance ?O Object) (instance ?R Removing) (part ?NOSE ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (located ?O ?N)))))) |
Mid-level-ontology.kif 7088-7106 | If X is an instance of sneezing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of nasal cavity (3) V is an instance of nose (4) equal V (5) the host of the hole W (6) U is an instance of object (7) Z is an instance of removing (8) V is a part of Y (9) the object transferred in Z is U (10) U is located at W holds during immediately before the time of existence of X |
| (=> (and (instance ?SPIT Drooling) (experiencer ?SPIT ?ANIMAL)) (exists (?MOUTH ?S) (and (instance ?MOUTH Mouth) (objectTransferred ?SPIT ?S) (instance ?S Saliva) (part ?MOUTH ?ANIMAL) (origin ?SPIT ?MOUTH)))) |
Mid-level-ontology.kif 7532-7542 | If X is an instance of drooling and Y experiences X, then there exist Z, W such that Z is an instance of mouth, the object transferred in X is W, W is an instance of saliva, Z is a part of Y, and X originates at Z |
| (=> (and (instance ?S Swallowing) (agent ?S ?H)) (exists (?M ?E ?ST ?O) (and (instance ?M Mouth) (instance ?E Esophagus) (instance ?ST Stomach) (objectTransferred ?S ?O) (origin ?S ?M) (destination ?S ?ST) (path ?S ?E)))) |
Mid-level-ontology.kif 7560-7572 | If X is an instance of swallowing and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of mouth (3) W is an instance of esophagus (4) V is an instance of stomach (5) the object transferred in X is U (6) X originates at Z (7) X ends up at V (8) W is path along which X occurs |
| (=> (instance ?S MilitarySurplus) (exists (?A ?B) (and (instance ?B Buying) (patient ?B ?A) (objectTransferred ?B ?S) (not (instance ?A MilitaryOrganization)) (not (member ?A MilitaryOrganization))))) |
Mid-level-ontology.kif 9658-9668 | If X is an instance of military surplus, then there exist Y, Z such that Z is an instance of buying, Y is a patient of Z, the object transferred in Z is X, Y is not an instance of military organization, and Y is not a member of military organization |
| (=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2)) |
Mid-level-ontology.kif 10347-10352 | If X is an instance of transfer, the object transferred in X is Y, and Z is inside the to Y, then the object transferred in X is Z |
| (=> (instance ?P Pill) (hasPurpose ?P (exists (?A ?I) (and (instance ?A Animal) (instance ?I Ingesting) (experiencer ?I ?A) (objectTransferred ?I ?P))))) |
Mid-level-ontology.kif 10650-10658 | If X is an instance of pill, then X has the purpose there exist Y, Z such that Y is an instance of animal, Z is an instance of ingesting, Y experiences Z, and the object transferred in Z is X |
| (=> (and (instance ?P Prescription) (instance ?M Medicine) (refers ?P ?M)) (exists (?PHARM ?S) (and (instance ?S Selling) (objectTransferred ?S ?M) (agent ?S ?PHARM) (attribute ?S Pharmacist)))) |
Mid-level-ontology.kif 10673-10683 | If X is an instance of prescription, Y is an instance of medicine, and X includes a reference to Y, then there exist Z, W such that W is an instance of selling, the object transferred in W is Y, Z is an agent of W, and pharmacist is an attribute of W |
| (=> (attribute ?X USPrescriptionDrug) (modalAttribute (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?X) (not (exists (?P) (and (instance ?P Prescription) (refers ?P ?X)))))) Illegal)) |
Mid-level-ontology.kif 10691-10703 | If prescription drug is an attribute of X, then the statement there exists Y such that Y is an instance of buying, the object transferred in Y is X, there doesn't exist Z such that Z is an instance of prescription, and Z includes a reference to X has the modal force of illegal |
| (=> (attribute ?X USNonPrescriptionDrug) (modalAttribute (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?X) (not (exists (?P) (and (instance ?P Prescription) (refers ?P ?X)))))) Legal)) |
Mid-level-ontology.kif 10713-10725 | If OTC drug is an attribute of X, then the statement there exists Y such that Y is an instance of buying, the object transferred in Y is X, there doesn't exist Z such that Z is an instance of prescription, and Z includes a reference to X has the modal force of legal |
| (=> (instance ?ROOT PlantRoot) (hasPurpose ?ROOT (exists (?TRAN ?STUFF ?HOST) (and (instance ?TRAN Transfer) (instrument ?TRAN ?ROOT) (origin ?TRAN ?HOST) (orientation ?HOST ?ROOT Outside) (objectTransferred ?TRAN ?STUFF) (or (instance ?STUFF FreshWater) (instance ?STUFF Nutrient)))))) |
Mid-level-ontology.kif 10901-10913 | If X is an instance of plant root, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) X is an instrument for Y (4) Y originates at W (5) W is outside of to X (6) the object transferred in Y is Z (7) Z is an instance of freshwater or Z is an instance of nutrient |
| (=> (instance ?STEM PlantStem) (hasPurpose ?STEM (exists (?TRAN ?ROOT ?SUB) (and (instance ?TRAN Transfer) (instrument ?TRAN ?STEM) (instance ?ROOT PlantRoot) (origin ?TRAN ?ROOT) (instance ?SUB Substance) (attribute ?SUB Fluid) (objectTransferred ?TRAN ?SUB))))) |
Mid-level-ontology.kif 10940-10951 | If X is an instance of plant stem, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) X is an instrument for Y (4) Z is an instance of plant root (5) Y originates at Z (6) W is an instance of substance (7) fluid is an attribute of W (8) the object transferred in Y is W |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| (hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3216-3222 | IBookstore has the purpose there exists ?D such that ?D is an instance of downloading, iBookstore is an instrument for ?D, ?T is an instance of text, and the object transferred in ?D is ?T |
|
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-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners