| appearance as argument number 1 |
|
| (instance path CaseRole) | Merge.kif 11228-11228 | path is an instance of case role |
| (instance path TotalValuedRelation) | Merge.kif 11229-11229 | path is an instance of total valued relation |
| (subrelation path eventPartlyLocated) | Merge.kif 11232-11232 | path is a subrelation of event partly located |
| (domain path 1 Motion) | Merge.kif 11233-11233 | The number 1 argument of path is an instance of motion |
| (domain path 2 Object) | Merge.kif 11234-11234 | The number 2 argument of path is an instance of object |
| (documentation path EnglishLanguage "(path ?MOTION ?PATH) means that ?PATH is a route along which ?MOTION occurs. For example, Highway 101 is the path in the following proposition: the car drove up Highway 101.") | Merge.kif 11236-11238 | The number 2 argument of path is an instance of object |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage path "path") | domainEnglishFormat.kif 44759-44759 | |
| (termFormat ChineseTraditionalLanguage path "路徑") | domainEnglishFormat.kif 44760-44760 | |
| (termFormat ChineseLanguage path "路径") | domainEnglishFormat.kif 44761-44761 | |
| (format EnglishLanguage path "%2 is %n path along which %1 occurs") | english_format.kif 580-580 |
| antecedent |
|
|
| (=> (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 ?T LandTransportation) (path ?T ?P)) (instance ?P LandTransitway)) |
Mid-level-ontology.kif 19675-19679 | If X is an instance of land transportation and Y is path along which X occurs, then Y is an instance of land transitway |
| (=> (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 ?O Odometer) (instance ?V Vehicle) (part ?O ?V) (instance ?T Translocation) (instrument ?T ?V) (path ?T ?P) (distanceOnPath (MeasureFn ?D ?U) ?P) (instance ?U LengthMeasure)) (hasPurpose ?O (exists (?M ?L ?DIST ?U) (and (instance ?M Measuring) (instrument ?M ?O) (measurementReading ?O ?DIST) (inList ?D ?L) (holdsDuring (WhenFn (EndFn ?M)) (and (equal ?DIST (MeasureFn (ListSumFn ?L) ?U)) (not (attribute ?O ResetMeasuringDevice)))))))) |
Cars.kif 2987-3013 | If All of the following hold: (1) X is an instance of odometer (2) Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) W is path along which Z occurs (7) the distance of W is V U(s) (8) U is an instance of length measure, then X has the purpose there exist T, S,, , R and U such that T is an instance of measuring and X is an instrument for T and R is a measurement reading of X and V is a member of S and equal R and the sum of S U(s) and reset measuring device is not an attribute of X holds during the time of existence of the end of T |
| (=> (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 3971-3981 | 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 3983-3999 | 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 ?T Tailpipe) (instance ?TR Transfer) (instance ?E Exhaust) (instance ?A Automobile) (instance ?AES AutomobileExhaustSystem) (part ?T ?A) (path ?TR ?T) (patient ?TR ?E)) (hasPurpose ?T (not (exists (?O) (and (part ?O ?A) (beforeOnPath ?T ?O ?AES ?TR)))))) |
Cars.kif 4124-4139 | If All of the following hold: (1) X is an instance of tailpipe (2) Y is an instance of transfer (3) Z is an instance of exhaust (4) W is an instance of automobile (5) V is an instance of exhaust system (6) X is a part of W (7) X is path along which Y occurs (8) Z is a patient of Y, then X has the purpose there doesn't exist U such that U is a part of W and X before U on path V during Y |
| (=> (and (instance ?CONN WirelessNetwork) (instance ?COM NetworkCommunication) (instrument ?COM ?CONN) (path ?COM ?PATH)) (exists (?PART) (and (part ?PART ?PATH) (not (instance ?PART Cable))))) |
ComputingBrands.kif 1422-1432 | If X is an instance of wireless network, Y is an instance of network communication, X is an instrument for Y, and Z is path along which Y occurs, then there exists W such that W is a part of Z and W is not an instance of cable |
| (=> (and (instance ?CPR CPR) (instance ?C Compressing) (path ?C ?P) (subProcess ?C ?CPR) (length ?P (MeasureFn ?L Centimeter))) (and (greaterThan ?L 5.0) (lessThan ?L 6.0))) |
Medicine.kif 597-607 | If X is an instance of cardio pulmonary resuscitation, Y is an instance of compressing, Z is path along which Y occurs, Y is a subprocess of X, and the length of Z is W centimeter(s), then W is greater than 5.0 and W is less than 6.0 |
| (=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 26.2)) |
Sports.kif 293-300 | If X is an instance of marathon, Y is an agent of X, Z is path along which X occurs, and the distance of Z is W mile(s), then equal W and 26.2 |
| (=> (and (instance ?M HalfMarathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 13.1)) |
Sports.kif 307-314 | If X is an instance of half_marathon, Y is an agent of X, Z is path along which X occurs, and the distance of Z is W mile(s), then equal W and 13.1 |
| (=> (and (instance ?T AirTransportation) (path ?T ?P)) (instance ?P AirTransitway)) |
Transportation.kif 1259-1263 | If X is an instance of air transportation and Y is path along which X occurs, then Y is an instance of air transitway |
| (=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RoadVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 RoadVehicle)) |
Transportation.kif 4015-4026 | If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of road vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of road vehicle |
| (=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RailVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 RailVehicle)) |
Transportation.kif 4028-4039 | If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of rail vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of rail vehicle |
| (=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 WaterVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 WaterVehicle)) |
Transportation.kif 4041-4052 | If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of water vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of water vehicle |
| (=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 Aircraft) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 Aircraft)) |
Transportation.kif 4054-4065 | If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of aircraft (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of aircraft |
| (=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RoadVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 WaterVehicle) (instance ?V2 Aircraft))) |
Transportation.kif 4072-4086 | If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of road vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of water vehicle (3) U is an instance of aircraft |
| (=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RailVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RoadVehicle) (instance ?V2 WaterVehicle) (instance ?V2 Aircraft))) |
Transportation.kif 4088-4102 | If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of rail vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of road vehicle (2) U is an instance of water vehicle (3) U is an instance of aircraft |
| (=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 WaterVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 RoadVehicle) (instance ?V2 Aircraft))) |
Transportation.kif 4104-4118 | If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of water vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of road vehicle (3) U is an instance of aircraft |
| (=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 Aircraft) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 WaterVehicle) (instance ?V2 RoadVehicle))) |
Transportation.kif 4120-4134 | If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of aircraft (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of water vehicle (3) U is an instance of road vehicle |
| (=> (and (instance ?T Transportation) (instance ?P1 Transitway) (path ?T ?P1) (conveyance ?T ?V) (instance ?J TransitwayJunction) (part ?J ?P1)) (exists (?P2 ?M) (and (instance ?P2 Transitway) (not (equal ?P1 ?P2)) (connects ?J ?P1 ?P2) (capability Transfer path ?J) (instance ?M Transfer) (conveyance ?M ?V) (meetsTemporally (WhenFn ?T) (WhenFn ?M)) (modalAttribute (path ?M ?P2) Possibility)))) |
Transportation.kif 4323-4343 | If All of the following hold: (1) X is an instance of transportation (2) Y is an instance of transitway (3) Y is path along which X occurs (4) Z is a conveyance during X (5) W is an instance of transitway junction (6) W is a part of Y, then All of the following hold: (1) there exist V (2) U such that V is an instance of transitway (3) equal Y (4) V (5) W connects Y (6) V (7) W is capable of doing transfer as a path (8) U is an instance of transfer (9) Z is a conveyance during U (10) the time of existence of X meets the time of existence of U (11) the statement V is path along which U occurs has the modal force of possibility |
| (=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT LandTransitway) (instance ?C Collection) (memberType ?C LandVehicle) (memberCount ?C ?I2) (member ?V ?C) (instance ?T Transportation) (instrument ?T ?V) (during (WhenFn ?T) ?TI) (path ?T ?LT)) (greaterThanOrEqualTo ?I ?I2)) |
Transportation.kif 4420-4432 | If All of the following hold: (1) X can handle Y number of vehicles during Z (2) X is an instance of land transitway (3) W is an instance of collection (4) land vehicle is a member type of W (5) V is a member count of W (6) U is a member of W (7) T is an instance of transportation (8) U is an instrument for T (9) the time of existence of T takes place during Z (10) X is path along which T occurs, then Y is greater than or equal to V |
| (=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT Waterway) (instance ?C Collection) (memberType ?C WaterVehicle) (memberCount ?C ?I2) (member ?V ?C) (instance ?T Transportation) (instrument ?T ?V) (during (WhenFn ?T) ?TI) (path ?T ?LT)) (greaterThanOrEqualTo ?I ?I2)) |
Transportation.kif 4434-4446 | If All of the following hold: (1) X can handle Y number of vehicles during Z (2) X is an instance of waterway (3) W is an instance of collection (4) water vehicle is a member type of W (5) V is a member count of W (6) U is a member of W (7) T is an instance of transportation (8) U is an instrument for T (9) the time of existence of T takes place during Z (10) X is path along which T occurs, then Y is greater than or equal to V |
| (=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT AirTransitway) (instance ?C Collection) (memberType ?C Aircraft) (memberCount ?C ?I2) (member ?V ?C) (instance ?T Transportation) (instrument ?T ?V) (during (WhenFn ?T) ?TI) (path ?T ?LT)) (greaterThanOrEqualTo ?I ?I2)) |
Transportation.kif 4448-4460 | If All of the following hold: (1) X can handle Y number of vehicles during Z (2) X is an instance of air transitway (3) W is an instance of collection (4) aircraft is a member type of W (5) V is a member count of W (6) U is a member of W (7) T is an instance of transportation (8) U is an instrument for T (9) the time of existence of T takes place during Z (10) X is path along which T occurs, then Y is greater than or equal to V |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (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 |
| (=> (instance ?WAY Transitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Translocation) (path ?TRANSPORT ?WAY))))) |
Merge.kif 14451-14457 | If X is an instance of transitway, then X has the purpose there exists Y such that Y is an instance of translocation and X is path along which Y occurs |
| (=> (instance ?WAY LandTransitway) (hasPurpose ?WAY (exists (?MOVE ?LAND) (and (instance ?MOVE Translocation) (path ?MOVE ?WAY) (eventLocated ?MOVE ?LAND) (instance ?LAND LandArea))))) |
Merge.kif 14464-14472 | If X is an instance of land transitway, then X has the purpose there exist Y, Z such that Y is an instance of translocation, X is path along which Y occurs, Y is located at Z, and Z is an instance of land area |
| (=> (and (instance ?G Gun) (instance ?B GunBarrel) (part ?B ?G) (instance ?S Shooting) (instrument ?S ?G) (patient ?S ?P) (instance ?P Projectile)) (exists (?SUB) (and (subProcess ?SUB ?S) (path ?SUB ?B)))) |
Mid-level-ontology.kif 1304-1316 | If All of the following hold: (1) X is an instance of gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) Z is an instance of shooting (5) X is an instrument for Z (6) W is a patient of Z (7) W is an instance of projectile, then there exists V such that V is a subprocess of Z and Y is path along which V occurs |
| (=> (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 ?T Tube) (hasPurpose ?T (exists (?P ?OBJ) (and (instance ?P Transfer) (path ?P ?T) (patient ?P ?OBJ) (attribute ?OBJ Fluid))))) |
Mid-level-ontology.kif 1762-1770 | If X is an instance of tube, then X has the purpose there exist Y, Z such that Y is an instance of transfer, X is path along which Y occurs, Z is a patient of Y, and fluid is an attribute of Z |
| (=> (instance ?R Ramp) (capability MotionUpward path ?R)) |
Mid-level-ontology.kif 2847-2849 | If X is an instance of ramp, then X is capable of doing motion upward as a path |
| (=> (instance ?R Ramp) (capability MotionDownward path ?R)) |
Mid-level-ontology.kif 2851-2853 | If X is an instance of ramp, then X is capable of doing motion downward as a path |
| (=> (instance ?WL WireLine) (hasPurpose ?WL (exists (?R) (and (instance ?R Radiating) (path ?R ?WL))))) |
Mid-level-ontology.kif 4085-4091 | If X is an instance of wire line, then X has the purpose there exists Y such that Y is an instance of radiating and X is path along which Y occurs |
| (=> (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 |
| (=> (and (instance ?F Facility) (attribute ?F PhysicallyRestrictedRegion) (entrance ?R ?F)) (hasPurpose ?R (exists (?E) (and (or (instance ?E Entering) (instance ?E Exiting)) (path ?E ?R))))) |
Mid-level-ontology.kif 7833-7844 | If X is an instance of Facility, physically restricted region is an attribute of X, and Y is the entrance for X, then Y has the purpose there exists Z such that Z is an instance of entering or Z is an instance of exiting and Y is path along which Z occurs |
| (=> (and (instance ?F Facility) (attribute ?F PhysicallyRestrictedRegion)) (modalAttribute (exists (?E ?R) (and (or (instance ?E Entering) (instance ?E Exiting)) (path ?E ?R) (not (entrance ?R ?F)))) Unlikely)) |
Mid-level-ontology.kif 7846-7858 | If X is an instance of Facility and physically restricted region is an attribute of X, then the statement there exist Y, Z such that Y is an instance of entering or Y is an instance of exiting, Z is path along which Y occurs, and Z is the entrance for X has the modal force of unlikely |
| (=> (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 7868-7877 | 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 7879-7887 | 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 ?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 |
| (=> (instance ?HALL Hallway) (hasPurpose ?HALL (exists (?TRAN ?BUILD ?R1 ?R2) (and (instance ?TRAN Translocation) (path ?TRAN ?HALL) (located ?HALL ?BUILD) (instance ?BUILD Building) (between ?R1 ?HALL ?R2) (instance ?R1 Room) (instance ?R2 Room) (located ?R1 ?BUILD) (located ?R2 ?BUILD) (not (equal ?R1 ?R2)))))) |
Mid-level-ontology.kif 17147-17162 | If X is an instance of hall, 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 translocation (3) X is path along which Y occurs (4) X is located at Z (5) Z is an instance of building (6) X is between W (7) V (8) W is an instance of room (9) V is an instance of room (10) W is located at Z (11) V is located at Z (12) equal W (13) V |
| (=> (instance ?SIDE Sidewalk) (hasPurpose ?SIDE (exists (?WALK) (and (instance ?WALK Walking) (path ?WALK ?SIDE))))) |
Mid-level-ontology.kif 17179-17185 | If X is an instance of sidewalk, then X has the purpose there exists Y such that Y is an instance of walking and X is path along which Y occurs |
| (=> (instance ?TRACK RunningTrack) (hasPurpose ?TRACK (exists (?RUN ?HUMAN) (and (instance ?HUMAN Human) (instance ?RUN Running) (agent ?RUN ?HUMAN) (path ?RUN ?TRACK))))) |
Mid-level-ontology.kif 28470-28478 | If X is an instance of running track, then X has the purpose there exist Y, Z such that Z is an instance of human, Y is an instance of running, Z is an agent of Y, and X is path along which Y occurs |
| (=> (orientation ?O1 ?O2 Upstream) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O1) (beforeOnPath ?O1 ?O2 ?P ?T) (destination ?T ?O2)))) |
Mid-level-ontology.kif 32452-32461 | If X is upstream from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) liquid is an attribute of W (4) V is path along which Z occurs (5) Z originates at X (6) X before Y on path V during Z (7) Z ends up at Y |
| (=> (orientation ?O1 ?O2 Downstream) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1)))) |
Mid-level-ontology.kif 32463-32472 | If X is downstream from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) liquid is an attribute of W (4) V is path along which Z occurs (5) Z originates at Y (6) Y before X on path V during Z (7) Z ends up at X |
| (=> (orientation ?O1 ?O2 Upwind) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O1) (beforeOnPath ?O1 ?O2 ?P ?T) (destination ?T ?O2)))) |
Mid-level-ontology.kif 32474-32483 | If X is upwind from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) liquid is an attribute of W (4) V is path along which Z occurs (5) Z originates at X (6) X before Y on path V during Z (7) Z ends up at Y |
| (=> (orientation ?O1 ?O2 Downwind) (exists (?W ?T ?P) (and (instance ?W Wind) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1)))) |
Mid-level-ontology.kif 32485-32493 | If X is downwind from to Y, then there exist Z, W, V such that Z is an instance of wind, V is path along which W occurs, W originates at Y, Y before X on path V during W, and W ends up at X |
| (=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H HoleRegion) (attribute ?F Fluid) (equal ?AS (HoleHostFn ?H)) (contains ?AS ?F) (patient ?C ?AS)) (exists (?T) (and (instance ?T Transfer) (objectTransferred ?T ?F) (path ?T ?H) (causes ?C ?T)))) |
Cars.kif 871-885 | If All of the following hold: (1) X is an instance of shock (2) Y is an instance of compressing (3) Z is an instance of hole (4) fluid is an attribute of W (5) equal X and the host of the hole Z (6) X contains W (7) X is a patient of Y, then there exists V such that V is an instance of transfer, the object transferred in V is W, Z is path along which V occurs, and Y causes V |
| (=> (instance ?EV ExhaustValve) (hasPurpose ?EV (exists (?E ?T) (and (instance ?T Transfer) (objectTransferred ?T ?E) (path ?T ?EV) (instance ?E Exhaust))))) |
Cars.kif 2666-2674 | If X is an instance of exhaust valve, then X has the purpose there exist Y, Z such that Z is an instance of transfer, the object transferred in Z is Y, X is path along which Z occurs, and Y is an instance of exhaust |
| 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