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
(
domain
IntervalFn
2
ConstantQuantity
)
Merge.kif 6584-6584
(
instance
IntervalFn
BinaryFunction
)
Merge.kif 6581-6581
(
instance
IntervalFn
TotalValuedRelation
)
Merge.kif 6582-6582
(
rangeSubclass
IntervalFn
ConstantQuantity
)
Merge.kif 6585-6585
(
relatedInternalConcept
IntervalFn
RecurrentTimeIntervalFn
)
Merge.kif 6586-6586
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
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
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