| appearance as argument number 1 |
|
| (instance destination CaseRole) | Merge.kif 2477-2477 | destination is an instance of case role |
| (instance destination PartialValuedRelation) | Merge.kif 2478-2478 | destination is an instance of partial valued relation |
| (domain destination 1 Process) | Merge.kif 2479-2479 | The number 1 argument of destination is an instance of process |
| (domain destination 2 Entity) | Merge.kif 2480-2480 | The number 2 argument of destination is an instance of entity |
| (subrelation destination involvedInEvent) | Merge.kif 2481-2481 | destination is a subrelation of involved in event |
| (documentation destination EnglishLanguage "(destination ?PROCESS ?GOAL) means that ?GOAL is the target or goal of the Process ?PROCESS. For example, Danbury would be the destination in the following proposition: Bob went to Danbury. Note that this is a very general CaseRole and, in particular, that it covers the concepts of 'recipient' and 'beneficiary'. Thus, John would be the destination in the following proposition: Tom gave a book to John.") | Merge.kif 2483-2489 | destination is a subrelation of involved in event |
| appearance as argument number 2 |
|
|
| (subrelation target destination) | MilitaryProcesses.kif 2807-2807 | target is a subrelation of destination |
| (termFormat EnglishLanguage destination "destination") | domainEnglishFormat.kif 19272-19272 | target is a subrelation of destination |
| (termFormat ChineseTraditionalLanguage destination "目的地") | domainEnglishFormat.kif 19273-19273 | target is a subrelation of destination |
| (termFormat ChineseLanguage destination "目的地") | domainEnglishFormat.kif 19274-19274 | target is a subrelation of destination |
| (format EnglishLanguage destination "%1 %n{doesn't} end%p{s} up at %2") | english_format.kif 93-93 | target is a subrelation of destination |
| appearance as argument number 3 |
|
|
| (domain automatedNotification 2 destination) | Facebook.kif 746-746 | The number 2 argument of automated notification is an instance of destination |
| antecedent |
|
|
| (=> (and (instance ?BP BrakePedal) (instance ?P Pushing) (instance ?V Vehicle) (destination ?P ?BP) (eventLocated ?P ?V) (part ?BP ?V)) (hasPurpose ?BP (exists (?FS ?F) (and (instance ?FS WearingFrictionSurface) (instance ?F Friction) (instrument ?F ?FS) (causes ?P ?F))))) |
Cars.kif 693-707 | If All of the following hold: (1) X is an instance of brake pedal (2) Y is an instance of pushing (3) Z is an instance of vehicle (4) Y ends up at X (5) Y is located at Z (6) X is a part of Z, then X has the purpose there exist W, V such that W is an instance of wearing friction surface, V is an instance of friction, W is an instrument for V, and Y causes V |
| (=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP) (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC) (path ?T ?P)) (hasPurpose ?T (exists (?FF) (and (instance ?FF FuelFilter) (betweenOnPath ?GT ?FF ?EC ?P))))) |
Cars.kif 1070-1090 | If All of the following hold: (1) X is an instance of fuel pump (2) Y is an instance of automobile (3) X is a part of Y (4) Z is an instance of transportation (5) W is an instance of fuel (6) W is a patient of Z (7) X is an instrument for W (8) V is an instance of gas tank (9) V is a part of Y (10) U is an instance of engine cylinder (11) U is a part of Y (12) Z originates at V (13) Z ends up at U (14) T is path along which Z occurs, then Z has the purpose there exists S such that S is an instance of fuel filter, S is between V, and U on path T |
| (=> (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 1724-1740 | 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 (engineIdleSpeed ?E (MeasureFn ?RI RevolutionsPerMinute)) (instance ?A Automobile) (instance ?GP GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (instance ?R1 Rotating) (moves ?R1 ?C) (during (WhenFn ?R1) (WhenFn ?P)) (part ?C ?E) (equal (MeasureFn ?RA RevolutionsPerMinute) (RotationFn ?R1))) (modalAttribute (greaterThan ?RA ?RI) Likely)) |
Cars.kif 2582-2604 | If All of the following hold: (1) the idle speed of X is Y revolutions per minute(s) (2) Z is an instance of automobile (3) W is an instance of gas pedal (4) V is an instance of pushing (5) V ends up at W (6) X is a part of Z (7) W is a part of Z (8) U is an instance of crankshaft (9) T is an instance of rotating (10) U moves during T (11) the time of existence of T takes place during the time of existence of V (12) U is a part of X (13) equal S revolutions per minute(s) and the rotation of T during, then the statement S is greater than Y has the modal force of likely |
| (=> (and (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC)))))) |
Communications.kif 202-214 | If X ends up at Y, X is an instance of messaging, Z is a patient of X, and Y is an instance of telex, then there exist W, V such that Y is an instrument for W, V is a result of W, V expresses Z, V is an instance of text, and the beginning of the time of existence of X happens before the beginning of the time of existence of W |
| (=> (and (instance ?I SoftwareInstallation) (dataProcessed ?I ?P) (instance ?P ComputerProgram) (destination ?I ?C)) (hasPurpose ?I (exists (?PROC) (computerRunning ?PROC ?C)))) |
ComputingBrands.kif 3499-3507 | If X is an instance of install, Y is processed by X, Y is an instance of computer program, and X ends up at Z, then X has the purpose there exists W such that W is running on Z |
| (=> (and (instance ?S Spamming) (instance ?G GroupOfPeople) (memberCount ?G ?N) (destination ?S ?G)) (modalAttribute (greaterThan ?N 100) Likely)) |
ComputingBrands.kif 4093-4101 | If X is an instance of spamming, Y is an instance of group of people, Z is a member count of Y, and X ends up at Y, then the statement Z is greater than 100 has the modal force of likely |
| (=> (and (instance ?S Spamming) (result ?S ?SPAM) (instance ?S Spam) (instance ?H Human) (destination ?S ?H)) (not (exists (?R) (and (instance ?R Requesting) (patient ?R ?SPAM))))) |
ComputingBrands.kif 4103-4114 | If X is an instance of spamming, Y is a result of X, X is an instance of spam, Z is an instance of human, and X ends up at Z, then there doesn't exist W such that W is an instance of requesting and Y is a patient of W |
| (=> (and (instance ?S Spamming) (result ?S ?SPAM) (instance ?S Spam) (instance ?H Human) (destination ?S ?H)) (not (modalAttribute (wants ?H ?SPAM) Likely))) |
ComputingBrands.kif 4116-4126 | If X is an instance of spamming, Y is a result of X, X is an instance of spam, Z is an instance of human, and X ends up at Z, then the statement Z doesn't want Y doesn't have the modal force of likely |
| (=> (and (customer ?CUST ?AGENT) (corkageFee ?AMT ?ITEM ?AGENT) (instance ?X ?ITEM) (not (exists (?B) (and (instance ?B Buying) (patient ?B ?X) (destination ?B ?CUST) (origin ?B ?AGENT)))) (instance ?D Drinking) (agent ?D ?CUST) (resource ?D ?X)) (exists (?C) (and (instance ?C Corkage) (agent ?C ?CUST) (refers ?C ?X) (destination ?C ?AGENT)))) |
Dining.kif 130-150 | If All of the following hold: (1) X is a customer of Y (2) X charges Z in corkage for W (3) V is an instance of W (4) there doesn't exist U such that U is an instance of buying, V is a patient of U, U ends up at Y, and U originates at X (5) T is an instance of drinking (6) Y is an agent of T (7) V is a resource for T, then there exists S such that S is an instance of corkage, Y is an agent of S, S includes a reference to V, and S ends up at X |
| (=> (and (instance ?P BankCardPayment) (destination ?P ?AGENT)) (capability BankCardPayment destination ?AGENT)) |
Dining.kif 437-441 | If X is an instance of bank card payment and X ends up at Y, then Y is capable of doing bank card payment as a destination |
| (=> (and (instance ?D DeliveryService) (destination ?D ?LOC1) (deliveryRegion ?AGENT ?REGION) (conditionalProbability (located ?LOC1 ?REGION) (agent ?D ?AGENT) ?NUMBER1) (conditionalProbability (not (located ?LOC1 ?REGION)) (agent ?D ?AGENT) ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1)) |
Dining.kif 552-561 | If X is an instance of delivery service, X ends up at Y, Z is the delivery area of W, probability of Y is located at Z provided that W is an agent of X holds is V, and probability of Y is not located at Z provided that W is an agent of X holds is U, then U is less than V |
| (=> (and (instance ?D DeliveryService) (origin ?D ?LOC1) (destination ?D ?LOC2)) (not (equal ?LOC1 ?LOC2))) |
Dining.kif 564-569 | If X is an instance of delivery service, X originates at Y, and X ends up at Z, then equal Y and Z |
| (=> (and (instance ?C CateringService) (agent ?C ?AGENT) (destination ?C ?CUST) (located ?AGENT ?LOC1) (customer ?CUST ?AGENT) (exists (?S ?FOOD ?E) (and (instance ?S Cooking) (agent ?S ?AGENT) (result ?S ?FOOD) (patient ?C ?FOOD) (instance ?E Eating) (agent ?E ?CUST) (eventLocated ?E ?LOC2)))) (not (equal ?LOC1 ?LOC2))) |
Dining.kif 586-602 | If All of the following hold: (1) X is an instance of catering (2) Y is an agent of X (3) X ends up at Z (4) Y is located at W (5) Y is a customer of Z (6) All of the following hold: (1) there exist V, U (2) T such that V is an instance of cooking (3) Y is an agent of V (4) U is a result of V (5) U is a patient of X (6) T is an instance of eating (7) Z is an agent of T (8) T is located at S, then equal W and S |
| (=> (and (instance ?P FoodPickup) (agent ?P ?AGENT) (destination ?P ?CUST) (patient ?P ?FOOD)) (and (instance ?FOOD (FoodForFn Human)) (exists (?LOC ?T ?G) (and (located ?AGENT ?LOC) (instance ?T Translocation) (agent ?T ?CUST) (destination ?T ?LOC) (instance ?G Getting) (origin ?G ?AGENT) (destination ?G ?CUST) (patient ?G ?FOOD))))) |
Dining.kif 610-627 | If X is an instance of food pickup, Y is an agent of X, X ends up at Z, and W is a patient of X, then W is an instance of food for human and All of the following hold: (1) there exist V, U (2) T such that Y is located at V (3) U is an instance of translocation (4) Z is an agent of U (5) U ends up at V (6) T is an instance of getting (7) T originates at Y (8) T ends up at Z (9) W is a patient of T |
| (=> (and (instance ?R Reserving) (agent ?R ?CUST) (destination ?R ?AGENT)) (potentialCustomer ?CUST ?AGENT)) |
Dining.kif 762-767 | If X is an instance of reserving, Y is an agent of X, and X ends up at Z, then Y is a potential customer for Z |
| (=> (and (instance ?AGENT AutonomousAgent) (potentialCustomer ?CUST ?AGENT) (modalAttribute (and (instance ?R Reserving) (destination ?R ?AGENT)) Necessity) (conditionalProbability (exists (?RES1) (and (instance ?RES1 Reservation) (reservingEntity ?CUST ?RES1) (fulfillingEntity ?AGENT ?RES1))) (customer ?CUST ?AGENT) ?NUM1) (conditionalProbability (not (exists (?RES2) (and (instance ?RES2 Reservation) (reservingEntity ?CUST ?RES2) (fulfillingEntity ?AGENT ?RES2)))) (customer ?CUST ?AGENT) ?NUM2)) (lessThan ?NUM2 ?NUM1)) |
Dining.kif 772-795 | If X is an instance of agent, Y is a potential customer for X, the statement Z is an instance of reserving and Z ends up at X has the modal force of necessity, probability of there exists W such that W is an instance of reservation, Y reserves W, and X fulfills W provided that X is a customer of Y holds is V, and probability of there doesn't exist U such that U is an instance of reservation, Y reserves U, and X fulfills U provided that X is a customer of Y holds is T, then T is less than V |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA GeopoliticalArea) (destination ?EXPORT ?AREA)) (holdsDuring (EndFn (WhenFn ?EXPORT)) (located ?ITEM ?AREA))) |
Economy.kif 2682-2689 | If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and X ends up at Z, then Y is located at Z holds during the end of the time of existence of X |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (origin ?EXPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?EXPORT ?AREA2)) (not (equal ?AREA1 ?AREA2))) |
Economy.kif 2703-2711 | If All of the following hold: (1) X is an instance of exporting (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) X originates at Z (5) W is an instance of geopolitical area (6) X ends up at W, then equal Z and W |
| (=> (and (instance ?EXPORT Exporting) (patient ?EXPORT ?ITEM) (instance ?AREA1 GeopoliticalArea) (origin ?EXPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?EXPORT ?AREA2)) (not (located ?AREA2 ?AREA1))) |
Economy.kif 2713-2721 | If All of the following hold: (1) X is an instance of exporting (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) X originates at Z (5) W is an instance of geopolitical area (6) X ends up at W, then W is not located at Z |
| (=> (and (instance ?IMPORT Importing) (patient ?IMPORT ?ITEM) (instance ?AREA GeopoliticalArea) (destination ?IMPORT ?AREA)) (holdsDuring (EndFn (WhenFn ?IMPORT)) (located ?ITEM ?AREA))) |
Economy.kif 2847-2856 | If X is an instance of importing, Y is a patient of X, Z is an instance of geopolitical area, and X ends up at Z, then Y is located at Z holds during the end of the time of existence of X |
| (=> (and (instance ?IMPORT Importing) (instance ?AREA1 GeopoliticalArea) (origin ?IMPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?IMPORT ?AREA2)) (not (equal ?AREA1 ?AREA2))) |
Economy.kif 2873-2881 | If X is an instance of importing, Y is an instance of geopolitical area, X originates at Y, Z is an instance of geopolitical area, and X ends up at Z, then equal Y and Z |
| (=> (and (instance ?IMPORT Importing) (instance ?AREA1 GeopoliticalArea) (origin ?IMPORT ?AREA1) (instance ?AREA2 GeopoliticalArea) (destination ?IMPORT ?AREA2)) (not (located ?AREA2 ?AREA1))) |
Economy.kif 2882-2890 | If X is an instance of importing, Y is an instance of geopolitical area, X originates at Y, Z is an instance of geopolitical area, and X ends up at Z, then Z is not located at Y |
| (=> (and (instance ?P Putting) (patient ?P ?S) (instance ?S Spice) (destination ?P ?F) (instance ?F PreparedFood)) (exists (?C ?A) (and (instance ?C InternalChange) (patient ?C ?F) (result ?C ?A) (attribute ?F ?A) (or (instance ?A FlavourAttribute) (instance ?A ColorAttribute))))) |
Economy.kif 4717-4732 | If X is an instance of putting, Y is a patient of X, Y is an instance of spice, X ends up at Z, and Z is an instance of prepared food, then there exist W, V such that W is an instance of internal change, Z is a patient of W, V is a result of W, V is an attribute of Z, and V is an instance of flavour attribute or V is an instance of color attribute |
| (=> (and (instance ?NOTIFY Notifying) (instance ?FORMULA Formula) (instance ?AGENT CognitiveAgent) (patient ?NOTIFY ?FORMULA) (destination ?NOTIFY ?AGENT)) (not (holdsDuring (BeginFn (WhenFn ?NOTIFY)) (knows ?AGENT ?FORMULA)))) |
Facebook.kif 619-629 | If X is an instance of notifying, Y is an instance of formula, Z is an instance of cognitive agent, Y is a patient of X, and X ends up at Z, then Z doesn't know Y doesn't hold during the beginning of the time of existence of X |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (and (suppliesBlood ?AC ?BPC) (instance ?A ?AC) (instance ?BP ?BPC)) (hasPurpose ?A (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (destination ?BF ?BP))))) |
Anatomy.kif 1987-1998 | If supplies blood X and Y, Z is an instance of X, and W is an instance of Y, then Z has the purpose there exist V, U such that V is an instance of liquid motion, the object transferred in V is U, U is an instance of blood, and V ends up at W |
| (=> (instance ?H Hajj) (destination ?H MeccaSaudiArabia)) |
ArabicCulture.kif 123-125 | If X is an instance of hajj, then X ends up at mecca saudi arabia |
| (=> (instance ?U Umrah) (destination ?U MeccaSaudiArabia)) |
ArabicCulture.kif 187-189 | If X is an instance of umrah, then X ends up at mecca saudi arabia |
| (=> (instance ?MS MuakharSadaq) (exists (?H ?W ?T1 ?T2) (and (agent ?MS ?H) (origin ?MS ?H) (destination ?MS ?W) (holdsDuring ?T1 (wife ?W ?H)) (not (holdsDuring ?T2 (wife ?W ?H))) (finishes ?T1 ?MS) (before ?T1 ?T2) (starts ?T2 ?MS)))) |
ArabicCulture.kif 285-299 | If X is an instance of muakhar sadaq, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Z is the wife of Y holds during W (6) Z is the wife of Y doesn't hold during V (7) W finishes X (8) W happens before V (9) V starts X |
| (=> (instance ?MS MuqaddamSadaq) (exists (?H ?W ?T1 ?T2) (and (agent ?MS ?H) (origin ?MS ?H) (destination ?MS ?W) (not (holdsDuring ?T1 (wife ?W ?H))) (holdsDuring ?T2 (wife ?W ?H)) (finishes ?T1 ?MS) (before ?T1 ?T2) (starts ?T2 ?MS)))) |
ArabicCulture.kif 305-319 | If X is an instance of muqaddam sadaq, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Z is the wife of Y doesn't hold during W (6) Z is the wife of Y holds during V (7) W finishes X (8) W happens before V (9) V starts X |
| (=> (and (instance ?F FourStrokeIntake) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?FV ?M) (and (instance ?M GasMotion) (instance ?FV FuelVapor) (subProcess ?M ?F) (destination ?M ?I) (patient ?M ?FV)))) |
Cars.kif 171-184 | If X is an instance of four stroke intake, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of fuel vapor, V is a subprocess of X, V ends up at Z, and W is a patient of V |
| (=> (instance ?BP BrakePedal) (hasPurpose ?BP (exists (?PU) (and (instance ?PU Pushing) (destination ?PU ?BP))))) |
Cars.kif 685-691 | If X is an instance of brake pedal, then X has the purpose there exists Y such that Y is an instance of pushing and Y ends up at X |
| (=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A ?E ?T) (and (instance ?A Air) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?AI) (destination ?T ?E) (patient ?T ?A))))) |
Cars.kif 973-983 | If X is an instance of air intake, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of air (3) Z is an instance of engine (4) W is an instance of transfer (5) W originates at X (6) W ends up at Z (7) Y is a patient of W |
| (=> (instance ?GT GasTank) (hasPurpose ?GT (exists (?F ?T ?E) (and (instance ?F Fuel) (contains ?GT ?F) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?GT) (destination ?T ?E) (patient ?T ?F))))) |
Cars.kif 1000-1011 | If X is an instance of gas tank, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of fuel (3) X contains Y (4) W is an instance of engine (5) Z is an instance of transfer (6) Z originates at X (7) Z ends up at W (8) Y is a patient of Z |
| (=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP)) (hasPurpose ?FP (exists (?GT ?EC) (and (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC))))) |
Cars.kif 1051-1068 | If All of the following hold: (1) X is an instance of fuel pump (2) Y is an instance of automobile (3) X is a part of Y (4) Z is an instance of transportation (5) W is an instance of fuel (6) W is a patient of Z (7) X is an instrument for W, then All of the following hold: (1) X has the purpose there exist V (2) U such that V is an instance of gas tank (3) V is a part of Y (4) U is an instance of engine cylinder (5) U is a part of Y (6) Z originates at V (7) Z ends up at U |
| (=> (instance ?C Charging) (exists (?RB) (and (instance ?RB RechargeableBattery) (destination ?C ?RB)))) |
Cars.kif 2399-2404 | If X is an instance of charging, then there exists Y such that Y is an instance of rechargeable battery and X ends up at Y |
| (=> (instance ?RB RechargeableBattery) (capability Charging destination ?RB)) |
Cars.kif 2434-2436 | If X is an instance of rechargeable battery, then X is capable of doing charging as a destination |
| (=> (instance ?RB NonRechargeableBattery) (not (capability Charging destination ?RB))) |
Cars.kif 2443-2446 | If X is an instance of non_rechargeable battery, then X is not capable of doing charging as a destination |
| (=> (instance ?GP GasPedal) (hasPurpose ?GP (exists (?P ?T ?F ?E ?A) (and (instance ?P Pushing) (instance ?T Transfer) (instance ?F Fuel) (instance ?E Engine) (instance ?A Automobile) (part ?GP ?A) (part ?E ?A) (destination ?P ?GP) (destination ?T ?E) (patient ?T ?F) (causes ?P ?T))))) |
Cars.kif 2537-2552 | If X is an instance of gas pedal, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of pushing (3) Z is an instance of transfer (4) W is an instance of fuel (5) V is an instance of engine (6) U is an instance of automobile (7) X is a part of U (8) V is a part of U (9) Y ends up at X (10) Z ends up at V (11) W is a patient of Z (12) Y causes Z |
| (=> (and (holdsDuring ?T (measure ?C ?S)) (engineIdleSpeed ?E ?S) (instance ?A Automobile) (part ?E ?A) (part ?C ?E)) (modalAttribute (not (exists (?P ?GP) (and (during ?P ?T) (instance ?P Pushing) (destination ?P ?GP) (part ?GP ?A)))) Likely)) |
Cars.kif 2564-2580 | If the measure of X is Y holds during Z, the idle speed of W is Y, V is an instance of automobile, W is a part of V, and X is a part of W, then the statement there don't exist U, T such that U takes place during Z, U is an instance of pushing, U ends up at T, and T is a part of V has the modal force of likely |
| (=> (instance ?EM ExhaustManifold) (hasPurpose ?EM (exists (?A ?E ?C ?M ?T) (and (instance ?A Automobile) (instance ?E Exhaust) (instance ?C EngineCylinder) (instance ?M AutomobileMuffler) (instance ?T Transfer) (part ?EM ?A) (part ?C ?A) (part ?M ?A) (origin ?T ?C) (destination ?T ?M) (patient ?T ?E) (instrument ?T ?E))))) |
Cars.kif 2630-2646 | If X is an instance of exhaust manifold, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of automobile (3) Z is an instance of exhaust (4) W is an instance of engine cylinder (5) V is an instance of muffler (6) U is an instance of transfer (7) X is a part of Y (8) W is a part of Y (9) V is a part of Y (10) U originates at W (11) U ends up at V (12) Z is a patient of U (13) Z is an instrument for U |
| (=> (instance ?IV IntakeValve) (hasPurpose ?IV (exists (?A ?FV ?CC ?T) (and (instance ?A Automobile) (instance ?FV FuelVapor) (instance ?CC CombustionChamber) (instance ?T Transfer) (part ?IV ?A) (part ?CC ?A) (patient ?T ?FV) (path ?T ?IV) (destination ?T ?CC))))) |
Cars.kif 2691-2704 | If X is an instance of intake valve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of automobile (3) Z is an instance of fuel vapor (4) W is an instance of combustion chamber (5) V is an instance of transfer (6) X is a part of Y (7) W is a part of Y (8) Z is a patient of V (9) X is path along which V occurs (10) V ends up at W |
| (=> (instance ?G Gasket) (hasPurpose ?G (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 CorpuscularObject) (meetsSpatially ?O1 ?G) (meetsSpatially ?O2 ?G) (not (exists (?H ?D ?T ?O) (and (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)) (instance ?T Translocation) (path ?T ?H) (origin ?T ?O) (destination ?T ?D) (contains ?O1 ?O) (not (contains ?O1 ?D)) (meetsSpatially ?O1 ?D) (not (exists (?O3) (and (contains ?H ?O3) (not (contains ?O1 ?O3)) (not (contains ?O2 ?O3)))))))))))) |
Cars.kif 2844-2873 | If X is an instance of gasket, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of corpuscular object (3) Z is an instance of corpuscular object (4) Y meets X (5) Z meets X (6) there don't exist W, V,, , U (7) T such that W is an instance of hole (8) equal X (9) the host of the hole W (10) U is an instance of translocation (11) W is path along which U occurs (12) U originates at T (13) U ends up at V (14) Y contains T (15) Y doesn't contain V (16) Y meets V (17) there doesn't exist S such that W contains S (18) Y doesn't contain S (19) Z doesn't contain S |
| (=> (instance ?X AutoAirbag) (hasPurpose ?X (exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT) (and (instance ?CAR Automobile) (part ?X ?CAR) (instance ?PERSON Human) (contains ?CAR ?PERSON) (instance ?IMP Impacting) (patient ?IMP ?CAR) (instance ?INF Inflating) (patient ?INF ?X) (causes ?IMP ?INF) (hinders ?INF (KappaFn ?INJ (and (instance ?INJ Injuring) (experiencer ?INJ ?PERSON) (exists (?HIT) (and (instance ?HIT Impacting) (destination ?HIT ?CAR) (experiencer ?HIT ?PERSON) (causes ?HIT ?INJ)))))))))) |
Cars.kif 3710-3734 | If X is an instance of airbag, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of automobile (3) X is a part of Y (4) Z is an instance of human (5) Y contains Z (6) W is an instance of impacting (7) Y is a patient of W (8) V is an instance of inflating (9) X is a patient of V (10) W causes V (11) V hinders the class described by U |
| (=> (instance ?X RemoteIgnitionControl) (hasPurpose ?X (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC) (and (instance ?VEHICLE PoweredVehicle) (instance ?SIGNAL ElectronicSignalling) (instrument ?SIGNAL ?X) (destination ?SIGNAL ?VEHICLE) (instance ?ENGINE Engine) (component ?ENGINE ?VEHICLE) (instance ?PROC (OperatingFn Engine)) (experiencer ?PROC ?ENGINE) (causes ?SIGNAL ?PROC))))) |
Cars.kif 3833-3847 | If X is an instance of remote ignition control, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of powered vehicle (3) W is an instance of electronic signalling (4) X is an instrument for W (5) W ends up at Y (6) Z is an instance of engine (7) Z is a component of Y (8) V is an instance of the operating of engine (9) Z experiences V (10) W causes V |
| (=> (instance ?PCVV PositiveCrankcaseVentilationValve) (hasPurpose ?PCVV (exists (?CR ?F ?CC ?T ?A) (and (instance ?CR Crankcase) (instance ?F Fuel) (instance ?CC CombustionChamber) (instance ?T Transfer) (instance ?A Automobile) (part ?CR ?A) (part ?CC ?A) (part ?PCVV ?A) (origin ?T ?CR) (destination ?T ?CC) (objectTransferred ?T ?F) (path ?T ?PCVV))))) |
Cars.kif 3896-3912 | If X is an instance of positive crankcase ventilation valve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of crankcase (3) Z is an instance of fuel (4) W is an instance of combustion chamber (5) V is an instance of transfer (6) U is an instance of automobile (7) Y is a part of U (8) W is a part of U (9) X is a part of U (10) V originates at Y (11) V ends up at W (12) the object transferred in V is Z (13) X is path along which V occurs |
| (=> (instance ?RA RockerArm) (hasPurpose ?RA (exists (?P1 ?C ?P2 ?V ?O ?FSE) (and (instance ?P1 Pushing) (instance ?C Cam) (instance ?P2 Pushing) (instance ?V Valve) (instance ?O Opening) (instance ?FSE FourStrokeEngine) (part ?RA ?FSE) (part ?C ?FSE) (part ?V ?FSE) (instrument ?P1 ?C) (destination ?P1 ?RA) (instrument ?P2 ?RA) (destination ?P2 ?V) (causes ?P1 ?P2) (causes ?P2 ?O) (patient ?O ?V))))) |
Cars.kif 3922-3942 | If X is an instance of rocker arm, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of pushing (3) Z is an instance of cam (4) W is an instance of pushing (5) V is an instance of valve (6) U is an instance of opening (7) T is an instance of four stroke engine (8) X is a part of T (9) Z is a part of T (10) V is a part of T (11) Z is an instrument for Y (12) Y ends up at X (13) X is an instrument for W (14) W ends up at V (15) Y causes W (16) W causes U (17) V is a patient of U |
| (=> (instance ?TC TireChanger) (hasPurpose ?TC (exists (?P ?T ?R) (and (instance ?P Putting) (instance ?T Tire) (instance ?R WheelRim) (destination ?P ?R) (objectTransferred ?P ?T) (instrument ?P ?TC))))) |
Cars.kif 4953-4963 | If X is an instance of tire changer, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of putting (3) Z is an instance of tire (4) W is an instance of rim (5) Y ends up at W (6) the object transferred in Y is Z (7) X is an instrument for Y |
| (=> (instance ?S Supercharger) (hasPurpose ?S (exists (?T ?IV ?A) (and (instance ?T GasMotion) (origin ?T ?S) (instance ?IV IntakeValve) (destination ?T ?IV) (instance ?A Air) (objectTransferred ?T ?A) (holdsDuring (WhenFn ?T) (attribute ?A Pressurized)))))) |
Cars.kif 5270-5282 | If X is an instance of supercharger, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of gas motion (3) Y originates at X (4) Z is an instance of intake valve (5) Y ends up at Z (6) W is an instance of air (7) the object transferred in Y is W (8) pressurized is an attribute of W holds during the time of existence of Y |
| (=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (modalAttribute (exists (?S ?ITEM) (and (instance ?S Selling) (patient ?S ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?S ?SELLER) (destination ?S ?BUYER) (transactionAmount ?S ?PRICE))) Promise)) |
Catalog.kif 276-289 | If the price negotiated for X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) the statement there exist U (2) T such that U is an instance of selling (3) T is a patient of U (4) T is an immediate instance of X (5) W is an agent of U (6) U ends up at V (7) Z is a transaction amount of U has the modal force of promise |
| 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 is open source software produced by Articulate Software and its partners