| appearance as argument number 1 |
|
| (instance destination CaseRole) | Merge.kif 2550-2550 | destination is an instance of case role |
| (instance destination PartialValuedRelation) | Merge.kif 2551-2551 | destination is an instance of partial valued relation |
| (domain destination 1 Process) | Merge.kif 2552-2552 | The number 1 argument of destination is an instance of process |
| (domain destination 2 Entity) | Merge.kif 2553-2553 | The number 2 argument of destination is an instance of entity |
| (subrelation destination involvedInEvent) | Merge.kif 2554-2554 | 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 2556-2562 | destination is a subrelation of involved in event |
| appearance as argument number 2 |
|
|
| (subrelation target destination) | MilitaryProcesses.kif 2825-2825 | 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 748-748 | The number 2 argument of automated notification is an instance of destination |
| antecedent |
|
|
| (=> (destination ?PROCESS ?LOC) (eventPartlyLocated ?PROCESS ?LOC)) |
Merge.kif 4219-4221 | If X ends up at Y, then X is partly located at Y |
| (=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (destination ?MOTION ?PLACE)) (holdsDuring (EndFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE))) |
Merge.kif 11304-11309 | If X is an instance of motion, Y moves during X, and X ends up at Z, then Y is located at Z holds during the end of the time of existence of X |
| (=> (and (path ?PROCESS ?PATH1) (origin ?PROCESS ?SOURCE) (destination ?PROCESS ?DEST) (length ?PATH1 (MeasureFn ?MEASURE1 ?U)) (distance ?SOURCE ?DEST (MeasureFn ?DISTANCE ?U)) (not (greaterThan ?MEASURE1 ?DISTANCE)) (part ?OBJ ?PATH1)) (between ?SOURCE ?OBJ ?DEST)) |
Merge.kif 11334-11344 | If All of the following hold: (1) X is path along which Y occurs (2) Y originates at Z (3) Y ends up at W (4) the length of X is V U(s) (5) the distance between Z and W is T U(s) (6) V is not greater than T (7) S is a part of X, then S is between Z and W |
| (=> (and (instance ?T1 Translocation) (instance ?T2 Translocation) (origin ?T1 ?O1) (origin ?T2 ?D1) (destination ?T1 ?D1) (destination ?T2 ?D2) (experiencer ?T1 ?P) (experiencer ?T2 ?P)) (exists (?T) (and (instance ?T Translocation) (origin ?T ?O1) (destination ?T ?D2) (subProcess ?T1 ?T) (subProcess ?T2 ?T) (experiencer ?T ?P) (starts (WhenFn ?T1) (WhenFn ?T)) (finishes (WhenFn ?T2) (WhenFn ?T))))) |
Merge.kif 11586-11609 | If All of the following hold: (1) X is an instance of translocation (2) Y is an instance of translocation (3) X originates at Z (4) Y originates at W (5) X ends up at W (6) Y ends up at V (7) U experiences X (8) U experiences Y, then All of the following hold: (1) there exists T such that T is an instance of translocation (2) T originates at Z (3) T ends up at V (4) X is a subprocess of T (5) Y is a subprocess of T (6) U experiences T (7) the time of existence of X starts the time of existence of T (8) the time of existence of Y finishes the time of existence of T |
| (=> (and (instance ?PUT Putting) (destination ?PUT ?PLACE) (patient ?PUT ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?PUT)) (not (located ?OBJ ?PLACE))) (holdsDuring (EndFn (WhenFn ?PUT)) (located ?OBJ ?PLACE)))) |
Merge.kif 11681-11688 | If X is an instance of putting, X ends up at Y, and Z is a patient of X, then Z is not located at Y holds during the beginning of the time of existence of X and Z is located at Y holds during the end of the time of existence of X |
| (=> (and (instance ?INSERT Inserting) (patient ?INSERT ?OBJ1) (destination ?INSERT ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?INSERT)) (not (contains ?OBJ2 ?OBJ1))) (holdsDuring (EndFn (WhenFn ?INSERT)) (contains ?OBJ2 ?OBJ1)))) |
Merge.kif 11700-11707 | If X is an instance of inserting, Y is a patient of X, and X ends up at Z, then Z doesn't contain Y holds during the beginning of the time of existence of X and Z contains Y holds during the end of the time of existence of X |
| (=> (and (instance ?DROP Falling) (origin ?DROP ?START) (destination ?DROP ?FINISH)) (orientation ?FINISH ?START Below)) |
Merge.kif 11863-11868 | If X is an instance of falling, X originates at Y, and X ends up at Z, then Z is below to Y |
| (=> (and (instance ?CHANGE ChangeOfPossession) (origin ?CHANGE ?AGENT1) (destination ?CHANGE ?AGENT2) (instance ?AGENT1 AutonomousAgent) (instance ?AGENT2 AutonomousAgent) (patient ?CHANGE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ)))) |
Merge.kif 11932-11942 | If All of the following hold: (1) X is an instance of change of possession (2) X originates at Y (3) X ends up at Z (4) Y is an instance of agent (5) Z is an instance of agent (6) W is a patient of X, then Y possesses W holds during the beginning of the time of existence of X and Z possesses W holds during the end of the time of existence of X |
| (=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 AutonomousAgent) (patient ?GIVE ?OBJ)) (exists (?GET) (and (instance ?GET Getting) (agent ?GET ?AGENT2) (origin ?GET ?AGENT1) (patient ?GET ?OBJ)))) |
Merge.kif 11949-11961 | If X is an instance of giving, Y is an agent of X, X ends up at Z, Z is an instance of agent, and W is a patient of X, then there exists V such that V is an instance of getting, Z is an agent of V, V originates at Y, and W is a patient of V |
| (=> (and (instance ?LEND Lending) (agent ?LEND ?AGENT2) (destination ?LEND ?AGENT1) (patient ?LEND ?OBJECT)) (exists (?BORROW) (and (instance ?BORROW Borrowing) (agent ?BORROW ?AGENT1) (origin ?BORROW ?AGENT2) (patient ?BORROW ?OBJECT)))) |
Merge.kif 12020-12031 | If X is an instance of lending, Y is an agent of X, X ends up at Z, and W is a patient of X, then there exists V such that V is an instance of borrowing, Z is an agent of V, V originates at Y, and W is a patient of V |
| (=> (and (instance ?RETURN GivingBack) (agent ?RETURN ?AGENT) (destination ?RETURN ?DEST)) (exists (?GIVE) (and (instance ?GIVE Giving) (agent ?GIVE ?DEST) (destination ?GIVE ?AGENT) (earlier (WhenFn ?GIVE) (WhenFn ?RETURN))))) |
Merge.kif 12039-12049 | If X is an instance of giving back, Y is an agent of X, and X ends up at Z, then there exists W such that W is an instance of giving, Z is an agent of W, W ends up at Y, and the time of existence of W happens earlier than 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 ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?TO))) |
Merge.kif 16345-16351 | If X is an instance of vehicle, Y is an instance of translocation, X is an instrument for Y, and Y ends up at Z, then X is located at Z holds during the beginning of the time of existence of Y |
| (=> (and (instance ?THREATEN Threatening) (containsFormula ?THREATEN ?FORM) (destination ?THREATEN ?DEST)) (not (desires ?DEST ?FORM))) |
Mid-level-ontology.kif 849-855 | If X is an instance of threatening, X contains the formula Y, and X ends up at Z, then Z doesn't desire Y |
| (=> (and (instance ?P Punishing) (agent ?P ?A) (causes ?P ?P2) (destination ?P ?D)) (knows ?A (not (wants ?D ?P2)))) |
Mid-level-ontology.kif 862-870 | If X is an instance of punishing, Y is an agent of X, X causes Z, and X ends up at W, then Y knows W doesn't want Z |
| (=> (and (instance ?L LoadingWeapon) (destination ?L ?W)) (instance ?W ProjectileLauncher)) |
Mid-level-ontology.kif 1636-1640 | If X is an instance of loading weapon and X ends up at Y, then Y is an instance of projectile launcher |
| (=> (and (instance ?E RadioEmission) (destination ?E ?D)) (instance ?D ReceiverDevice)) |
Mid-level-ontology.kif 2354-2358 | If X is an instance of radio emission and X ends up at Y, then Y is an instance of receiver device |
| (=> (and (instance ?E Entering) (destination ?E ?F) (attribute ?F PhysicallyRestrictedRegion)) (modalAttribute (exists (?R) (and (entrance ?R ?F) (path ?E ?R))) Obligation)) |
Mid-level-ontology.kif 7967-7976 | If X is an instance of entering, X ends up at Y, and physically restricted region is an attribute of Y, then the statement there exists Z such that Z is the entrance for Y and Z is path along which X occurs has the modal force of obligation |
| (=> (and (instance ?E Entering) (destination ?E ?F) (attribute ?F PhysicallyRestrictedRegion) (not (entrance ?R ?F))) (modalAttribute (path ?E ?R) Prohibition)) |
Mid-level-ontology.kif 7978-7986 | If X is an instance of entering, X ends up at Y, physically restricted region is an attribute of Y, and Z is the entrance for Y, then the statement Z is path along which X occurs has the modal force of prohibition |
| (=> (and (instance ?F Scholarship) (destination ?F ?H)) (hasPurpose ?F (exists (?EP ?P) (and (instance ?EP EducationalProgram) (realization ?P ?EP) (experiencer ?P ?H))))) |
Mid-level-ontology.kif 8490-8499 | If X is an instance of scholarship and X ends up at Y, then X has the purpose there exist Z, W such that Z is an instance of educational program, W expresses the content of Z, and Y experiences W |
| (=> (and (instance ?F Feeding) (destination ?F ?A)) (instance ?A Animal)) |
Mid-level-ontology.kif 13043-13047 | If X is an instance of feeding and X ends up at Y, then Y is an instance of animal |
| (=> (and (instance ?THANK Thanking) (agent ?THANK ?AGENT) (patient ?THANK ?THING) (destination ?THANK ?PERSON)) (and (instance ?PERSON Human) (holdsDuring (WhenFn ?THANK) (wants ?AGENT ?THING)))) |
Mid-level-ontology.kif 14658-14668 | If X is an instance of thanking, Y is an agent of X, Z is a patient of X, and X ends up at W, then W is an instance of human and Y wants Z holds during the time of existence of X |
| (=> (and (instance ?T Thanking) (destination ?T ?P)) (instance ?P Human)) |
Mid-level-ontology.kif 14670-14674 | If X is an instance of thanking and X ends up at Y, then Y is an instance of human |
| (=> (and (instance ?S LegalSummons) (patient ?S ?O) (destination ?S ?P)) (exists (?C ?T) (and (instance ?C CourtRoom) (containsFormula ?S (modalAttribute (holdsDuring ?T (located ?O ?C)) Law))))) |
Mid-level-ontology.kif 17810-17822 | If X is an instance of legal summons, Y is a patient of X, and X ends up at Z, then there exist W, V such that W is an instance of court room, and X contains the formula the statement Y is located at W holds during V has the modal force of law |
| (=> (and (instance ?RETURN Returning) (experiencer ?RETURN ?AGENT) (destination ?RETURN ?DEST)) (exists (?TIME) (and (earlier ?TIME (WhenFn ?RETURN)) (holdsDuring ?TIME (located ?AGENT ?DEST))))) |
Mid-level-ontology.kif 18976-18984 | If X is an instance of returning, Y experiences X, and X ends up at Z, then there exists W such that W happens earlier than the time of existence of X and Y is located at Z holds during W |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (instance ?O Object) (capability Translocation destination ?O)) |
Merge.kif 850-852 | If X is an instance of object, then X is capable of doing translocation as a destination |
| (=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (expects ?ORG (exists (?FT) (and (instance ?FT FinancialTransaction) (agent ?FT ?ORG) (destination ?FT ?PERSON) (earlier (WhenFn ?JOIN) (WhenFn ?FT)))))) |
Merge.kif 10878-10890 | If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y expects there exists W such that W is an instance of financial transaction, Y is an agent of W, W ends up at Z, and the time of existence of X happens earlier than the time of existence of W will be true |
| (=> (and (instance ?T1 Translocation) (instance ?T2 Translocation) (origin ?T1 ?O1) (origin ?T2 ?D1) (destination ?T1 ?D1) (destination ?T2 ?D2) (experiencer ?T1 ?P) (experiencer ?T2 ?P)) (exists (?T) (and (instance ?T Translocation) (origin ?T ?O1) (destination ?T ?D2) (subProcess ?T1 ?T) (subProcess ?T2 ?T) (experiencer ?T ?P) (starts (WhenFn ?T1) (WhenFn ?T)) (finishes (WhenFn ?T2) (WhenFn ?T))))) |
Merge.kif 11586-11609 | If All of the following hold: (1) X is an instance of translocation (2) Y is an instance of translocation (3) X originates at Z (4) Y originates at W (5) X ends up at W (6) Y ends up at V (7) U experiences X (8) U experiences Y, then All of the following hold: (1) there exists T such that T is an instance of translocation (2) T originates at Z (3) T ends up at V (4) X is a subprocess of T (5) Y is a subprocess of T (6) U experiences T (7) the time of existence of X starts the time of existence of T (8) the time of existence of Y finishes the time of existence of T |
| (=> (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 11620-11633 | 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 |
| (=> (instance ?INJECT Injecting) (exists (?SUBSTANCE ?ANIMAL) (and (patient ?INJECT ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance) (attribute ?SUBSTANCE Liquid) (destination ?INJECT ?ANIMAL) (instance ?ANIMAL Animal)))) |
Merge.kif 11714-11722 | If X is an instance of injecting, then there exist Y, Z such that Y is a patient of X, Y is an instance of biologically active substance, liquid is an attribute of Y, X ends up at Z, and Z is an instance of animal |
| (=> (instance ?SUB Substituting) (exists (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE) (and (instance ?PUT Putting) (instance ?REMOVE Removing) (subProcess ?PUT ?SUB) (subProcess ?REMOVE ?SUB) (patient ?REMOVE ?OBJ1) (origin ?REMOVE ?PLACE) (patient ?PUT ?OBJ2) (destination ?PUT ?PLACE) (not (equal ?OBJ1 ?OBJ2))))) |
Merge.kif 11730-11742 | If X is an instance of substituting, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of putting (3) Z is an instance of removing (4) Y is a subprocess of X (5) Z is a subprocess of X (6) W is a patient of Z (7) Z originates at U (8) V is a patient of Y (9) Y ends up at U (10) equal W (11) V |
| (=> (instance ?T Translocation) (exists (?O ?D ?P) (and (instance ?O Object) (instance ?D Object) (instance ?P Object) (path ?T ?P) (origin ?T ?O) (destination ?T ?D)))) |
Merge.kif 11845-11854 | If X is an instance of translocation, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of object (3) Z is an instance of object (4) W is an instance of object (5) W is path along which X occurs (6) X originates at Y (7) X ends up at Z |
| (=> (and (instance ?BORROW Borrowing) (agent ?BORROW ?AGENT1) (origin ?BORROW ?AGENT2) (patient ?BORROW ?OBJECT)) (exists (?LEND) (and (instance ?LEND Lending) (agent ?LEND ?AGENT2) (destination ?LEND ?AGENT1) (patient ?LEND ?OBJECT)))) |
Merge.kif 12007-12018 | If X is an instance of borrowing, Y is an agent of X, X originates at Z, and W is a patient of X, then there exists V such that V is an instance of lending, Z is an agent of V, V ends up at Y, and W is a patient of V |
| (=> (and (instance ?RETURN GivingBack) (agent ?RETURN ?AGENT) (destination ?RETURN ?DEST)) (exists (?GIVE) (and (instance ?GIVE Giving) (agent ?GIVE ?DEST) (destination ?GIVE ?AGENT) (earlier (WhenFn ?GIVE) (WhenFn ?RETURN))))) |
Merge.kif 12039-12049 | If X is an instance of giving back, Y is an agent of X, and X ends up at Z, then there exists W such that W is an instance of giving, Z is an agent of W, W ends up at Y, and the time of existence of W happens earlier than the time of existence of X |
| (=> (and (instance ?GET Getting) (agent ?GET ?AGENT)) (destination ?GET ?AGENT)) |
Merge.kif 12057-12061 | If X is an instance of getting and Y is an agent of X, then X ends up at Y |
| (=> (instance ?TRANS Transaction) (exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2) (and (instance ?GIVE1 Giving) (instance ?GIVE2 Giving) (subProcess ?GIVE1 ?TRANS) (subProcess ?GIVE2 ?TRANS) (agent ?GIVE1 ?AGENT1) (agent ?GIVE2 ?AGENT2) (patient ?GIVE1 ?OBJ1) (patient ?GIVE2 ?OBJ2) (destination ?GIVE1 ?AGENT2) (destination ?GIVE2 ?AGENT1) (not (equal ?AGENT1 ?AGENT2)) (not (equal ?OBJ1 ?OBJ2))))) |
Merge.kif 12091-12108 | If X is an instance of transaction, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that W is an instance of giving (3) V is an instance of giving (4) W is a subprocess of X (5) V is a subprocess of X (6) Y is an agent of W (7) Z is an agent of V (8) U is a patient of W (9) T is a patient of V (10) W ends up at Z (11) V ends up at Y (12) equal Y (13) Z (14) equal U (15) T |
| (=> (and (instance ?BUY Buying) (agent ?BUY ?AGENT)) (destination ?BUY ?AGENT)) |
Merge.kif 12171-12175 | If X is an instance of buying and Y is an agent of X, then X ends up at Y |
| (=> (and (instance ?BUY Buying) (agent ?BUY ?AGENT1) (origin ?BUY ?AGENT2) (patient ?BUY ?OBJECT)) (exists (?SELL) (and (instance ?SELL Selling) (agent ?SELL ?AGENT2) (destination ?SELL ?AGENT1) (patient ?SELL ?OBJECT)))) |
Merge.kif 12181-12192 | If X is an instance of buying, Y is an agent of X, X originates at Z, and W is a patient of X, then there exists V such that V is an instance of selling, Z is an agent of V, V ends up at Y, and W is a patient of V |
| (=> (instance ?COMMUNICATE Communication) (exists (?PHYS ?ENTITY ?AGENT1 ?AGENT2) (and (refers ?PHYS ?ENTITY) (patient ?COMMUNICATE ?PHYS) (instance ?AGENT1 CognitiveAgent) (agent ?COMMUNICATE ?AGENT1) (instance ?AGENT2 CognitiveAgent) (destination ?COMMUNICATE ?AGENT2)))) |
Merge.kif 13343-13352 | If X is an instance of communication, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y includes a reference to Z (3) Y is a patient of X (4) W is an instance of cognitive agent (5) W is an agent of X (6) V is an instance of cognitive agent (7) X ends up at V |
| (=> (instance ?DISSEMINATE Disseminating) (exists (?AGENT1 ?AGENT2) (and (destination ?DISSEMINATE ?AGENT1) (instance ?AGENT1 CognitiveAgent) (destination ?DISSEMINATE ?AGENT2) (instance ?AGENT2 CognitiveAgent) (not (equal ?AGENT1 ?AGENT2))))) |
Merge.kif 13360-13368 | If X is an instance of disseminating, then All of the following hold: (1) there exist Y (2) Z such that X ends up at Y (3) Y is an instance of cognitive agent (4) X ends up at Z (5) Z is an instance of cognitive agent (6) equal Y (7) Z |
| (=> (and (instance ?SOUND RadiatingSound) (agent ?SOUND ?OBJ) (attribute ?SOUND Audible)) (exists (?HUMAN ?HEAR) (and (instance ?HUMAN Human) (capability (KappaFn ?HEAR (and (instance ?HEAR Hearing) (agent ?HEAR ?HUMAN) (destination ?HEAR ?HUMAN) (origin ?HEAR ?OBJ))) agent ?HUMAN)))) |
Merge.kif 13920-13934 | If X is an instance of radiating sound, Y is an agent of X, and audible is an attribute of X, then there exist Z, W such that Z is an instance of human, and Z is capable of doing the class described by W as a agent |
| (=> (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 1363-1378 | 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 ?S Gunstock) (hasPurpose ?S (exists (?G ?GRAB) (and (instance ?G Longgun) (part ?S ?G) (instance ?GRAB Grabbing) (patient ?GRAB ?S) (destination ?GRAB ?G))))) |
Mid-level-ontology.kif 1439-1448 | If X is an instance of gun stock, then X has the purpose there exist Y, Z such that Y is an instance of long gun, X is a part of Y, Z is an instance of grabbing, X is a patient of Z, and Z ends up at Y |
| (=> (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 2506-2519 | 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 ?X Toilet) (hasPurpose ?X (exists (?PROC) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (destination ?PROC ?X))))) |
Mid-level-ontology.kif 2780-2788 | If X is an instance of toilet, then X has the purpose there exists Y such that Y is an instance of defecation or Y is an instance of urination and Y ends up at X |
| (=> (instance ?DA DisplayArtifact) (hasPurpose ?DA (exists (?P ?D ?I) (and (instance ?P Putting) (instance ?D Disseminating) (instance ?I ContentBearingObject) (patient ?P ?I) (patient ?D ?I) (destination ?P ?DA))))) |
Mid-level-ontology.kif 3940-3950 | If X is an instance of display artifact, 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 disseminating (4) W is an instance of content bearing object (5) W is a patient of Y (6) W is a patient of Z (7) Y ends up at X |
| (=> (instance ?X MurphyBed) (exists (?STORAGE) (and (instance ?STORAGE Compartment) (meetsSpatially ?STORAGE ?X) (hasPurpose ?STORAGE (exists (?K) (and (instance ?K Keeping) (patient ?K ?X) (destination ?K ?STORAGE) (holdsDuring (WhenFn ?K) (attribute ?X Vertical)))))))) |
Mid-level-ontology.kif 4511-4525 | If X is an instance of pull-down bed, then there exists Y such that Y is an instance of compartment, Y meets X, Y has the purpose there exists Z such that Z is an instance of keeping, X is a patient of Z, Z ends up at Y, and vertical to is an attribute of X holds during the time of existence of Z |
| (=> (instance ?X SofaBed) (exists (?SOFA ?STORAGE) (and (instance ?STORAGE Compartment) (part ?STORAGE ?SOFA) (instance ?SOFA Sofa) (hasPurpose ?STORAGE (exists (?K) (and (instance ?K Keeping) (patient ?K ?X) (destination ?K ?STORAGE))))))) |
Mid-level-ontology.kif 4544-4556 | If X is an instance of sofa bed, then All of the following hold: (1) there exist Y (2) Z such that Z is an instance of compartment (3) Z is a part of Y (4) Y is an instance of sofa (5) Z has the purpose there exists W such that W is an instance of keeping (6) X is a patient of W (7) W ends up at Z |
| (=> (instance ?B Mailbox) (hasPurpose ?B (exists (?M ?I) (and (instance ?M Mailing) (patient ?M ?I) (destination ?M ?B))))) |
Mid-level-ontology.kif 4798-4805 | If X is an instance of mailbox, then X has the purpose there exist Y, Z such that Y is an instance of mailing, Z is a patient of Y, and Y ends up at X |
| (=> (instance ?S Sandal) (exists (?H1 ?H2) (and (instance ?H1 HoleRegion) (hole ?H1 ?S) (instance ?H2 HoleRegion) (hole ?H2 ?S) (not (equal ?H1 ?H2)) (hasPurpose ?H1 (exists (?D ?F ?A ?I) (and (instance ?D Dressing) (instance ?F Foot) (agent ?D ?A) (part ?F ?A) (subProcess ?I ?D) (instance ?I Inserting) (patient ?I ?F) (destination ?I ?H1))))))) |
Mid-level-ontology.kif 6269-6289 | If X is an instance of sandal, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of hole (3) Y is a hole in X (4) Z is an instance of hole (5) Z is a hole in X (6) equal Y (7) Z (8) Y has the purpose there exist W, V,, , U (9) T such that W is an instance of dressing (10) V is an instance of foot (11) U is an agent of W (12) V is a part of U (13) T is a subprocess of W (14) T is an instance of inserting (15) V is a patient of T (16) T ends up at 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-59f850aa (2026-04-26) is open source software produced by Articulate Software and its partners