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
(
instance
?AGENT
AutonomousAgent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1692-1698
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
ElectionFn
AutonomousAgent
e' uma
sub
-classe de
Election
AutonomousAgent
e' uma
instancia
de
Organizacao
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Ano
e' uma
sub
-classe de
Ano
FiscalYearStartingFn
AutonomousAgent
and
Ano
e' uma
instancia
de
FiscalYearFn
AutonomousAgent
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
trafficableForTrafficType
Regiao
and
Objeto auto-conectado
Objeto auto-conectado
e' uma
sub
-classe de
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto auto-conectado
capableAtLocation
Translocation
,
agent
,
Objeto
and
Regiao
(=>
(
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
(
subclass
AutonomousAgent
Object
)
Merge.kif 1556-1556
AutonomousAgent
e' uma
sub
-classe de
Objeto
(
subclass
SentientAgent
AutonomousAgent
)
Merge.kif 1566-1566
Agente Sentiente
e' uma
sub
-classe de
AutonomousAgent
(
subclass
GeopoliticalArea
AutonomousAgent
)
Merge.kif 14054-14054
Area Geopolitica
e' uma
sub
-classe de
AutonomousAgent
(
subclass
Organism
AutonomousAgent
)
Merge.kif 14355-14355
Organismo
e' uma
sub
-classe de
AutonomousAgent
(
subclass
CommercialAgent
AutonomousAgent
)
Merge.kif 16173-16173
CommercialAgent
e' uma
sub
-classe de
AutonomousAgent
(
subclass
Group
AutonomousAgent
)
Merge.kif 16224-16224
Grupo
e' uma
sub
-classe de
AutonomousAgent
(
subclass
Organization
AutonomousAgent
)
Merge.kif 16610-16610
Organizacao
e' uma
sub
-classe de
AutonomousAgent
(
subclass
ITAgent
AutonomousAgent
)
engineering.kif 1306-1306
ITAgent
e' uma
sub
-classe de
AutonomousAgent
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