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
TimeIntervalFn
Sigma KEE - TimeIntervalFn
TimeIntervalFn
appearance as argument number 1
(
documentation
TimeIntervalFn
ChineseLanguage
"这是一个
BinaryFunction
,它接受两个
TimePoint
参数,然后得出由这两个
TimePoint
所界定的
TimeInterval
。注:第一个
TimePoint
必须要比第二个
TimePoint
先开始。")
chinese_format.kif 2729-2731
(
documentation
TimeIntervalFn
EnglishLanguage
"A
BinaryFunction
that takes two
TimePoint
s as arguments and returns the
TimeInterval
defined by these two
TimePoint
s.Note that the first
TimePoint
must occur earlier than the second
TimePoint
.")
Merge.kif 8415-8418
(
documentation
TimeIntervalFn
JapaneseLanguage
"
BinaryFunction
は、引数として2つの
TimePoint
を受け取り、これら2つの
TimePoint
によって定義された
TimeInterval
を返す。 最初の
TimePoint
は、2番目の
TimePoint
より前に発生する必要がある。")
japanese_format.kif 1454-1456
(
domain
TimeIntervalFn
1
TimePoint
)
Merge.kif 8411-8411
TimeIntervalFn
の数値 1 引数は
時点
の
instance
では %n
(
domain
TimeIntervalFn
2
TimePoint
)
Merge.kif 8412-8412
TimeIntervalFn
の数値 2 引数は
時点
の
instance
では %n
(
instance
TimeIntervalFn
BinaryFunction
)
Merge.kif 8408-8408
TimeIntervalFn
は
2変数関数
の
instance
では %n
(
instance
TimeIntervalFn
PartialValuedRelation
)
Merge.kif 8410-8410
TimeIntervalFn
は
部分的価値関係
の
instance
では %n
(
instance
TimeIntervalFn
TemporalRelation
)
Merge.kif 8409-8409
TimeIntervalFn
は
時間関係
の
instance
では %n
(
range
TimeIntervalFn
TimeInterval
)
Merge.kif 8413-8413
TimeIntervalFn
の
range
は
時間間隔
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
TimeIntervalFn
"%1 和 %2 间的时段")
chinese_format.kif 453-453
(
format
EnglishLanguage
TimeIntervalFn
"interval between %1 and %2")
english_format.kif 459-459
(
format
FrenchLanguage
TimeIntervalFn
"l'intervale entre %1 et %2")
french_format.kif 263-263
(
format
ItalianLanguage
TimeIntervalFn
"intervallo tra %1 e %2")
relations-it.txt 300-300
(
format
JapaneseLanguage
TimeIntervalFn
"%1 と %2 の interval")
japanese_format.kif 2053-2053
(
format
PortugueseLanguage
TimeIntervalFn
"o intervalo entre %1 e %2")
portuguese_format.kif 215-215
(
format
cz
TimeIntervalFn
"interval between %1 and %2")
relations-cz.txt 269-269
(
format
de
TimeIntervalFn
"abstand zwischen %1 und %2")
relations-de.txt 592-592
(
format
hi
TimeIntervalFn
"%1 aura %2 ke biicha antaraala")
relations-hindi.txt 336-336
(
format
ro
TimeIntervalFn
"interval%t{interval} între %1 ºi %2")
relations-ro.kif 284-284
(
format
sv
TimeIntervalFn
"intervallet mellan %1 och %2")
relations-sv.txt 289-289
(
format
tg
TimeIntervalFn
"patlang sa pagitan ng %1 at %2")
relations-tg.txt 492-492
(
termFormat
ChineseLanguage
TimeIntervalFn
"时段函数")
chinese_format.kif 454-454
(
termFormat
ChineseLanguage
TimeIntervalFn
"时间间隔")
domainEnglishFormat.kif 58124-58124
(
termFormat
ChineseTraditionalLanguage
TimeIntervalFn
"時間間隔")
domainEnglishFormat.kif 58123-58123
(
termFormat
EnglishLanguage
TimeIntervalFn
"time interval")
domainEnglishFormat.kif 58122-58122
antecedent
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23889-23903
Menopausal
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
実数
は (1 の
YearDuration
(s) +
時間間隔
の
beginning
) と
equal
では %n
時間間隔
は
時間間隔
と
時間間隔
の
beginning
の
interval
と
equal
では %n
工程
工程
は
Menstruation
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
and
(
equal
(
BeginFn
?INTERVAL) ?POINT1)
(
equal
(
EndFn
?INTERVAL) ?POINT2)))
Merge.kif 8420-8428
時点
は
時点
の
instance
では %n
時点
は
時点
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時点
と
時点
の
interval
は
時間間隔
と
equal
では %n
時間間隔
の
beginning
は
時点
と
equal
では %n
時間間隔
の
end
は
時点
と
equal
では %n
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
forall
(?POINT)
(<=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT ?POINT2)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 8430-8439
時点
は
時点
の
instance
では %n
時点
は
時点
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時点
と
時点
の
interval
は
時間間隔
と
equal
では %n
時点
時点
は
時点
にも
時点
にもその
between
にも %n
時点
は
時間間隔
の
part
では %n
(=>
(
and
(
instance
?T1
TimePoint
)
(
instance
?T2
TimePoint
)
(
equal
?INTERVAL
(
TimeIntervalFn
?T1 ?T2))
(
duration
?INTERVAL ?PERIOD))
(
equal
?INTERVAL
(
TimePeriodFn
?T1 ?PERIOD)))
Mid-level-ontology.kif 14040-14046
時点
は
時点
の
instance
では %n
時点
は
時点
の
instance
では %n
時間間隔
は
時点
と
時点
の
interval
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
時間間隔
は
TimePeriodFn
時点
and
時間分
と
equal
では %n
consequent
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
birthdate
JesusOfNazareth
and
日
時間間隔
は -6
year
目 の
instance
では %n
時間間隔
は 4
year
目 の
instance
では %n
日
は
時間間隔
の
beginning
と
時間間隔
の
end
の
interval
の
part
では %n
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1943-1948
deathdate
JesusOfNazareth
and
日
時間間隔
は 29
year
目 の
instance
では %n
時間間隔
は 36
year
目 の
instance
では %n
日
は
時間間隔
の
beginning
と
時間間隔
の
end
の
interval
の
part
では %n
(=>
(
and
(
instance
?T1
(
YearFn
26))
(
instance
?T2
(
YearFn
100)))
(
temporalPart
(
WhenFn
TwelveApostles
)
(
TimeIntervalFn
(
BeginFn
?T1)
(
EndFn
?T2))))
Media.kif 1959-1963
時間間隔
は 26
year
目 の
instance
では %n
時間間隔
は 100
year
目 の
instance
では %n
TwelveApostles
の
time
の existence は
時間間隔
の
beginning
と
時間間隔
の
end
の
interval
の
part
では %n
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7524-7528
時点
は
時点
の
instance
では %n
物理
の
age
は
時間分
では は
時点
の
during
holds %n{ない}
物理
の
time
の existence の
beginning
と
時点
の
interval
の
duration
は
時間分
では %n
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
工程
は
BreakingRecord
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
セット
クラス
,
工程
,
時点
,
格役割
,
オブジェクト
and
エンティティー
セット
は
セット
の
instance
では %n
AutonomousAgent
は
セット
の
element
%n
クラス
は
工程
の
subclass
では %n
オブジェクト
は
地域
の
instance
では %n
時点
は
時点
の
instance
では %n
エンティティー
は
量
の
instance
では %n
工程
は
クラス
の
instance
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
エンティティー
は
工程
への
reference
を includes %n{ない}
playsRoleInEvent
AutonomousAgent
,
格役割
and
工程
eventLocated
工程
and
オブジェクト
エンティティー
エンティティー
エンティティー
は
セット
の
instance
では %n
エンティティー
は
AutonomousAgent
と
equal
では
エンティティー
は
クラス
の
instance
では %n
playsRoleInEvent
エンティティー
,
格役割
and
エンティティー
eventLocated
エンティティー
and
オブジェクト
は
時点
と
工程
の
time
の existence の
end
の
interval
の
during
holds %n{ない}
(=>
(
and
(
reservationStart
?TIME1 ?R)
(
reservationEnd
?TIME2 ?R)
(
reservingEntity
?CUST ?R)
(
fulfillingEntity
?AGENT ?R))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST))))
Likely
))
Dining.kif 711-724
reservationStart
時点
and
Reservation
reservationEnd
時点
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
ステートメント
エンティティー
エンティティー
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない} は
時点
と
時点
の
interval
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
reservedRoom
?RESERVE ?ROOMTYPE)
(
reservationStart
?RESERVE ?TIME1)
(
reservationEnd
?RESERVE ?TIME2)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?X)
(
and
(
instance
?X ?ROOMTYPE)
(
stays
?CUST ?X))))
Likely
))
Hotel.kif 2951-2963
reservedRoom
HotelReservation
and
HotelUnit
reservationStart
HotelReservation
and
Reservation
reservationEnd
HotelReservation
and
Reservation
reservingEntity
HotelReservation
and
Reservation
ステートメント
エンティティー
エンティティー
は
HotelUnit
の
instance
では %n
stays
Reservation
and
エンティティー
は
Reservation
と
Reservation
の
interval
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
FutureFn
?INTERVAL)
(
TimeIntervalFn
(
EndFn
?INTERVAL)
PositiveInfinity
)))
Merge.kif 8521-8523
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
after
は
時間間隔
の
end
と
PositiveInfinity
の
interval
と
equal
では %n
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
PastFn
?INTERVAL)
(
TimeIntervalFn
NegativeInfinity
(
BeginFn
?INTERVAL))))
Merge.kif 8490-8492
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
before
は
NegativeInfinity
と
時間間隔
の
beginning
の
interval
と
equal
では %n
(=>
(
instance
?TIME
LunchTime
)
(
exists
(?ELEVEN ?THREE ?DAY)
(
and
(
during
?TIME
(
TimeIntervalFn
(
BeginFn
?ELEVEN)
(
EndFn
?THREE)))
(
instance
?ELEVEN
(
HourFn
11 ?DAY))
(
instance
?THREE
(
HourFn
15 ?DAY)))))
Food.kif 1867-1876
時間間隔
は
LunchTime
の
instance
では %n
時間間隔
時間間隔
and
日
時間間隔
は
時間間隔
の
beginning
と
時間間隔
の
end
の
interval
の
during
に takes %n{ない}
時間間隔
は 11
hour
目 の
instance
では %n
時間間隔
は 15
hour
目 の
instance
では %n
(=>
(
measuringListDuration
?LIST ?DURATION)
(
exists
(?T)
(
and
(
equal
?T
(
TimeIntervalFn
(
BeginFn
(
WhenFn
(
FirstFn
?LIST)))
(
EndFn
(
WhenFn
(
LastFn
?LIST)))))
(
duration
?T ?DURATION))))
Weather.kif 1878-1886
measuringListDuration
MeasuringList
and
時間分
時間間隔
時間間隔
は
FirstFn
MeasuringList
の
time
の existence の
beginning
と
LastFn
MeasuringList
の
time
の existence の
end
の
interval
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
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