antecedent

(=>     (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 3943-3955	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of air transitway and a collection is an instance of collection and aircraft is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2
(=>     (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 3915-3927	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of land transitway and a collection is an instance of collection and land vehicle is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2
(=>     (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 3929-3941	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of waterway and a collection is an instance of collection and water vehicle is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2

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