| appearance as argument number 1 |
|
| (instance origin CaseRole) | Merge.kif 2515-2515 | origin is an instance of case role |
| (instance origin PartialValuedRelation) | Merge.kif 2516-2516 | origin is an instance of partial valued relation |
| (domain origin 1 Process) | Merge.kif 2517-2517 | The number 1 argument of origin is an instance of process |
| (domain origin 2 Object) | Merge.kif 2518-2518 | The number 2 argument of origin is an instance of object |
| (subrelation origin involvedInEvent) | Merge.kif 2519-2519 | origin is a subrelation of involved in event |
| (documentation origin EnglishLanguage "(origin ?PROCESS ?SOURCE) means that ?SOURCE indicates where the ?Process began. Note that this relation implies that ?SOURCE is present at the beginning of the process, but need not participate throughout the process. For example, the submarine is the origin in the following proposition: the missile was launched from a submarine.") | Merge.kif 2521-2526 | origin is a subrelation of involved in event |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage origin "origin") | domainEnglishFormat.kif 42581-42581 | |
| (termFormat ChineseTraditionalLanguage origin "起源") | domainEnglishFormat.kif 42582-42582 | |
| (termFormat ChineseLanguage origin "起源") | domainEnglishFormat.kif 42583-42583 | |
| (format EnglishLanguage origin "%1 %n{doesn't} originate%p{s} at %2") | english_format.kif 160-160 |
| antecedent |
|
|
| (=> (origin ?PROCESS ?LOC) (eventPartlyLocated ?PROCESS ?LOC)) |
Merge.kif 4152-4154 | If X originates at Y, then X is partly located at Y |
| (=> (origin ?PROCESS ?OBJ) (eventLocated (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ))))) |
Merge.kif 8093-8101 | If X originates at Y, then the place where X was at the beginning of the time of existence of X is located at the place where Y was at the beginning of the time of existence of Y |
| (=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (origin ?MOTION ?PLACE)) (holdsDuring (BeginFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE))) |
Merge.kif 11194-11199 | If X is an instance of motion, Y moves during X, and X originates at Z, then Y is located at Z holds during the beginning 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 11240-11250 | 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 11475-11498 | 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 ?REMOVE Removing) (origin ?REMOVE ?PLACE) (patient ?REMOVE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE)) (holdsDuring (EndFn (WhenFn ?REMOVE)) (not (located ?OBJ ?PLACE))))) |
Merge.kif 11554-11561 | If X is an instance of removing, X originates at Y, and Z is a patient of X, then Z is located at Y holds during the beginning of the time of existence of X and Z is not located at Y holds during the end of the time of existence of X |
| (=> (and (instance ?MOVEMENT Translocation) (origin ?MOVEMENT ?PLACE1)) (exists (?PLACE2 ?STAGE) (and (instance ?PLACE2 Region) (not (equal ?PLACE1 ?PLACE2)) (subProcess ?STAGE ?MOVEMENT) (located ?STAGE ?PLACE2)))) |
Merge.kif 11728-11737 | If X is an instance of translocation and X originates at Y, then there exist Z, W such that Z is an instance of region, equal Y, Z, W is a subprocess of X, and W is located at Z |
| (=> (and (instance ?DROP Falling) (origin ?DROP ?START) (destination ?DROP ?FINISH)) (orientation ?FINISH ?START Below)) |
Merge.kif 11757-11762 | 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 11826-11836 | 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 ?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 11901-11912 | 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 ?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 12075-12086 | 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 |
| (=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (origin ?MOVE ?FROM)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?FROM))) |
Merge.kif 16182-16188 | If X is an instance of vehicle, Y is an instance of translocation, X is an instrument for Y, and Y originates at Z, then X is located at Z holds during the beginning of the time of existence of Y |
| (=> (and (instance ?FL FlashingLight) (origin ?FL ?L)) (exists (?I1 ?T2 ?I3) (and (instance ?I1 RadiatingLight) (instance ?T2 TimeInterval) (instance ?I3 RadiatingLight) (meetsTemporally (WhenFn ?I1) ?T2) (meetsTemporally ?T2 (WhenFn ?I3)) (not (exists (?I2) (and (instance ?I2 RadiatingLight) (origin ?I2 ?L) (during (WhenFn ?I2) ?T2)))) (subProcess ?I1 ?FL) (subProcess ?I3 ?FL)))) |
Mid-level-ontology.kif 639-657 | If X is an instance of flashing light and X originates at Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of radiating light (3) W is an instance of timeframe (4) V is an instance of radiating light (5) the time of existence of Z meets W (6) W meets the time of existence of V (7) there doesn't exist U such that U is an instance of radiating light (8) U originates at Y (9) the time of existence of U takes place during W (10) Z is a subprocess of X (11) V is a subprocess of X |
| (=> (and (instance ?E Exiting) (origin ?E ?F) (attribute ?F PhysicallyRestrictedRegion)) (modalAttribute (exists (?R) (and (entrance ?R ?F) (path ?E ?R))) Obligation)) |
Mid-level-ontology.kif 7889-7898 | If X is an instance of exiting, X originates 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 Exiting) (origin ?E ?F) (attribute ?F PhysicallyRestrictedRegion) (not (entrance ?R ?F))) (modalAttribute (path ?E ?R) Prohibition)) |
Mid-level-ontology.kif 7900-7908 | If X is an instance of exiting, X originates 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 ?P Pushing) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (exists (?LARGER ?U ?SMALLER) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?SMALLER))))) |
Mid-level-ontology.kif 19507-19525 | If X is an instance of pushing, X originates at Y, Z is an agent of X, Z is located at W holds during the beginning of X, and X ends up at V, then there exist U, T and S such that the distance between W and V is S T(s) and the distance between W and Y is U T(s) and U is greater than S holds during immediately after the beginning of X |
| (=> (and (instance ?P Pulling) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (exists (?LARGER ?U ?SMALLER) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?SMALLER))))) |
Mid-level-ontology.kif 19529-19547 | If X is an instance of pulling, X originates at Y, Z is an agent of X, Z is located at W holds during the beginning of X, and X ends up at V, then there exist U, T and S such that the distance between W and V is S T(s) and the distance between W and Y is U T(s) and U is greater than S holds during immediately after the beginning of X |
| (=> (and (instance ?STEAL Stealing) (destination ?STEAL ?AGENT) (origin ?STEAL ?VICTIM) (instance ?VICTIM CognitiveAgent)) (not (confersRight ?VICTIM ?AGENT (destination ?STEAL ?AGENT)))) |
Mid-level-ontology.kif 20517-20525 | If X is an instance of stealing, X ends up at Y, X originates at Z, and Z is an instance of cognitive agent, then Y doesn't allow X doesn't end up at Y to perform task of the type Z |
| (=> (and (instance ?INHERIT Inheriting) (agent ?INHERIT ?HEIR) (instance ?HEIR Human) (origin ?INHERIT ?PERSON) (instance ?PERSON Human) (patient ?INHERIT ?PROPERTY) (instance ?PROPERTY Object)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (earlier (WhenFn ?DEATH) (WhenFn ?INHERIT)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (possesses ?PERSON ?PROPERTY)) (confersRight ?PERSON ?HEIR (possesses ?HEIR ?PROPERTY))))) |
Mid-level-ontology.kif 20552-20573 | If All of the following hold: (1) X is an instance of inheriting (2) Y is an agent of X (3) Y is an instance of human (4) X originates at Z (5) Z is an instance of human (6) W is a patient of X (7) W is an instance of object, then there exists V such that V is an instance of death, Z experiences V, the time of existence of V happens earlier than the time of existence of X, Z possesses W holds during immediately before the time of existence of V, and Y allows Y possesses W to perform task of the type Z |
| (=> (and (instance ?S SeizingProperty) (destination ?S ?A) (origin ?S ?V) (instance ?V CognitiveAgent)) (and (instance ?A Government) (not (confersNorm ?V Permission (destination ?S ?A))))) |
Mid-level-ontology.kif 20635-20646 | If X is an instance of seizing property, X ends up at Y, X originates at Z, and Z is an instance of cognitive agent, then Y is an instance of government and Z doesn't confers norm permission for X doesn't end up at Y |
| (=> (and (instance ?B Birth) (origin ?B ?F)) (exists (?Z ?T) (and (instance ?Z Zygote) (earlier ?T (WhenFn ?B)) (holdsDuring ?T (located ?Z ?F))))) |
Mid-level-ontology.kif 26402-26411 | If X is an instance of birth and X originates at Y, then there exist Z, W such that Z is an instance of zygote, W happens earlier than the time of existence of X, and Z is located at Y holds during W |
| (=> (and (betweenOnPath ?O1 ?O2 ?O3 ?PATH) (instance ?T Transfer) (path ?T ?PATH) (origin ?T ?O1) (destination ?T ?O3)) (and (beforeOnPath ?O1 ?O2 ?PATH ?T) (beforeOnPath ?O2 ?O3 ?PATH ?T))) |
Mid-level-ontology.kif 32441-32450 | If X is between Y and Z on path W, V is an instance of transfer, W is path along which V occurs, V originates at Y, and V ends up at Z, then Y before X on path W during V and X before Z on path W during 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 (instance ?B Buying) (patient ?B ?ITEM) (origin ?B ?AGENT) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validPaymentType ?PS ?PAY)) (modalAttribute (exists (?PAYMENT) (and (instance ?PAYMENT ?PAY) (subProcess ?PAYMENT ?B))) Likely)) |
Catalog.kif 337-352 | If All of the following hold: (1) X is an instance of buying (2) Y is a patient of X (3) X originates at Z (4) the price of W from Z according to V is U or the unit price charged Z under V for T is W (5) W is a subclass of physical (6) Y is an immediate instance of W (7) S is a valid payment under V, then the statement there exists R such that R is an instance of S and R is a subprocess of X has the modal force of likely |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (instance ?O Object) (capability Translocation origin ?O)) |
Merge.kif 847-849 | If X is an instance of object, then X is capable of doing translocation as a origin |
| (=> (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 11475-11498 | 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 ?P) (located ?OBJ ?O)) (holdsDuring (ImmediateFutureFn ?P) (located ?OBJ ?D))))) |
Merge.kif 11509-11520 | 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 X, and Y is located at W holds during immediately after X |
| (=> (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 11624-11636 | 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 11739-11748 | 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 ?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 11843-11855 | 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 ?GIVE Giving) (agent ?GIVE ?AGENT)) (origin ?GIVE ?AGENT)) |
Merge.kif 11857-11861 | If X is an instance of giving and Y is an agent of X, then X originates at Y |
| (=> (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 11914-11925 | 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 ?SELL Selling) (agent ?SELL ?AGENT)) (origin ?SELL ?AGENT)) |
Merge.kif 12103-12107 | If X is an instance of selling and Y is an agent of X, then X originates at Y |
| (=> (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 13786-13800 | 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 ?FL FlashingLight) (origin ?FL ?L)) (exists (?I1 ?T2 ?I3) (and (instance ?I1 RadiatingLight) (instance ?T2 TimeInterval) (instance ?I3 RadiatingLight) (meetsTemporally (WhenFn ?I1) ?T2) (meetsTemporally ?T2 (WhenFn ?I3)) (not (exists (?I2) (and (instance ?I2 RadiatingLight) (origin ?I2 ?L) (during (WhenFn ?I2) ?T2)))) (subProcess ?I1 ?FL) (subProcess ?I3 ?FL)))) |
Mid-level-ontology.kif 639-657 | If X is an instance of flashing light and X originates at Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of radiating light (3) W is an instance of timeframe (4) V is an instance of radiating light (5) the time of existence of Z meets W (6) W meets the time of existence of V (7) there doesn't exist U such that U is an instance of radiating light (8) U originates at Y (9) the time of existence of U takes place during W (10) Z is a subprocess of X (11) V is a subprocess 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 1365-1384 | 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 ?V Vending) (exists (?VM) (and (instance ?VM VendingMachine) (origin ?V ?VM)))) |
Mid-level-ontology.kif 2428-2433 | If X is an instance of vending, then there exists Y such that Y is an instance of vending machine and X originates 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 2440-2453 | 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 ?SHOWER Shower) (hasPurpose ?SHOWER (exists (?SPRAY) (and (instance ?SPRAY WaterMotion) (origin ?SPRAY ?SHOWER))))) |
Mid-level-ontology.kif 2510-2516 | If X is an instance of shower, then X has the purpose there exists Y such that Y is an instance of water motion and Y originates at X |
| (=> (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 2643-2656 | 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 ?FILTER Filter) (hasPurpose ?FILTER (exists (?REMOVE ?M) (and (instance ?REMOVE Removing) (origin ?REMOVE ?M) (instance ?M Mixture) (instrument ?REMOVE ?FILTER))))) |
Mid-level-ontology.kif 3004-3012 | If X is an instance of filter, then X has the purpose there exist Y, Z such that Y is an instance of removing, Y originates at Z, Z is an instance of mixture, and X is an instrument for Y |
| (=> (instance ?PS PowerSource) (exists (?RE) (and (instance ?RE RadiatingElectromagnetic) (origin ?RE ?PS)))) |
Mid-level-ontology.kif 3047-3052 | If X is an instance of power source, then there exists Y such that Y is an instance of radiating electromagnetic and Y originates at X |
| (=> (and (instance ?SPIT Spitting) (agent ?SPIT ?ANIMAL)) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?MOUTH ?ANIMAL) (origin ?SPIT ?MOUTH)))) |
Mid-level-ontology.kif 7508-7516 | If X is an instance of spitting and Y is an agent of X, then there exists Z such that Z is an instance of mouth, Z is a part of Y, and X originates at Z |
| (=> (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 7522-7532 | 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 7550-7562 | 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 ?MINE Mine) (hasPurpose ?MINE (exists (?REMOVE ?MINERAL) (and (instance ?REMOVE Removing) (patient ?REMOVE ?MINERAL) (instance ?MINERAL Mineral) (origin ?REMOVE ?MINE))))) |
Mid-level-ontology.kif 7701-7709 | If X is an instance of mine, then X has the purpose there exist Y, Z such that Y is an instance of removing, Z is a patient of Y, Z is an instance of mineral, and Y originates at X |
| (=> (holdsDuring ?T (fears ?A (exists (?P) (instance ?P Physical)))) (believes ?A (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (exists (?D) (and (instance ?D Damaging) (patient ?D ?A) (or (origin ?D ?P) (causes ?P ?D))))) Likely))) |
Mid-level-ontology.kif 8579-8594 | If X fears there exists Y such that Y is an instance of physical holds during Z, then X believes the statement there exists W such that W is an instance of damaging, X is a patient of W, and W originates at Y or Y causes W holds during immediately after Z has the modal force of likely |
| (=> (instance ?DETERGENT Detergent) (hasPurpose ?DETERGENT (exists (?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT) (and (instance ?REMOVE Removing) (instance ?SUBSTANCE Substance) (patient ?REMOVE ?SUBSTANCE) (origin ?REMOVE ?SURFACE) (surface ?SURFACE ?OBJECT))))) |
Mid-level-ontology.kif 10095-10104 | If X is an instance of detergent, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of removing, Z is an instance of substance, Z is a patient of Y, Y originates at W, and W is a surface of V |
| (=> (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 10876-10888 | 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 |
| 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