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
PoliceDetective
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
Il numero 1 argomenti di
TimeIntervalFn
è un
istanza
di
PuntoTemporale
(
domain
TimeIntervalFn
2
TimePoint
)
Merge.kif 8412-8412
Il numero 2 argomenti di
TimeIntervalFn
è un
istanza
di
PuntoTemporale
(
instance
TimeIntervalFn
BinaryFunction
)
Merge.kif 8408-8408
TimeIntervalFn
è un'
istanza
di
FunzioneBinaria
(
instance
TimeIntervalFn
PartialValuedRelation
)
Merge.kif 8410-8410
TimeIntervalFn
è un'
istanza
di
RelazioneAValoreParziale
(
instance
TimeIntervalFn
TemporalRelation
)
Merge.kif 8409-8409
TimeIntervalFn
è un'
istanza
di
RelazioneTemporale
(
range
TimeIntervalFn
TimeInterval
)
Merge.kif 8413-8413
rango
di
TimeIntervalFn
è un'istanza di
IntervalloTemporale
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
attribute
AutonomousAgent
and
Menopausal
vales
durante
IntervalloTemporale
NumeroReale
is
uguale
a (1
YearDuration
(s + l'
inizio
di
IntervalloTemporale
IntervalloTemporale
is
uguale
a
intervallo
tra
IntervalloTemporale
e l'
inizio
di
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Menstruation
AutonomousAgent
esperisce
s
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
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
intervallo
tra
PuntoTemporale
e
PuntoTemporale
is
uguale
a
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
is
uguale
a
PuntoTemporale
la
fine
di
IntervalloTemporale
is
uguale
a
PuntoTemporale
(=>
(
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
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
intervallo
tra
PuntoTemporale
e
PuntoTemporale
is
uguale
a
IntervalloTemporale
PuntoTemporale
PuntoTemporale
è
tra
o in
PuntoTemporale
e
PuntoTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
(=>
(
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
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
IntervalloTemporale
is
uguale
a
intervallo
tra
PuntoTemporale
e
PuntoTemporale
durata
di
IntervalloTemporale
è
Durata
IntervalloTemporale
is
uguale
a
TimePeriodFn
PuntoTemporale
and
Durata
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
Giorno
IntervalloTemporale
è un'
istanza
di l'
anno
-6
IntervalloTemporale
è un'
istanza
di l'
anno
4
Giorno
è una
parte
di
intervallo
tra l'
inizio
di
IntervalloTemporale
e la
fine
di
IntervalloTemporale
(=>
(
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
Giorno
IntervalloTemporale
è un'
istanza
di l'
anno
29
IntervalloTemporale
è un'
istanza
di l'
anno
36
Giorno
è una
parte
di
intervallo
tra l'
inizio
di
IntervalloTemporale
e la
fine
di
IntervalloTemporale
(=>
(
and
(
instance
?T1
(
YearFn
26))
(
instance
?T2
(
YearFn
100)))
(
temporalPart
(
WhenFn
TwelveApostles
)
(
TimeIntervalFn
(
BeginFn
?T1)
(
EndFn
?T2))))
Media.kif 1959-1963
IntervalloTemporale
è un'
istanza
di l'
anno
26
IntervalloTemporale
è un'
istanza
di l'
anno
100
il
tempo
di esistenza di
TwelveApostles
è una
parte
di
intervallo
tra l'
inizio
di
IntervalloTemporale
e la
fine
di
IntervalloTemporale
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7524-7528
PuntoTemporale
è un'
istanza
di
PuntoTemporale
il
et
à di
Entit�Concreta
è
Durata
vales
durante
PuntoTemporale
durata
di
intervallo
tra l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
e
PuntoTemporale
è
Durata
(=>
(
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
è un'
istanza
di
BreakingRecord
Processo
è un
agente
di
AutonomousAgent
Insieme
Classe
,
Processo
,
PuntoTemporale
,
RuoloSemantico
,
Oggetto
and
Entit�
Insieme
è un'
istanza
di
Insieme
%è un
elemento
di %2
Classe
è una
sottoclasse
di
Processo
Oggetto
è un'
istanza
di
Regione
PuntoTemporale
è un'
istanza
di
PuntoTemporale
Entit�
è un'
istanza
di
Quantit�
Processo
è un'
istanza
di
Classe
Processo
include un
riferimento
a
Entit�
Entit�
include un
riferimento
a
Processo
playsRoleInEvent
AutonomousAgent
,
RuoloSemantico
and
Processo
eventLocated
Processo
and
Oggetto
Entit�
Entit�
Entit�
è un'
istanza
di
Insieme
Entit�
is
uguale
a
AutonomousAgent
Entit�
è un'
istanza
di
Classe
playsRoleInEvent
Entit�
,
RuoloSemantico
and
Entit�
eventLocated
Entit�
and
Oggetto
vales
durante
intervallo
tra
PuntoTemporale
e la
fine
di il
tempo
di esistenza di
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
PuntoTemporale
and
Reservation
reservationEnd
PuntoTemporale
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
l'affermazione
Entit�
Entit�
è un'
istanza
di
ProcessoIntenzionale
Entit�
è un
agente
di
AutonomousAgent
Entit�
fine
s in
AutonomousAgent
vales
durante
intervallo
tra
PuntoTemporale
e
PuntoTemporale
ha il modello di forza di
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
l'affermazione
Entit�
Entit�
è un'
istanza
di
HotelUnit
stays
Reservation
and
Entit�
vales
durante
intervallo
tra
Reservation
e
Reservation
ha il modello di forza di
Likely
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
FutureFn
?INTERVAL)
(
TimeIntervalFn
(
EndFn
?INTERVAL)
PositiveInfinity
)))
Merge.kif 8521-8523
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
dopo
IntervalloTemporale
is
uguale
a
intervallo
tra la
fine
di
IntervalloTemporale
e
PositiveInfinity
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
PastFn
?INTERVAL)
(
TimeIntervalFn
NegativeInfinity
(
BeginFn
?INTERVAL))))
Merge.kif 8490-8492
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
prima
IntervalloTemporale
is
uguale
a
intervallo
tra
NegativeInfinity
e l'
inizio
di
IntervalloTemporale
(=>
(
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
IntervalloTemporale
è un'
istanza
di
LunchTime
IntervalloTemporale
IntervalloTemporale
and
Giorno
IntervalloTemporale
has luogo
durante
intervallo
tra l'
inizio
di
IntervalloTemporale
e la
fine
di
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di l'
ora
11
IntervalloTemporale
è un'
istanza
di l'
ora
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
Durata
IntervalloTemporale
IntervalloTemporale
is
uguale
a
intervallo
tra l'
inizio
di il
tempo
di esistenza di
FirstFn
MeasuringList
e la
fine
di il
tempo
di esistenza di
LastFn
MeasuringList
durata
di
IntervalloTemporale
è
Durata
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