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
TimePeriodFn
Sigma KEE - TimePeriodFn
TimePeriodFn
appearance as argument number 1
(
documentation
TimePeriodFn
EnglishLanguage
"(
TimePeriodFn
?TIMEPOINT ?DURATION) accepts
TimePoint
?TIMEPOINT and
TimeDuration
?DURATION and returns a
TimeInterval
that starts from ?TIMEPOINT and ends at the end of ?DURATION")
Mid-level-ontology.kif 14031-14033
(
domain
TimePeriodFn
1
TimePoint
)
Mid-level-ontology.kif 14036-14036
Il numero 1 argomenti di
TimePeriodFn
è un
istanza
di
PuntoTemporale
(
domain
TimePeriodFn
2
TimeDuration
)
Mid-level-ontology.kif 14037-14037
Il numero 2 argomenti di
TimePeriodFn
è un
istanza
di
Durata
(
instance
TimePeriodFn
BinaryFunction
)
Mid-level-ontology.kif 14030-14030
TimePeriodFn
è un'
istanza
di
FunzioneBinaria
(
range
TimePeriodFn
TimeInterval
)
Mid-level-ontology.kif 14038-14038
rango
di
TimePeriodFn
è un'istanza di
IntervalloTemporale
appearance as argument number 2
(
format
ChineseLanguage
TimePeriodFn
"
time
开始在 %1 并且 持续到 %2 ")
domainEnglishFormat.kif 4778-4778
(
format
ChineseTraditionalLanguage
TimePeriodFn
"
time
開始在 %1 並且 持續到 %2 ")
domainEnglishFormat.kif 4777-4777
(
format
EnglishLanguage
TimePeriodFn
"a
time
that starts at %1 and lasts for %2")
domainEnglishFormat.kif 4776-4776
(
termFormat
EnglishLanguage
TimePeriodFn
"time period function")
Mid-level-ontology.kif 14034-14034
consequent
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14016-14021
agreementPeriod
Agreement
and
IntervalloTemporale
agreementEffectiveDate
Agreement
and
PuntoTemporale
Agreement
ha un
attributo
ActiveAgreement
vales
durante
TimePeriodFn
PuntoTemporale
and
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
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