Term Intersection
: 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
Term 1:
Term 2:
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?CLASS
agent
?AGENT ?TIME))
Catalog.kif 130-137
offersAtTime
AutonomousAgent
,
Catalog
and
Intervalo Temporal
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Processo
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Intervalo Temporal
capabilityDuring
Entidade
,
agent
,
AutonomousAgent
and
Intervalo Temporal
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
_CLASS e' uma
sub
-classe de
Processo
AccessingWebPage
e' uma
instancia
de
AccessingWebPage
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AccessingWebPage
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
AccessingWebPage
Fisico
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
2
Intervalo Temporal
2 e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
2 e' um
agente
de
AutonomousAgent
Intervalo Temporal
2 acontece
durante
AccessingWebPage
o
comeco
de
tempo
de existencia de
Intervalo Temporal
2 comeca
antes
de o
comeco
de
tempo
de existencia de
Intervalo Temporal
o
comeco
de
tempo
de existencia de
AccessingWebPage
e'
igual
a o
comeco
de
tempo
de existencia de
Fisico
o
comeco
de
tempo
de existencia de
Intervalo Temporal
e'
igual
a o
fim
de
tempo
de existencia de
Fisico
TTFxFn
Intervalo Temporal
_CLASS and
AccessingWebPage
e'
igual
a
Fisico
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
offersAtTime
AutonomousAgent
,
Catalog
and
Intervalo Temporal
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Objeto
Processo
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Processo
Entidade
e' uma
instancia
de
Entidade
Entidade
e' um
patient
de
Processo
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Intervalo Temporal
capabilityDuring
Processo
,
agent
,
AutonomousAgent
and
Intervalo Temporal
(
subclass
TimeInterval
TimePosition
)
Merge.kif 2084-2084
Intervalo Temporal
e' uma
sub
-classe de
Posicao Temporal
(
subclass
Holiday
TimeInterval
)
Mid-level-ontology.kif 14848-14848
Holiday
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
AnteMeridiem
TimeInterval
)
Mid-level-ontology.kif 19091-19091
AnteMeridiem
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
PostMeridiem
TimeInterval
)
Mid-level-ontology.kif 19104-19104
PostMeridiem
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
Weekend
TimeInterval
)
Mid-level-ontology.kif 19118-19118
Weekend
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
SeasonOfYear
TimeInterval
)
Mid-level-ontology.kif 19131-19131
SeasonOfYear
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
Year
TimeInterval
)
Merge.kif 8738-8738
Ano
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
Decade
TimeInterval
)
Merge.kif 8765-8765
Decade
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
DayTime
TimeInterval
)
Merge.kif 8857-8857
DayTime
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
Sunrise
TimeInterval
)
Merge.kif 8862-8862
Sunrise
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
Sunset
TimeInterval
)
Merge.kif 8866-8866
Sunset
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
NightTime
TimeInterval
)
Merge.kif 8888-8888
NightTime
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
QuarterYear
TimeInterval
)
Merge.kif 8987-8987
QuarterYear
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
Month
TimeInterval
)
Merge.kif 9043-9043
Mes
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
Day
TimeInterval
)
Merge.kif 9230-9230
Dia
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
Week
TimeInterval
)
Merge.kif 9332-9332
Semana
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
Hour
TimeInterval
)
Merge.kif 9340-9340
Hora
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
Minute
TimeInterval
)
Merge.kif 9350-9350
Minuto
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
Second
TimeInterval
)
Merge.kif 9360-9360
Segundo
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
BreakfastTime
TimeInterval
)
Food.kif 1849-1849
BreakfastTime
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
LunchTime
TimeInterval
)
Food.kif 1861-1861
LunchTime
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
DinnerTime
TimeInterval
)
Food.kif 1878-1878
DinnerTime
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
Ramadan
TimeInterval
)
ArabicCulture.kif 26-26
Ramadan
e' uma
sub
-classe de
Intervalo Temporal
(
subclass
DhuAlHijjah
TimeInterval
)
ArabicCulture.kif 112-112
DhuAlHijjah
e' uma
sub
-classe de
Intervalo Temporal
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