transitwayThroughputCapacity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - transitwayThroughputCapacity

transitwayThroughputCapacity

appearance as argument number 1

(documentation transitwayThroughputCapacity EnglishLanguage "transitwayThroughputCapacity is a TernaryPredicate. It denotes the maximum number of vehicles that can be handled at a Transitway at a given period of time.")	Transportation.kif 3906-3908
(domain transitwayThroughputCapacity 1 Transitway)	Transportation.kif 3909-3909	The number 1 argument of transit way throughput capacity is an instance of transitway
(domain transitwayThroughputCapacity 2 TimeInterval)	Transportation.kif 3910-3910	The number 2 argument of transit way throughput capacity is an instance of time interval
(domain transitwayThroughputCapacity 3 NonnegativeInteger)	Transportation.kif 3911-3911	The number 3 argument of transit way throughput capacity is an instance of nonnegative integer
(instance transitwayThroughputCapacity TernaryPredicate)	Transportation.kif 3905-3905	transit way throughput capacity is an instance of ternary predicate

appearance as argument number 2

(format EnglishLanguage transitwayThroughputCapacity "%1 can handle %3 number of vehicles during %2")	domainEnglishFormat.kif 4800-4800
(termFormat ChineseLanguage transitwayThroughputCapacity "公交專用道容量")	domainEnglishFormat.kif 58931-58931
(termFormat ChineseTraditionalLanguage transitwayThroughputCapacity "公交專用道容量")	domainEnglishFormat.kif 58930-58930
(termFormat EnglishLanguage transitwayThroughputCapacity "transit way throughput capacity")	domainEnglishFormat.kif 58929-58929

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 3941-3953	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 3913-3925	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 3927-3939	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