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
agent
Sigma KEE - agent
agent
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1865-1867
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2437-2440
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 488-490
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2433-2433
O argumento numero 1 de
agent
e' uma
instancia
de
Processo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2434-2434
O argumento numero 2 de
agent
e' uma
instancia
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2431-2431
agent
e' uma
instancia
de
Role em Caso
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2432-2432
agent
e' uma
instancia
de
Relacao Parcial
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2435-2435
agent
e' uma
sub
-relacao de
involvedInEvent
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 53-53
No TPTP formula. May not be expressible in strict first order.
english_format.kif 53-53
No TPTP formula. May not be expressible in strict first order.
french_format.kif 55-55
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 22-22
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1875-1875
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 7-7
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 80-80
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 62-62
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 53-53
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 74-74
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 54-54
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 56-56
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22819-22819
typicalAction
e'
relacionado
internamente por SUMO a
agent
No TPTP formula. May not be expressible in strict first order.
Law.kif 227-227
arrestingOfficer
e' uma
sub
-relacao de
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19677-19677
contestParticipant
e' uma
sub
-relacao de
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23435-23435
gainsControl
e' uma
sub
-relacao de
agent
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 23-23
invadingVirus
e' uma
sub
-relacao de
agent
No TPTP formula. May not be expressible in strict first order.
Law.kif 271-271
perpetrator
e' uma
sub
-relacao de
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16272-16272
plaintiff
e' uma
sub
-relacao de
agent
No TPTP formula. May not be expressible in strict first order.
Law.kif 309-309
prosecutor
e' uma
sub
-relacao de
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22879-22879
serviceProvider
e' uma
sub
-relacao de
agent
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 54-54
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18837-18843
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Objeto de Arte
Artist
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 487-499
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
Objeto
Fisico
e' um
patient
de
Processo
o
valor
de
Fisico
e'
Medida de Divisa
Transacao Financeira
Transacao Financeira
e' um
sub
-processo de
Processo
Transacao Financeira
e' uma
instancia
de
Payment
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
tem como
origem
AutonomousAgent
Transacao Financeira
termina
em
Objeto
No TPTP formula. May not be expressible in strict first order.
emotion.kif 374-387
AppraisalAsJustTreatment
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
JT e' uma
instancia
de
AppraisalProcess
Agente Cognitivo
JT e' um
agente
de
Agente Cognitivo
Processo
Agente Cognitivo
2
Processo
e' uma
instancia
de
Processo
Agente Cognitivo
JT inclui uma
referencia
a
Processo
Processo
e' um
agente
de
Agente Cognitivo
2
Agente Cognitivo
e'
igual
a
Agente Cognitivo
2
Agente Cognitivo
e' um
patient
de
Processo
Agente Cognitivo
quer
Processo
No TPTP formula. May not be expressible in strict first order.
emotion.kif 349-363
AppraisalAsUnjustTreatment
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
UJ e' uma
instancia
de
AppraisalProcess
Agente Cognitivo
UJ e' um
agente
de
Agente Cognitivo
Processo
Agente Cognitivo
2
Processo
e' uma
instancia
de
Processo
Agente Cognitivo
UJ inclui uma
referencia
a
Processo
Processo
e' um
agente
de
Agente Cognitivo
2
Agente Cognitivo
e'
igual
a
Agente Cognitivo
2
Agente Cognitivo
e' um
patient
de
Processo
Agente Cognitivo
nao
quer
%n
Processo
No TPTP formula. May not be expressible in strict first order.
Biography.kif 757-776
VoiceActor
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
DramaticActing
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
LinguisticCommunication
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
sub
-processo de
Processo
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Visao
AutonomousAgent
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Ouvir
AutonomousAgent
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5824-5834
Doenca ou Sindrome
e' um
atributo
de
Objeto
diseaseTreatment
Doenca ou Sindrome
and
Processo Terapeutico
Processo
e' uma
instancia
de
TherpeuticProcess
Processo
e' um
agente
de
Doenca ou Sindrome
OC
Objeto
e' um
patient
de
Processo
MedicalDoctor
e' um
atributo
de
Doenca ou Sindrome
OC
o argumento
Processo
e' uma
instancia
de
Processo Terapeutico
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3984-4004
ADHD
e' um
atributo
de
AutonomousAgent
ADHD
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
igual
a
AutonomousAgent
Processo
e' uma
instancia
de
Classe
Processo
e' uma
instancia
de
Classe
Classe
e' uma
sub
-classe de
Processo Psicologico Intencional
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
o argumento
Duracao Temporal
e'
maior
que
Duracao Temporal
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 134-143
Muslim
e' um
atributo
de
Objeto
Objeto
e'
capaz
de fazer
Hajj
no role
agent
o argumento
Entidade
Entidade
e' uma
instancia
de
Hajj
Entidade
e' um
agente
de
Objeto
tem a
forca
modal
de
Obligation
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1207-1224
CommunalAttribute
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Table
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
GroupOfPeople
eventLocated
Processo
and
Objeto
o argumento
Entidade
Entidade
and
Objeto
2
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
AutonomousAgent
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
eventLocated
Entidade
and
Objeto
2
tempo
de existencia de
Processo
encontra
tempo
de existencia de
Entidade
Objeto
e'
igual
a
Objeto
2 tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25748-25761
Multilingual
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
Speaking
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
SpokenHumanLanguage
Entidade
e' uma
instancia
de
SpokenHumanLanguage
Entidade
e'
igual
a
Entidade
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1935-1946
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
capaz
de fazer
RoomCleaningService
no role
agent
Agente Cognitivo
Objeto
AutonomousAgent
emprega
Agente Cognitivo
Maid
e' um
atributo
de
Agente Cognitivo
Objeto
e' uma
instancia
de
HotelUnit
Objeto
e' uma &parte de
propriedade
de
AutonomousAgent
Objeto
e'
capaz
de fazer
RoomCleaningService
no role
patient
Agente Cognitivo
e'
capaz
de fazer
RoomCleaningService
no role
serviceProvider
No TPTP formula. May not be expressible in strict first order.
Biography.kif 730-740
Writer
e' um
atributo
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
Texto
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
Document
Processo
e' uma
instancia
de
Escrever
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
AutonomousAgent
e' o
autor
de
Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
Intervalo Temporal
and
Numero Inteiro
Intervalo Temporal
e' uma
instancia
de
Minuto
Numero Inteiro
Numero Inteiro
e' uma
instancia
de
Recreacao ou Exercicio
Numero Inteiro
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
tempo
de existencia de
Numero Inteiro
HumanAdult
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Numero Inteiro
e'
maior
que 16
Numero Inteiro
e'
menos
que 12
Healthy
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Government.kif 1850-1854
candidateForPosition
Election
,
Role Social
and
Agente Cognitivo
Election
e' um
agente
de
AutonomousAgent
Agente Cognitivo
deseja
Agente Cognitivo
ocupa a
posicao
de
Role Social
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
TransportDetail.kif 153-172
Organizacao
e'
capaz
de fazer
ValetParking
no role
agent
customer
Agente Cognitivo
and
Organizacao
Organizacao
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Arriving
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Objeto
Humano
Humano
ocupa a
posicao
de
Valet
Organizacao
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
ValetParking
Entidade
e' um
agente
de
Humano
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
ParkingRegion
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Government.kif 1588-1595
chiefOfStateType
Area Geopolitica
and
Posicao
Election
e' um
agente
de
Area Geopolitica
Election
e' uma
instancia
de
Election
electionForPosition
Election
and
Posicao
Election
e' uma
instancia
de
PopularElection
governmentType
Area Geopolitica
and
Democracy
No TPTP formula. May not be expressible in strict first order.
Dining.kif 130-150
customer
Agente Cognitivo
and
AutonomousAgent
corkageFee
Medida de Divisa
,
Objeto
and
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
Processo
Processo
e' uma
instancia
de
Comprar
Objeto
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Processo
tem como
origem
AutonomousAgent
Processo
e' uma
instancia
de
Beber
Processo
e' um
agente
de
Agente Cognitivo
Objeto
e' um
recurso
para
Processo
Processo
Processo
e' uma
instancia
de
Corkage
Processo
e' um
agente
de
Agente Cognitivo
Processo
inclui uma
referencia
a
Objeto
Processo
termina
em
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20734-20743
directed
Humano
and
Filme
Processo
e' uma
instancia
de
FilmMaking
AutonomousAgent
e' uma
instancia
de
Organizacao
leader
AutonomousAgent
and
Humano
Processo
e' um
agente
de
AutonomousAgent
Filme
e' o
resultado
de
Processo
FilmDirector
e' um
atributo
de
Humano
vale
durante
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3040-3054
AutonomousAgent
emprega
Agente Cognitivo
Processo
e' uma
instancia
de
DoNetworkMessaging
Objeto
e' o
resultado
de
Processo
NSFW
e' um
atributo
de
Objeto
Processo
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
o argumento
Entidade
Processo
causa
Entidade
suffers
Entidade
and
Agente Cognitivo
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3022-3038
AutonomousAgent
emprega
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
Processo
e' uma
instancia
de
DoNetworkMessaging
Objeto
e' o
resultado
de
Processo
NSFW
e' um
atributo
de
Objeto
Processo
e' um
agente
de
Agente Cognitivo
Processo
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
o argumento
Agente Cognitivo
ROC
Processo
causa
Agente Cognitivo
ROC
suffers
Agente Cognitivo
ROC and
Agente Cognitivo
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18343-18358
Organizacao
e'
igual
a
DepartmentOfFn
Organizacao
and
Fisico
Organizacao
2 e' uma parte da organizacao
Organizacao
Organizacao
e'
igual
a
Organizacao
2
Entidade
e' uma
instancia
de
Fisico
Organizacao
esta'
interessado
em
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
e' um
agente
de
Organizacao
Entidade
2 e'
igual
a a
probabilidade
de
Entidade
e' um
agente
de
Organizacao
2
Numero Real
e'
maior
que
Entidade
2
No TPTP formula. May not be expressible in strict first order.
Dining.kif 336-350
facility
AutonomousAgent
and
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
o argumento
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Agente Cognitivo
usa
Entidade
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 841-862
freeFunctionRoomAmenity
HotelFunctionRoom
and
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Objeto
e' uma
instancia
de
Fisico
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Processo
Objeto
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Objeto
price
Objeto
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 546-561
freePropertyAmenity
AutonomousAgent
and
Fisico
Processo
e' uma
instancia
de
Fisico
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
AutonomousAgent
possui
Processo
Processo
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Processo
price
Processo
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 346-361
freeRoomAmenity
HotelUnit
and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
situado
em
TemporaryResidence
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Humano
Objeto
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
recurso
para
Processo
price
Objeto
, 0
UnitedStatesDollar
(s) and
Humano
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7727-7733
customer
Agente Cognitivo
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Transacao Financeira
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3635-3642
customerRepresentative
Agente Cognitivo
,
Agente Cognitivo
and
Organizacao
Processo
Processo
e' uma
instancia
de
Transacao Financeira
Organizacao
emprega
Agente Cognitivo
Processo
e' um
agente
de
Agente Cognitivo
Processo
termina
em
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30271-30279
Mute
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Speaking
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
e' um
agente
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1601-1607
LegalAgent
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e'
capaz
de fazer
Acao Legal
no role
agent
Entidade
e'
capaz
de fazer
Acao Legal
no role
patient
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14100-14106
agreementClause
Proposicao
,
Permission
,
Agreement
and
Agente Cognitivo
Agente Cognitivo
tem o
direito
de executar
Entidade
Entidade
exprime
o conteudo de
Proposicao
Entidade
e' um
agente
de
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14091-14098
agreementClause
Proposicao
,
Prohibition
,
Agreement
and
Agente Cognitivo
Agente Cognitivo
nao %n o
direito
de executar
Entidade
Entidade
exprime
o conteudo de
Proposicao
Entidade
e' um
agente
de
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
Music.kif 280-287
albumArtist
Album
and
Agente Cognitivo
Objeto Representendo Conteudo Abstrato
Processo
Objeto Representendo Conteudo Abstrato
e' uma
instancia
de
Recording
Objeto Representendo Conteudo Abstrato
e' um
membro
de
Album
record
Objeto Representendo Conteudo Abstrato
and
Processo
Processo
e' um
agente
de
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14079-14089
agreementClause
Proposicao
,
Atributo Deontico
,
Agreement
and
Agente Cognitivo
Atributo Deontico
e'
igual
a
Obligation
Atributo Deontico
e'
igual
a
Promise
o argumento
Entidade
Entidade
exprime
o conteudo de
Proposicao
Entidade
e' um
agente
de
Agente Cognitivo
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
emotion.kif 374-387
AppraisalAsJustTreatment
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
JT e' uma
instancia
de
AppraisalProcess
Agente Cognitivo
JT e' um
agente
de
Agente Cognitivo
Processo
Agente Cognitivo
2
Processo
e' uma
instancia
de
Processo
Agente Cognitivo
JT inclui uma
referencia
a
Processo
Processo
e' um
agente
de
Agente Cognitivo
2
Agente Cognitivo
e'
igual
a
Agente Cognitivo
2
Agente Cognitivo
e' um
patient
de
Processo
Agente Cognitivo
quer
Processo
No TPTP formula. May not be expressible in strict first order.
emotion.kif 349-363
AppraisalAsUnjustTreatment
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
UJ e' uma
instancia
de
AppraisalProcess
Agente Cognitivo
UJ e' um
agente
de
Agente Cognitivo
Processo
Agente Cognitivo
2
Processo
e' uma
instancia
de
Processo
Agente Cognitivo
UJ inclui uma
referencia
a
Processo
Processo
e' um
agente
de
Agente Cognitivo
2
Agente Cognitivo
e'
igual
a
Agente Cognitivo
2
Agente Cognitivo
e' um
patient
de
Processo
Agente Cognitivo
nao
quer
%n
Processo
No TPTP formula. May not be expressible in strict first order.
Biography.kif 223-230
Founder
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
Processo
Processo
e' uma
instancia
de
Founding
Processo
e' um
agente
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4373-4382
TwoFactorAuthentication
e' um
atributo
de
UserAccount
loggedInDuring
AutonomousAgent
,
UserAccount
and
Intervalo Temporal
Intervalo Temporal
F
Intervalo Temporal
F e' uma
instancia
de
TwoFactorLoggingIn
Intervalo Temporal
F e' um
agente
de
AutonomousAgent
accountUsed
Intervalo Temporal
F and
UserAccount
tempo
de existencia de
Intervalo Temporal
F acontence
antes
de
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Biography.kif 757-776
VoiceActor
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
DramaticActing
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
LinguisticCommunication
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
sub
-processo de
Processo
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Visao
AutonomousAgent
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Ouvir
AutonomousAgent
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 204-223
Muslim
e' um
atributo
de
AutonomousAgent
valor
da propriedade de
AutonomousAgent
e'
igual
a
Medida de Divisa
o argumento
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Zakat
Entidade
e' uma
instancia
de
Ano
Entidade
acontece
durante
tempo
de existencia de
AutonomousAgent
FullyFormed
e' um
atributo
de
AutonomousAgent
vale
durante
Entidade
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
o
valor
de
Entidade
e'
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfCurrency
Entidade
e'
maior
que
Medida de Divisa
+ 0.025 tem a
forca
modal
de
Obligation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17332-17345
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Atributo Subjectivo
Posicao Temporal
Processo
and
AutonomousAgent
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Atributo
e' um
atributo
de
Objeto
e' o
resultado
de
Processo
AutonomousAgent
acredita
que
Objeto
tem um
atributo
de
Atributo
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Military.kif 286-297
Atributo
e' um
atributo
de
AutonomousAgent
Atributo
e' uma
instancia
de
CommissionedOfficerRank
Processo
Objeto
Processo
e' uma
instancia
de
Administrar
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
MilitaryOrganization
Soldier
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 134-143
Muslim
e' um
atributo
de
Objeto
Objeto
e'
capaz
de fazer
Hajj
no role
agent
o argumento
Entidade
Entidade
e' uma
instancia
de
Hajj
Entidade
e' um
agente
de
Objeto
tem a
forca
modal
de
Obligation
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1207-1224
CommunalAttribute
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Table
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
GroupOfPeople
eventLocated
Processo
and
Objeto
o argumento
Entidade
Entidade
and
Objeto
2
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
AutonomousAgent
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
eventLocated
Entidade
and
Objeto
2
tempo
de existencia de
Processo
encontra
tempo
de existencia de
Entidade
Objeto
e'
igual
a
Objeto
2 tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20601-20623
Waiter
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Humano
AutonomousAgent
emprega
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Restaurant
customer
Agente Cognitivo
and
AutonomousAgent
Agente Cognitivo
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Table
Objeto
Entidade
,
Entidade
and
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
KitchenArea
Objeto
e' uma
instancia
de
DiningArea
Objeto
e'
situado
em
Objeto
Agente Cognitivo
tem por
fim
Entidade
e' uma
instancia
de
Carrying
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
tem como
origem
Objeto
Entidade
termina
em
Objeto
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Humano
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29963-29972
buys
Agente Cognitivo
,
AutonomousAgent
and
Entidade
Entidade
e' uma
instancia
de
Fisico
Processo
Processo
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
Processo
tem como
origem
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29974-29984
buys
Agente Cognitivo
,
AutonomousAgent
and
Proposicao
Proposicao
e' uma
instancia
de
Proposicao
Processo
Processo
Processo
e' um
agente
de
Agente Cognitivo
Processo
exprime
o conteudo de
Proposicao
Processo
e' uma
instancia
de
Comprar
Processo
e' um
patient
de
Processo
Processo
tem como
origem
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
TransportDetail.kif 153-172
Organizacao
e'
capaz
de fazer
ValetParking
no role
agent
customer
Agente Cognitivo
and
Organizacao
Organizacao
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Arriving
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Objeto
Humano
Humano
ocupa a
posicao
de
Valet
Organizacao
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
ValetParking
Entidade
e' um
agente
de
Humano
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
ParkingRegion
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 684-695
checkOutTime
Agente Cognitivo
and
Ponto no tempo
guest
Agente Cognitivo
and
Agente Cognitivo
expects
Agente Cognitivo
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
CheckOutService
Entidade
e' um
agente
de
Agente Cognitivo
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de
Entidade
No TPTP formula. May not be expressible in strict first order.
Government.kif 1132-1152
Humano
e' um
cidadao
de
Nacao
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
RegionalLawFn
Nacao
autoriza
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
No TPTP formula. May not be expressible in strict first order.
Dining.kif 130-150
customer
Agente Cognitivo
and
AutonomousAgent
corkageFee
Medida de Divisa
,
Objeto
and
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
Processo
Processo
e' uma
instancia
de
Comprar
Objeto
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Processo
tem como
origem
AutonomousAgent
Processo
e' uma
instancia
de
Beber
Processo
e' um
agente
de
Agente Cognitivo
Objeto
e' um
recurso
para
Processo
Processo
Processo
e' uma
instancia
de
Corkage
Processo
e' um
agente
de
Agente Cognitivo
Processo
inclui uma
referencia
a
Objeto
Processo
termina
em
AutonomousAgent
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
People.kif 456-469
Ano
e' uma
instancia
de o
ano
Numero Inteiro
ChildrenBornPerWomanFn
Area Geopolitica
and
Ano
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
Government.kif 1241-1248
?AGENT ?VOTER, ?ELECTION and ?VOTING
?ELECTION e' uma
instancia
de
ElectionFn
?AGENT ?VOTING e' uma
instancia
de
VotingFn
?ELECTION ?VOTING e' um
agente
de ?VOTER
Male
e' um
atributo
de ?VOTER
contem
informacao
ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order.
Government.kif 923-931
?COUNTRY ?ELECTION, ?VOTING and ?VOTER
?COUNTRY e' uma
instancia
de
Nacao
?ELECTION e' uma
instancia
de
ElectionFn
?COUNTRY ?VOTING e' uma
instancia
de
VotingFn
?ELECTION ?VOTING e' um
agente
de ?VOTER
?VOTER e' um
cidadao
de ?COUNTRY
contem
informacao
VoterCitizenshipRequirement
No TPTP formula. May not be expressible in strict first order.
Government.kif 1092-1103
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?AGENT e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?AGENT e'
capaz
de fazer
VotingFn
?ELECTION no role
agent
contem
informacao
UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order.
Government.kif 1160-1174
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?VOTER e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?VOTING ?VOTING e' uma
instancia
de
VotingFn
?ELECTION ?VOTING e' um
agente
de ?VOTER
contem
informacao
CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4559-4564
Processo
Entidade
Processo
e' uma
instancia
de
Disseminar
Processo
e' um
agente
de
Netflix
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Filme
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4566-4569
Processo
Processo
e' uma
instancia
de
FilmMaking
Processo
e' um
agente
de
Netflix
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