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
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
Processo
e' uma
instancia
de
Deciding
Processo
e' um
agente
de
Agente Cognitivo
Conjunto
e' uma
instancia
de
Conjunto
Conjunto
e' um
patient
de
Processo
Entidade
e' um
elemento
de
Conjunto
Agente Cognitivo
acredita
que
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
sub
-classe de
Processo Intencional
Agente Cognitivo
e'
capaz
de fazer
Entidade
no role
agent
(
subclass
IntentionalProcess
Process
)
Merge.kif 10486-10486
Processo Intencional
e' uma
sub
-classe de
Processo
(
subclass
DeployingWeaponOfMassDestruction
IntentionalProcess
)
WMD.kif 675-675
DeployingWeaponOfMassDestruction
e' uma
sub
-classe de
Processo Intencional
(
subclass
DismantlingWeaponOfMassDestruction
IntentionalProcess
)
WMD.kif 731-731
DismantlingWeaponOfMassDestruction
e' uma
sub
-classe de
Processo Intencional
(
subclass
ListOnSite
IntentionalProcess
)
UXExperimentalTerms.kif 257-257
ListOnSite
e' uma
sub
-classe de
Processo Intencional
(
subclass
Evacuation
IntentionalProcess
)
MilitaryProcesses.kif 2489-2489
Evacuation
e' uma
sub
-classe de
Processo Intencional
(
subclass
Dodging
IntentionalProcess
)
Mid-level-ontology.kif 446-446
Dodging
e' uma
sub
-classe de
Processo Intencional
(
subclass
Punching
IntentionalProcess
)
Mid-level-ontology.kif 6618-6618
Punching
e' uma
sub
-classe de
Processo Intencional
(
subclass
Ceremony
IntentionalProcess
)
Mid-level-ontology.kif 7920-7920
Ceremony
e' uma
sub
-classe de
Processo Intencional
(
subclass
Ducking
IntentionalProcess
)
Mid-level-ontology.kif 13118-13118
Ducking
e' uma
sub
-classe de
Processo Intencional
(
subclass
CriminalAction
IntentionalProcess
)
Mid-level-ontology.kif 13859-13859
CriminalAction
e' uma
sub
-classe de
Processo Intencional
(
subclass
Commenting
IntentionalProcess
)
Mid-level-ontology.kif 15882-15882
Commenting
e' uma
sub
-classe de
Processo Intencional
(
subclass
Digging
IntentionalProcess
)
Mid-level-ontology.kif 18007-18007
Digging
e' uma
sub
-classe de
Processo Intencional
(
subclass
Tilling
IntentionalProcess
)
Mid-level-ontology.kif 18021-18021
Tilling
e' uma
sub
-classe de
Processo Intencional
(
subclass
Drilling
IntentionalProcess
)
Mid-level-ontology.kif 18094-18094
Drilling
e' uma
sub
-classe de
Processo Intencional
(
subclass
WorkLeave
IntentionalProcess
)
Mid-level-ontology.kif 20422-20422
WorkLeave
e' uma
sub
-classe de
Processo Intencional
(
subclass
IntentionalPsychologicalProcess
IntentionalProcess
)
Merge.kif 10512-10512
Processo Psicologico Intencional
e' uma
sub
-classe de
Processo Intencional
(
subclass
RecreationOrExercise
IntentionalProcess
)
Merge.kif 10523-10523
Recreacao ou Exercicio
e' uma
sub
-classe de
Processo Intencional
(
subclass
OrganizationalProcess
IntentionalProcess
)
Merge.kif 10535-10535
Processo Organizacional
e' uma
sub
-classe de
Processo Intencional
(
subclass
Designing
IntentionalProcess
)
Merge.kif 10850-10850
Designing
e' uma
sub
-classe de
Processo Intencional
(
subclass
Ambulating
IntentionalProcess
)
Merge.kif 11139-11139
Ambulating
e' uma
sub
-classe de
Processo Intencional
(
subclass
Swimming
IntentionalProcess
)
Merge.kif 11169-11169
Nadar
e' uma
sub
-classe de
Processo Intencional
(
subclass
Guiding
IntentionalProcess
)
Merge.kif 11607-11607
Guiar
e' uma
sub
-classe de
Processo Intencional
(
subclass
Keeping
IntentionalProcess
)
Merge.kif 12174-12174
Manter
e' uma
sub
-classe de
Processo Intencional
(
subclass
Maintaining
IntentionalProcess
)
Merge.kif 12219-12219
Preservar
e' uma
sub
-classe de
Processo Intencional
(
subclass
Repairing
IntentionalProcess
)
Merge.kif 12223-12223
Consertar
e' uma
sub
-classe de
Processo Intencional
(
subclass
Poking
IntentionalProcess
)
Merge.kif 12331-12331
Cutucar
e' uma
sub
-classe de
Processo Intencional
(
subclass
ContentDevelopment
IntentionalProcess
)
Merge.kif 12671-12671
Desenvolvimento de Conteudo
e' uma
sub
-classe de
Processo Intencional
(
subclass
Making
IntentionalProcess
)
Merge.kif 12813-12813
Fazer
e' uma
sub
-classe de
Processo Intencional
(
subclass
Pursuing
IntentionalProcess
)
Merge.kif 12874-12874
Perseguir
e' uma
sub
-classe de
Processo Intencional
(
subclass
Investigating
IntentionalProcess
)
Merge.kif 12923-12923
Investigacao
e' uma
sub
-classe de
Processo Intencional
(
subclass
SocialInteraction
IntentionalProcess
)
Merge.kif 12999-12999
Interacao Social
e' uma
sub
-classe de
Processo Intencional
(
subclass
Maneuver
IntentionalProcess
)
Merge.kif 13385-13385
Manobra
e' uma
sub
-classe de
Processo Intencional
(
subclass
Looking
IntentionalProcess
)
Merge.kif 13553-13553
Looking
e' uma
sub
-classe de
Processo Intencional
(
subclass
Listening
IntentionalProcess
)
Merge.kif 13627-13627
Listening
e' uma
sub
-classe de
Processo Intencional
(
subclass
Modeling
IntentionalProcess
)
engineering.kif 114-114
Modeling
e' uma
sub
-classe de
Processo Intencional
(
subclass
EngineersSubprocess
IntentionalProcess
)
engineering.kif 1197-1197
EngineersSubprocess
e' uma
sub
-classe de
Processo Intencional
(
subclass
ITProcess
IntentionalProcess
)
engineering.kif 1310-1310
ITProcess
e' uma
sub
-classe de
Processo Intencional
(
subclass
UserAction
IntentionalProcess
)
ComputerInput.kif 1167-1167
UserAction
e' uma
sub
-classe de
Processo Intencional
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