Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
transitwayThroughputCapacity
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
(
domain
transitwayThroughputCapacity
2
TimeInterval
)
Transportation.kif 3910-3910
(
domain
transitwayThroughputCapacity
3
NonnegativeInteger
)
Transportation.kif 3911-3911
(
instance
transitwayThroughputCapacity
TernaryPredicate
)
Transportation.kif 3905-3905
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
(=>
(
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
(=>
(
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
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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