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
length
Sigma KEE - length
length
appearance as argument number 1
(
documentation
length
ChineseLanguage
"这是一个
BinaryPredicate
,它是用来表示一个
Object
最 长部分的幅度。")
chinese_format.kif 2643-2644
(
documentation
length
EnglishLanguage
"
BinaryPredicate
that is used to state the measure of an
Object
along its longest span.")
Merge.kif 7561-7562
(
documentation
length
JapaneseLanguage
"
BinaryPredicate
は、最も長いスパンに沿って
Object
のメジャーを述べるために使用される。")
japanese_format.kif 1360-1361
(
instance
length
BinaryPredicate
)
Merge.kif 7559-7559
length
è un'
istanza
di
PredicatoBinario
(
instance
length
SingleValuedRelation
)
Merge.kif 7557-7557
length
è un'
istanza
di
RelazioneMonovalente
(
subrelation
length
linearExtent
)
Merge.kif 7558-7558
length
è una
sottorelazione
di
linearExtent
appearance as argument number 2
(
format
ChineseLanguage
length
"%1 的
length
%n 是 %2")
chinese_format.kif 613-613
(
format
EnglishLanguage
length
"the
length
of %1 is %n %2")
english_format.kif 616-616
(
format
FrenchLanguage
length
"le longueur de %1 est %n %2")
french_format.kif 371-371
(
format
ItalianLanguage
length
"la lunghezza di %1 è %n %2")
relations-it.txt 162-162
(
format
JapaneseLanguage
length
"%1 の
length
は %2 では %n ")
japanese_format.kif 2105-2105
(
format
PortugueseLanguage
length
"o comprimento de %1 e' %n %2")
portuguese_format.kif 323-323
(
format
cz
length
"d�lka %1 %p{je} %n{nen�} %2")
relations-cz.txt 380-380
(
format
de
length
"die laenge von %1 ist %2 %n{nicht}")
relations-de.txt 803-803
(
format
hi
length
"%1 kii lambaaii %2 %n hai")
relations-hindi.txt 201-201
(
format
ro
length
"
length
%t{lungimea} lui %1 %n{nu} este %2")
relations-ro.kif 393-393
(
format
sv
length
"längden av %1 är %n{inte} %2")
relations-sv.txt 412-412
(
format
tg
length
"ang haba ng %1 %n ay %2")
relations-tg.txt 323-323
(
subrelation
waterDepth
length
)
Mid-level-ontology.kif 17595-17595
waterDepth
è una
sottorelazione
di
length
(
termFormat
ChineseLanguage
length
"长度")
chinese_format.kif 614-614
(
termFormat
EnglishLanguage
length
"length")
domainEnglishFormat.kif 65866-65866
(
termFormat
tg
length
"haba")
relations-tg.txt 324-324
antecedent
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 620-630
Processo
è un'
istanza
di
CPR
Movimento
è un'
istanza
di
Compressing
Oggetto
è
cammino
mentre
Movimento
si verifica
Movimento
è un
sottoprocesso
di
Processo
la
lunghezza
di
Oggetto
è
NumeroReale
Centimeter
(s
NumeroReale
è
pi
ù grande di 5.0
NumeroReale
è
meno
di6.0
(=>
(
and
(
instance
?ET
AuditoryCanal
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 2.5))
Anatomy.kif 1567-1574
Oggetto
è un'
istanza
di
AuditoryCanal
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Healthy
la
lunghezza
di
Oggetto
è
NumeroReale
Centimeter
(s
approximateValue
NumeroReale
and 2.5
(=>
(
and
(
instance
?ET
EustachianTube
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 35.0))
Anatomy.kif 1517-1524
Oggetto
è un'
istanza
di
EustachianTube
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Healthy
la
lunghezza
di
Oggetto
è
NumeroReale
Centimeter
(s
approximateValue
NumeroReale
and 35.0
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10582-10597
Processo
è un'
istanza
di
MuscleRelaxing
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Muscolo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10560-10575
Processo
è un'
istanza
di
MuscularContraction
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Muscolo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
path
?PROCESS ?PATH1)
(
origin
?PROCESS ?SOURCE)
(
destination
?PROCESS ?DEST)
(
length
?PATH1
(
MeasureFn
?MEASURE1 ?U))
(
distance
?SOURCE ?DEST
(
MeasureFn
?DISTANCE ?U))
(
not
(
greaterThan
?MEASURE1 ?DISTANCE))
(
part
?OBJ ?PATH1))
(
between
?SOURCE ?OBJ ?DEST))
Merge.kif 11116-11126
Oggetto
è
cammino
mentre
Movimento
si verifica
Movimento
si
originas in
Oggetto
Movimento
fine
s in
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Oggetto
e
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
Oggetto
è una
parte
di
Oggetto
Oggetto
è
tra
Oggetto
e
Oggetto
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17985-18010
relativeAngle
Oggetto
,
Oggetto
and
NumeroReale
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
1
Unit�DiMisura
(s la
lunghezza
di
Oggetto
è
NumeroReale
2
Unit�DiMisura
(s la
distanza
tra
Oggetto
e
Oggetto
è
NumeroReale
3
Unit�DiMisura
(s
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
non
incontra
Oggetto
NumeroReale
is
uguale
a l'
arcocoseno
di ((
NumeroReale
3 +
NumeroReale
3 +
NumeroReale
1 +
NumeroReale
1 +
NumeroReale
2 +
NumeroReale
2 + 2.0 +
NumeroReale
1 +
NumeroReale
2
(=>
(
length
?O
(
MeasureFn
?M ?U))
(
not
(
exists
(?M2)
(
and
(
linearExtent
?O
(
MeasureFn
?M2 ?U))
(
greaterThan
?M2 ?M)))))
Merge.kif 7564-7572
La
lunghezza
di
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
2
linearExtent
Entit�Concreta
and
NumeroReale
2
Unit�DiMisura
(s
NumeroReale
2 è
pi
ù grande di
NumeroReale
consequent
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
lengthOfBroadGaugeRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
lengthOfCrudeOilPipeline
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfDualGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
DualGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 210-217
lengthOfDualGaugeRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfElectrifiedRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
ElectrifiedRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 126-133
lengthOfElectrifiedRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfExpresswaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Expressway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 568-575
lengthOfExpresswaySystem
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfMultipleTrackRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
MultipleTrackRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 154-161
lengthOfMultipleTrackRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfNarrowGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
NarrowGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 237-244
lengthOfNarrowGaugeRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
lengthOfNaturalGasPipeline
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfPavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
SurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 542-549
lengthOfPavedHighway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfPetroleumProductPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
PetroleumProductPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 758-765
lengthOfPetroleumProductPipeline
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfStandardGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
StandardGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 265-272
lengthOfStandardGaugeRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfUnclassifiedGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
located
?RAILWAYS ?AREA)
(
not
(
instance
?RAILWAYS
(
UnionFn
StandardGaugeRailway
(
UnionFn
BroadGaugeRailway
(
UnionFn
DualGaugeRailway
NarrowGaugeRailway
))))))) ?LENGTH))
Transportation.kif 294-306
lengthOfUnclassifiedGaugeRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfUnpavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
UnsurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 601-608
lengthOfUnpavedHighway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
totalLengthOfHighwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Roadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 484-491
totalLengthOfHighwaySystem
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
Railway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
totalLengthOfRailwaySystem
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
totalLengthOfWaterways
?AREA ?LENGTH)
(
length
(
KappaFn
?WATERWAY
(
and
(
instance
?WATERWAY
Waterway
)
(
partlyLocated
?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663
totalLengthOfWaterways
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
totalPipelineInArea
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
LongRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 2438
NumeroReale
è
minore
o uguale a 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
MediumLengthRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 1524
NumeroReale
è
minore
o uguale a 2437
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
ShortRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 914
NumeroReale
è
minore
o uguale a 1523
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryLongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
greaterThan
?LENGTH 3047))))
Transportation.kif 1464-1474
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
VeryLongRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
lessThan
?LENGTH 914))))
Transportation.kif 1391-1400
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
VeryShortRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
meno
di914
(=>
(
and
(
instance
?L
Lengthening
)
(
patient
?L ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 23862-23877
Processo
è un'
istanza
di
Lengthening
Entit�
è un
paziente
di
Processo
Processo
1
Processo
2 and
Entit�
Entit�
è un'
istanza
di
UnitOfLength
la
lunghezza
di
Entit�
è
Processo
1
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
lunghezza
di
Entit�
è
Processo
2
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
Processo
2 è
pi
ù grande di
Processo
1
(=>
(
and
(
instance
?S
Shortening
)
(
patient
?S ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L1 ?L2))))
Mid-level-ontology.kif 17235-17250
Processo
è un'
istanza
di
Shortening
Entit�
è un
paziente
di
Processo
NumeroReale
NumeroReale
and
Entit�
Entit�
è un'
istanza
di
UnitOfLength
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
length
?O ?Q))
Mid-level-ontology.kif 31084-31089
memberMeasure
Insieme
,
MeasurementAttribute
and
MisuraDiLunghezza
Insieme
è un'
istanza
di
Insieme
%è un
elemento
di %2
la
lunghezza
di
Entit�Concreta
è
MisuraDiLunghezza
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
length
(
ShorelineFn
SouthernOcean
Antarctica
)
(
MeasureFn
17968.0
(
KiloFn
Meter
)))
Geography.kif 4671-4674
La
lunghezza
di
ShorelineFn
SouthernOcean
and
Antarctica
è 17968.0 1
mille
Meter
s(s
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