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
O argumento numero 1 de
TimeIntervalFn
e' uma
instancia
de
Ponto no tempo
(
domain
TimeIntervalFn
2
TimePoint
)
Merge.kif 8412-8412
O argumento numero 2 de
TimeIntervalFn
e' uma
instancia
de
Ponto no tempo
(
instance
TimeIntervalFn
BinaryFunction
)
Merge.kif 8408-8408
TimeIntervalFn
e' uma
instancia
de
Funcao Binaria
(
instance
TimeIntervalFn
PartialValuedRelation
)
Merge.kif 8410-8410
TimeIntervalFn
e' uma
instancia
de
Relacao Parcial
(
instance
TimeIntervalFn
TemporalRelation
)
Merge.kif 8409-8409
TimeIntervalFn
e' uma
instancia
de
Relacao Temporal
(
range
TimeIntervalFn
TimeInterval
)
Merge.kif 8413-8413
O
contra
-dominio de
TimeIntervalFn
e' uma instancia de
Intervalo Temporal
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
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Numero Real
e'
igual
a (1
YearDuration
(s) + o
comeco
de
Intervalo Temporal
)
Intervalo Temporal
e'
igual
a o
intervalo
entre
Intervalo Temporal
e o
comeco
de
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Menstruation
AutonomousAgent
experimenta
Processo
(=>
(
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
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o
intervalo
entre
Ponto no tempo
e
Ponto no tempo
e'
igual
a
Intervalo Temporal
o
comeco
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
o
fim
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
(=>
(
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
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o
intervalo
entre
Ponto no tempo
e
Ponto no tempo
e'
igual
a
Intervalo Temporal
Ponto no tempo
Ponto no tempo
e'
entre
ou durante
Ponto no tempo
e
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
(=>
(
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
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Intervalo Temporal
e'
igual
a o
intervalo
entre
Ponto no tempo
e
Ponto no tempo
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
Intervalo Temporal
e'
igual
a
TimePeriodFn
Ponto no tempo
and
Duracao Temporal
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
Dia
Intervalo Temporal
e' uma
instancia
de o
ano
-6
Intervalo Temporal
e' uma
instancia
de o
ano
4
Dia
e' uma &parte de o
intervalo
entre o
comeco
de
Intervalo Temporal
e o
fim
de
Intervalo Temporal
(=>
(
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
Dia
Intervalo Temporal
e' uma
instancia
de o
ano
29
Intervalo Temporal
e' uma
instancia
de o
ano
36
Dia
e' uma &parte de o
intervalo
entre o
comeco
de
Intervalo Temporal
e o
fim
de
Intervalo Temporal
(=>
(
and
(
instance
?T1
(
YearFn
26))
(
instance
?T2
(
YearFn
100)))
(
temporalPart
(
WhenFn
TwelveApostles
)
(
TimeIntervalFn
(
BeginFn
?T1)
(
EndFn
?T2))))
Media.kif 1959-1963
Intervalo Temporal
e' uma
instancia
de o
ano
26
Intervalo Temporal
e' uma
instancia
de o
ano
100
tempo
de existencia de
TwelveApostles
e' uma &parte de o
intervalo
entre o
comeco
de
Intervalo Temporal
e o
fim
de
Intervalo Temporal
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7524-7528
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
a
idade
de
Fisico
e'
Duracao Temporal
vale
durante
Ponto no tempo
a
duracao
de o
intervalo
entre o
comeco
de
tempo
de existencia de
Fisico
e
Ponto no tempo
e'
Duracao Temporal
(=>
(
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
Processo
e' uma
instancia
de
BreakingRecord
Processo
e' um
agente
de
AutonomousAgent
Conjunto
Classe
,
Processo
,
Ponto no tempo
,
Role em Caso
,
Objeto
and
Entidade
Conjunto
e' uma
instancia
de
Conjunto
AutonomousAgent
e' um
elemento
de
Conjunto
Classe
e' uma
sub
-classe de
Processo
Objeto
e' uma
instancia
de
Regiao
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Entidade
e' uma
instancia
de
Quantidade
Processo
e' uma
instancia
de
Classe
Processo
inclui uma
referencia
a
Entidade
Entidade
inclui uma
referencia
a
Processo
playsRoleInEvent
AutonomousAgent
,
Role em Caso
and
Processo
eventLocated
Processo
and
Objeto
Entidade
Entidade
Entidade
e' uma
instancia
de
Conjunto
Entidade
e'
igual
a
AutonomousAgent
Entidade
e' uma
instancia
de
Classe
playsRoleInEvent
Entidade
,
Role em Caso
and
Entidade
eventLocated
Entidade
and
Objeto
vale
durante o
intervalo
entre
Ponto no tempo
e o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Ponto no tempo
and
Reservation
reservationEnd
Ponto no tempo
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
o argumento
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
agente
de
AutonomousAgent
Entidade
termina
em
AutonomousAgent
vale
durante o
intervalo
entre
Ponto no tempo
e
Ponto no tempo
tem a
forca
modal
de
Likely
(=>
(
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
o argumento
Entidade
Entidade
e' uma
instancia
de
HotelUnit
stays
Reservation
and
Entidade
vale
durante o
intervalo
entre
Reservation
e
Reservation
tem a
forca
modal
de
Likely
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
FutureFn
?INTERVAL)
(
TimeIntervalFn
(
EndFn
?INTERVAL)
PositiveInfinity
)))
Merge.kif 8521-8523
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
apos
Intervalo Temporal
e'
igual
a o
intervalo
entre o
fim
de
Intervalo Temporal
e
PositiveInfinity
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
PastFn
?INTERVAL)
(
TimeIntervalFn
NegativeInfinity
(
BeginFn
?INTERVAL))))
Merge.kif 8490-8492
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
antes
de
Intervalo Temporal
e'
igual
a o
intervalo
entre
NegativeInfinity
e o
comeco
de
Intervalo Temporal
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
LunchTime
Intervalo Temporal
Intervalo Temporal
and
Dia
Intervalo Temporal
acontece
durante
o
intervalo
entre o
comeco
de
Intervalo Temporal
e o
fim
de
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de a
hora
11
Intervalo Temporal
e' uma
instancia
de a
hora
15
(=>
(
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
Duracao Temporal
Intervalo Temporal
Intervalo Temporal
e'
igual
a o
intervalo
entre o
comeco
de
tempo
de existencia de
FirstFn
MeasuringList
e o
fim
de
tempo
de existencia de
LastFn
MeasuringList
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
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