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 7560-7561
(
documentation
length
JapaneseLanguage
"
BinaryPredicate
は、最も長いスパンに沿って
Object
のメジャーを述べるために使用される。")
japanese_format.kif 1360-1361
(
instance
length
BinaryPredicate
)
Merge.kif 7558-7558
length
est une
instance
de
pr�dicat binaire
(
instance
length
SingleValuedRelation
)
Merge.kif 7556-7556
length
est une
instance
de
relation simple
(
subrelation
length
linearExtent
)
Merge.kif 7557-7557
length
est une
sous
-relation de
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 17568-17568
waterDepth
est une
sous
-relation de
length
(
termFormat
ChineseLanguage
length
"长度")
chinese_format.kif 614-614
(
termFormat
EnglishLanguage
length
"length")
domainEnglishFormat.kif 65864-65864
(
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
Processus
est une
instance
de
CPR
d�palcement
est une
instance
de
Compressing
objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
est un
sous
-processus de
processus
le
longueur
de
objet
est
nombre r�el
Centimeter
(s)
nombre r�el
est
plus
grand
que 5.0
nombre r�el
est
moins
que 6.0
(=>
(
and
(
instance
?ET
AuditoryCanal
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 2.5))
Anatomy.kif 1567-1574
Objet
est une
instance
de
AuditoryCanal
objet
est une
partie
de
objet
Healthy
est un
attribut
de
objet
le
longueur
de
objet
est
nombre r�el
Centimeter
(s)
approximateValue
nombre r�el
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
Objet
est une
instance
de
EustachianTube
objet
est une
partie
de
objet
Healthy
est un
attribut
de
objet
le
longueur
de
objet
est
nombre r�el
Centimeter
(s)
approximateValue
nombre r�el
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 10555-10570
Processus
est une
instance
de
MuscleRelaxing
entit�
est un
patient
de
processus
entit�
est une
instance
de
muscle
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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 10533-10548
Processus
est une
instance
de
MuscularContraction
entit�
est un
patient
de
processus
entit�
est une
instance
de
muscle
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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 11082-11092
Objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
a pour
origine
objet
d�palcement
aboutit
�
objet
le
longueur
de
objet
est
nombre r�el
unit� de mesure
(s) la
distance
entre
objet
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
objet
est une
partie
de
objet
objet
est
entre
objet
et
objet
(=>
(
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 17906-17931
relativeAngle
objet
,
objet
and
nombre r�el
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
le
longueur
de
objet
est
nombre r�el
1
unit� de mesure
(s) le
longueur
de
objet
est
nombre r�el
2
unit� de mesure
(s) la
distance
entre
objet
et
objet
est
nombre r�el
3
unit� de mesure
(s)
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
objet
ne
rencontre
%n{pas}
objet
nombre r�el
est
ArcCosineFn
((
nombre r�el
3 +
nombre r�el
3 +
nombre r�el
1 +
nombre r�el
1) +
nombre r�el
2 +
nombre r�el
2) + 2.0 +
nombre r�el
1 +
nombre r�el
2
(=>
(
length
?O
(
MeasureFn
?M ?U))
(
not
(
exists
(?M2)
(
and
(
linearExtent
?O
(
MeasureFn
?M2 ?U))
(
greaterThan
?M2 ?M)))))
Merge.kif 7563-7571
Le
longueur
de
physique
est
nombre r�el
unit� de mesure
(s)
nombre r�el
2
linearExtent
physique
and
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
que
nombre r�el
consequent
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
lengthOfBroadGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
lengthOfCrudeOilPipeline
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfDualGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
DualGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 210-217
lengthOfDualGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfElectrifiedRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
ElectrifiedRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 126-133
lengthOfElectrifiedRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfExpresswaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Expressway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 568-575
lengthOfExpresswaySystem
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfMultipleTrackRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
MultipleTrackRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 154-161
lengthOfMultipleTrackRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfNarrowGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
NarrowGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 237-244
lengthOfNarrowGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
lengthOfNaturalGasPipeline
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfPavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
SurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 542-549
lengthOfPavedHighway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfPetroleumProductPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
PetroleumProductPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 758-765
lengthOfPetroleumProductPipeline
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfStandardGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
StandardGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 265-272
lengthOfStandardGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
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
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfUnpavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
UnsurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 601-608
lengthOfUnpavedHighway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
totalLengthOfHighwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Roadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 484-491
totalLengthOfHighwaySystem
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
Railway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
totalLengthOfRailwaySystem
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
totalLengthOfWaterways
?AREA ?LENGTH)
(
length
(
KappaFn
?WATERWAY
(
and
(
instance
?WATERWAY
Waterway
)
(
partlyLocated
?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663
totalLengthOfWaterways
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
totalPipelineInArea
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(=>
(
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
Objet
est une
instance
de
Airport
LongRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 2438
nombre r�el
est plus
petit
ou �gal � 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
Objet
est une
instance
de
Airport
MediumLengthRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 1524
nombre r�el
est plus
petit
ou �gal � 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
Objet
est une
instance
de
Airport
ShortRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 914
nombre r�el
est plus
petit
ou �gal � 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
Objet
est une
instance
de
Airport
VeryLongRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
que 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
Objet
est une
instance
de
Airport
VeryShortRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
moins
que 914
(=>
(
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 23805-23820
Processus
est une
instance
de
Lengthening
entit�
est un
patient
de
processus
processus
1
processus
2 and
entit�
entit�
est une
instance
de
UnitOfLength
le
longueur
de
entit�
est
processus
1
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
le
longueur
de
entit�
est
processus
2
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
processus
2 est
plus
grand
que
processus
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 17208-17223
Processus
est une
instance
de
Shortening
entit�
est un
patient
de
processus
nombre r�el
nombre r�el
and
entit�
entit�
est une
instance
de
UnitOfLength
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
length
?O ?Q))
Mid-level-ontology.kif 31060-31065
memberMeasure
ensemble
,
MeasurementAttribute
and
mesure de longueur
ensemble
est une
instance
de
ensemble
physique
est un
ensemble
le
longueur
de
physique
est
mesure de longueur
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
Le
longueur
de
ShorelineFn
SouthernOcean
and
Antarctica
est 17968.0 1
millier
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