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
IntervalFn
Sigma KEE - IntervalFn
IntervalFn
appearance as argument number 1
(
documentation
IntervalFn
ChineseLanguage
"这是一个
BinaryFunction
,它把
ConstantQuantity
的两个实例联系到包含从第一个
ConstantQuantity
到第二个
ConstantQuantity
的间隔的
ConstantQuantity
subclass
上。例如:(
IntervalFn
(
MeasureFn
8
Meter
) (
MeasureFn
14
Meter
))会得出包含长度由8 到14 米之间数量的
ConstantQuantity
subclass
。")
chinese_format.kif 2464-2467
(
documentation
IntervalFn
EnglishLanguage
"A
BinaryFunction
that maps two instances of
ConstantQuantity
to the
subclass
of
ConstantQuantity
that comprises the interval from the first
ConstantQuantity
to the second
ConstantQuantity
. For example, (
IntervalFn
(
MeasureFn
8
Meter
) (
MeasureFn
14
Meter
)) would return the
subclass
of
ConstantQuantity
comprising quantities between 8 and 14 meters in length.")
Merge.kif 6588-6594
(
documentation
IntervalFn
JapaneseLanguage
"
BinaryFunction
は、最初の
ConstantQuantity
から2番目の
ConstantQuantity
までの間隔を構成する
ConstantQuantity
の
subclass
に
ConstantQuantity
の2つのインスタンスをマップする。 例:(
IntervalFn
(
MeasureFn
8
Meter
) (
MeasureFn
14
Meter
)) は、長さが8〜14メートルの間の量を含む %ConstantQuantity の
subclass
を返す。")
japanese_format.kif 1156-1160
(
domain
IntervalFn
1
ConstantQuantity
)
Merge.kif 6583-6583
The number 1 argument of
interval
is an
instance
of
constant quantity
(
domain
IntervalFn
2
ConstantQuantity
)
Merge.kif 6584-6584
The number 2 argument of
interval
is an
instance
of
constant quantity
(
instance
IntervalFn
BinaryFunction
)
Merge.kif 6581-6581
Interval
is an
instance
of
binary function
(
instance
IntervalFn
TotalValuedRelation
)
Merge.kif 6582-6582
Interval
is an
instance
of
total valued relation
(
rangeSubclass
IntervalFn
ConstantQuantity
)
Merge.kif 6585-6585
The values returned by
interval
are
subclasses
of
constant quantity
(
relatedInternalConcept
IntervalFn
RecurrentTimeIntervalFn
)
Merge.kif 6586-6586
Interval
is
internally
related to
recurrent time interval
appearance as argument number 2
(
format
ChineseLanguage
IntervalFn
"由 %1 和 %2 之间的值")
chinese_format.kif 651-651
(
format
EnglishLanguage
IntervalFn
"the interval from %1 to %2")
english_format.kif 654-654
(
format
FrenchLanguage
IntervalFn
"l' interval entre %1 et %2")
french_format.kif 392-392
(
format
ItalianLanguage
IntervalFn
"l' intervallo da %1 a %2")
relations-it.txt 154-154
(
format
JapaneseLanguage
IntervalFn
"%1 から %2 までの interval")
japanese_format.kif 2122-2122
(
format
PortugueseLanguage
IntervalFn
"o intervalo entre %1 e %2")
portuguese_format.kif 344-344
(
format
de
IntervalFn
"der zeitabstand von %1 nach %2")
relations-de.txt 851-851
(
format
hi
IntervalFn
"%1 se %2 taka kaa antaraala")
relations-hindi.txt 193-193
(
format
ro
IntervalFn
"interval%t{intervalul} de la %1 la %2")
relations-ro.kif 414-414
(
format
sv
IntervalFn
"intervallet från %1 till %2")
relations-sv.txt 435-435
(
format
tg
IntervalFn
"ang patlang sa %1 at %2")
relations-tg.txt 310-310
(
termFormat
ChineseLanguage
IntervalFn
"间隔")
domainEnglishFormat.kif 30763-30763
(
termFormat
ChineseLanguage
IntervalFn
"间隔函数")
chinese_format.kif 652-652
(
termFormat
ChineseTraditionalLanguage
IntervalFn
"間隔")
domainEnglishFormat.kif 30762-30762
(
termFormat
EnglishLanguage
IntervalFn
"interval")
domainEnglishFormat.kif 30761-30761
(
termFormat
tg
IntervalFn
"tungkulin pagitan")
relations-tg.txt 311-311
antecedent
(=>
(
and
(
instance
?QUANTITY
(
IntervalFn
?FROM ?TO))
(
instance
?FROM ?CLASS)
(
instance
?TO ?CLASS))
(
instance
?QUANTITY ?CLASS))
Merge.kif 6596-6601
If
an entity
is an
instance
of the
interval
from
a constant quantity
to
another constant quantity
and
the constant quantity
is an
instance
of
a class
and
the other constant quantity
is an
instance
of
the class
,
then
the entity
is an
instance
of
the class
consequent
(=>
(
holdsDuring
?TIME
(
instance
?BABY
HumanBaby
))
(
exists
(?AGE)
(
and
(
holdsDuring
?TIME
(
age
?BABY ?AGE))
(
instance
?AGE
(
IntervalFn
(
MeasureFn
0
YearDuration
)
(
MeasureFn
1
YearDuration
))))))
Mid-level-ontology.kif 382-390
If
an entity
is an
instance
of
human baby
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 0
year duration
(s) to 1
year duration
(s)
(=>
(
holdsDuring
?TIME
(
instance
?H
HumanAdult
))
(
exists
(?AGE)
(
and
(
holdsDuring
?TIME
(
age
?H ?AGE))
(
instance
?AGE
(
IntervalFn
(
MeasureFn
18
YearDuration
)
(
MeasureFn
120
YearDuration
))))))
Mid-level-ontology.kif 201-209
If
an entity
is an
instance
of
human adult
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 18
year duration
(s) to 120
year duration
(s)
(=>
(
holdsDuring
?TIME
(
instance
?H
HumanChild
))
(
exists
(?AGE)
(
and
(
holdsDuring
?TIME
(
age
?H ?AGE))
(
instance
?AGE
(
IntervalFn
(
MeasureFn
0
YearDuration
)
(
MeasureFn
14
YearDuration
))))))
Mid-level-ontology.kif 301-309
If
an entity
is an
instance
of
human child
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 0
year duration
(s) to 14
year duration
(s)
(=>
(
holdsDuring
?TIME
(
instance
?H
HumanYouth
))
(
exists
(?AGE)
(
and
(
holdsDuring
?TIME
(
age
?H ?AGE))
(
instance
?AGE
(
IntervalFn
(
MeasureFn
0
YearDuration
)
(
MeasureFn
17
YearDuration
))))))
Mid-level-ontology.kif 259-267
If
an entity
is an
instance
of
human youth
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 0
year duration
(s) to 17
year duration
(s)
(=>
(
holdsDuring
?TIME
(
instance
?H
Teenager
))
(
exists
(?AGE)
(
and
(
holdsDuring
?TIME
(
age
?H ?AGE))
(
instance
?AGE
(
IntervalFn
(
MeasureFn
13
YearDuration
)
(
MeasureFn
19
YearDuration
))))))
Mid-level-ontology.kif 332-340
If
an entity
is an
instance
of
teenager
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 13
year duration
(s) to 19
year duration
(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