Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GreekLanguage
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
de
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  totalLengthOfRailwaySystem
totalLengthOfRailwaySystem
appearance as argument number 1
(
documentation
totalLengthOfRailwaySystem
EnglishLanguage
"(
totalLengthOfRailwaySystem
?AREA ?LENGTH) means that the sum length of all railway routes in the
GeographicArea
?AREA is the
LengthMeasure
?LENGTH.")
Transportation.kif 9396
(
domain
totalLengthOfRailwaySystem
1
GeographicArea
)
Transportation.kif 9090
The number 1 argument of
total length of railway system
is an
instance
of
geographic area
(
domain
totalLengthOfRailwaySystem
2
LengthMeasure
)
Transportation.kif 9191
The number 2 argument of
total length of railway system
is an
instance
of
length measure
(
instance
totalLengthOfRailwaySystem
BinaryPredicate
)
Transportation.kif 8989
total length of railway system
is an
instance
of
binary predicate
appearance as argument number 2
(
format
EnglishLanguage
totalLengthOfRailwaySystem
"%2 is %n a
total
length of railway system of %1")
domainEnglishFormat.kif 635635
(
termFormat
EnglishLanguage
totalLengthOfRailwaySystem
"total length of railway system")
domainEnglishFormat.kif 1018810188
"total length of railway system" is the
printable
form
of
total length of railway system
in
english language
antecedent
(<=>
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
Railway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98105
A length measure
is a
total
length of railway system of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(=>
(
and
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
Railway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 107114
If
a length measure
is a
total
length of railway system of
a geographic area
and
the length measure
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
railway
and
the physical
is
located
at
the geographic area
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners