| LandTransitway(land transitway) | | Silk_Road, aisle, approach_trench, areaway, berm, bus_route, cart_track, cartroad, communication_trench, corduroy, deer_trail, footpath, gangway, line_of_march, paper_round, paper_route, pathway, portage, post_road, right_of_way, shoulder, slot, spoor, steps, track, trail |
| appearance as argument number 1 |
|
|
| (subclass LandTransitway Transitway) | Merge.kif 14459-14459 | Land transitway is a subclass of transitway |
| (subclass LandTransitway LandArea) | Merge.kif 14460-14460 | Land transitway is a subclass of land area |
| (documentation LandTransitway EnglishLanguage "LandTransitway is the subclass of Transitway that represents areas intended for motion over the ground.") | Merge.kif 14461-14462 | Land transitway is a subclass of land area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 (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 4435-4447 | 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 |
| consequent |
|
|
| (=> (and (instance ?T LandTransportation) (path ?T ?P)) (instance ?P LandTransitway)) |
Mid-level-ontology.kif 19652-19656 | If X is an instance of land transportation and Y is path along which X occurs, then Y is an instance of land transitway |
|
|
|