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
lengthOfUnpavedHighway
Sigma KEE - lengthOfUnpavedHighway
lengthOfUnpavedHighway
appearance as argument number 1
(
documentation
lengthOfUnpavedHighway
EnglishLanguage
"(
lengthOfUnpavedHighway
?AREA ?LENGTH) means that the total length of
UnsurfacedRoadway
in the
GeographicArea
?AREA is ?LENGTH.")
Transportation.kif 597-599
(
domain
lengthOfUnpavedHighway
1
GeographicArea
)
Transportation.kif 595-595
O argumento numero 1 de
lengthOfUnpavedHighway
e' uma
instancia
de
Area Geografica
(
domain
lengthOfUnpavedHighway
2
LengthMeasure
)
Transportation.kif 596-596
O argumento numero 2 de
lengthOfUnpavedHighway
e' uma
instancia
de
Medida de Comprimento
(
instance
lengthOfUnpavedHighway
BinaryPredicate
)
Transportation.kif 594-594
lengthOfUnpavedHighway
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
ChineseLanguage
lengthOfUnpavedHighway
"%2 %n 是 %1 的未铺设高速公路
length
")
domainEnglishFormat.kif 1523-1523
(
format
ChineseTraditionalLanguage
lengthOfUnpavedHighway
"%2 %n 是 %1 的未鋪設高速公路
length
")
domainEnglishFormat.kif 1522-1522
(
format
EnglishLanguage
lengthOfUnpavedHighway
"%2 is %n a
length
of unpaved highway of %1")
domainEnglishFormat.kif 1521-1521
(
termFormat
ChineseLanguage
lengthOfUnpavedHighway
"未铺砌的公路的长度")
domainEnglishFormat.kif 34043-34043
(
termFormat
ChineseTraditionalLanguage
lengthOfUnpavedHighway
"未鋪砌的公路的長度")
domainEnglishFormat.kif 34042-34042
(
termFormat
EnglishLanguage
lengthOfUnpavedHighway
"length of unpaved highway")
domainEnglishFormat.kif 34041-34041
antecedent
(<=>
(
lengthOfUnpavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
UnsurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 601-608
lengthOfUnpavedHighway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(=>
(
and
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
UnsurfacedRoadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 610-618
lengthOfUnpavedHighway
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que 0
Fisico
Fisico
e' uma
instancia
de
UnsurfacedRoadway
Fisico
e'
situado
em
Area Geografica
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH1 ?UNIT))
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?LENGTH2 ?UNIT))
(
instance
?UNIT
UnitOfLength
))
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
(
AdditionFn
?LENGTH1 ?LENGTH2) ?UNIT)))
Transportation.kif 510-517
totalLengthOfHighwaySystem
Area Geografica
and
Numero Real
Unidade de Medida
(s)
lengthOfPavedHighway
Area Geografica
and
Numero Real
1
Unidade de Medida
(s)
lengthOfUnpavedHighway
Area Geografica
and
Numero Real
2
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
totalLengthOfHighwaySystem
Area Geografica
and (
Numero Real
1 +
Numero Real
2)
Unidade de Medida
(s)
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH1 ?UNIT))
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?LENGTH2 ?UNIT)))
(
equal
?LENGTH
(
AdditionFn
?LENGTH1 ?LENGTH2)))
Transportation.kif 503-508
totalLengthOfHighwaySystem
Area Geografica
and
Numero Real
Unidade de Medida
(s)
lengthOfPavedHighway
Area Geografica
and
Numero Real
1
Unidade de Medida
(s)
lengthOfUnpavedHighway
Area Geografica
and
Numero Real
2
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
1 +
Numero Real
2)
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?TOTAL ?UNIT))
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?UNPAVED ?UNIT)))
(
greaterThanOrEqualTo
?TOTAL ?UNPAVED))
Transportation.kif 527-533
totalLengthOfHighwaySystem
Area Geografica
and
Numero Real
Unidade de Medida
(s)
lengthOfUnpavedHighway
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
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