Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| transitwayThroughputCapacity |
| appearance as argument number 1 |
|
| (instance transitwayThroughputCapacity TernaryPredicate) | Transportation.kif 4451-4451 | transit way throughput capacity is an instance of ternary predicate |
| (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 4452-4454 | transit way throughput capacity is an instance of ternary predicate |
| (domain transitwayThroughputCapacity 1 Transitway) | Transportation.kif 4455-4455 | The number 1 argument of transit way throughput capacity is an instance of transitway |
| (domain transitwayThroughputCapacity 2 TimeInterval) | Transportation.kif 4456-4456 | The number 2 argument of transit way throughput capacity is an instance of timeframe |
| (domain transitwayThroughputCapacity 3 NonnegativeInteger) | Transportation.kif 4457-4457 | The number 3 argument of transit way throughput capacity is an instance of nonnegative integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage transitwayThroughputCapacity "%1 can handle %3 number of vehicles during %2") | domainEnglishFormat.kif 4804-4804 | |
| (termFormat EnglishLanguage transitwayThroughputCapacity "transit way throughput capacity") | domainEnglishFormat.kif 58891-58891 | |
| (termFormat ChineseTraditionalLanguage transitwayThroughputCapacity "公交專用道容量") | domainEnglishFormat.kif 58892-58892 | |
| (termFormat ChineseLanguage transitwayThroughputCapacity "公交專用道容量") | domainEnglishFormat.kif 58893-58893 |
| antecedent |
|
|
| (=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT LandTransitway) (instance ?C CollectionOfObjects) (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 4459-4471 | 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 CollectionOfObjects) (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 4473-4485 | 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 CollectionOfObjects) (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 4487-4499 | 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 |
|