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
confersRight
Sigma KEE - confersRight
confersRight
appearance as argument number 1
(
documentation
confersRight
ChineseLanguage
"这是用来表达
Formula
、
Entity
和
CognitiveAgent
三者之间的一种关系,那就是
Entity
授权于
CognitiveAgent
去实现
Formula
所指的。")
chinese_format.kif 3895-3897
(
documentation
confersRight
EnglishLanguage
"Expresses the relationship between a
Formula
, an
Entity
, and a
CognitiveAgent
when the
Entity
authorizes the
CognitiveAgent
to bring it about that the
Formula
is true.")
Merge.kif 17436-17438
(
domain
confersRight
1
Formula
)
Merge.kif 17433-17433
O argumento numero 1 de
confersRight
e' uma
instancia
de
Formula
(
domain
confersRight
2
Entity
)
Merge.kif 17434-17434
O argumento numero 2 de
confersRight
e' uma
instancia
de
Entidade
(
domain
confersRight
3
CognitiveAgent
)
Merge.kif 17435-17435
O argumento numero 3 de
confersRight
e' uma
instancia
de
Agente Cognitivo
(
instance
confersRight
TernaryPredicate
)
Merge.kif 17432-17432
confersRight
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
(
format
ChineseLanguage
confersRight
"%2 %n{doesn't} 允许 %3 执行 %1 的任务")
chinese_format.kif 203-203
(
format
EnglishLanguage
confersRight
"%2 %n{doesn't} allow%p{s} %3 to perform task of the type %1")
english_format.kif 204-204
(
format
FrenchLanguage
confersRight
"%2 %n{n'} autorise %n{pas} %3 � ex�cut� des t�ches du type %1")
french_format.kif 121-121
(
format
ItalianLanguage
confersRight
"%2 permette a %3 di compiere il compito di tipo %1")
relations-it.txt 51-51
(
format
JapaneseLanguage
confersRight
"%2 は %3 が %1 のタスクを実行することはを allow%p{s} %n{ない}")
japanese_format.kif 1950-1950
(
format
PortugueseLanguage
confersRight
"%2 %n{nao} autoriza %n %3 a executar tarefas de tipo %1")
portuguese_format.kif 73-73
(
format
de
confersRight
"%2 erlaubt %3, die Aufgabe der Art von %1 durchzuf�hren %n{nicht}")
relations-de.txt 261-261
(
format
hi
confersRight
"%2 %3 ko %1 ke prakaara kaa kaama karane kaa adhikaara detaa hai")
relations-hindi.txt 92-92
(
format
ro
confersRight
"%2 %n{nu-i} allow%t{permite} lui %3 sã execute sarcina de tipul %1")
relations-ro.kif 140-140
(
format
sv
confersRight
"%2 tillåter %n{inte} %3 att utföra uppgifter av typen %1")
relations-sv.txt 126-126
(
format
tg
confersRight
"%2 nagpapahintulot %3 gawin ang gawain sa ang klase %1")
relations-cb.txt 85-85
(
relatedInternalConcept
confersObligation
confersRight
)
Merge.kif 17457-17457
confersObligation
e'
relacionado
internamente por SUMO a
confersRight
(
termFormat
ChineseLanguage
confersRight
"赋予权利")
domainEnglishFormat.kif 16590-16590
(
termFormat
ChineseTraditionalLanguage
confersRight
"賦予權利")
domainEnglishFormat.kif 16589-16589
(
termFormat
EnglishLanguage
confersRight
"confers right")
domainEnglishFormat.kif 16588-16588
(
termFormat
de
confersRight
"konferiertRecht")
terms-de.txt 83-83
(
termFormat
tg
confersRight
"nakikipaghirap nagpapahintulot")
relations-tg.txt 119-119
antecedent
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
agreementEffectiveDate
Agreement
and
Ponto no tempo
Agreement
autoriza
Agente Cognitivo
a executar tarefas de tipo
Formula
Posicao Temporal
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
tem o
direito
de executar
Formula
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
confersRight
?FORMULA ?AGENT1 ?AGENT2)
(
holdsRight
?FORMULA ?AGENT2))
Merge.kif 17440-17442
Entidade
autoriza
Agente Cognitivo
a executar tarefas de tipo
Formula
Agente Cognitivo
tem o
direito
de executar
Formula
consequent
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
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
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
customer
Agente Cognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Entidade
e' uma
instancia
de
Fisico
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
recurso
para
Entidade
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Entidade
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?X ?CUST) ?AGENT ?CUST)
Possibility
))
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
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
Humano
and
AutonomousAgent
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
TemporaryResidence
e' uma
instancia
de
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Fisico
Fisico
e' uma
instancia
de
Fisico
Fisico
e'
situado
em
TemporaryResidence
AutonomousAgent
autoriza
Humano
a executar tarefas de tipo
Entidade
Entidade
e' um
agente
de
Humano
Fisico
e' um
instrumento
para
Entidade
Fisico
e' um
patient
de
Entidade
Fisico
e' um
recurso
para
Entidade
(=>
(
and
(
instance
?AOC
AOCnumber
)
(
instance
?AIRLINE
Airline
)
(
possesses
?AIRLINE ?AOC))
(
confersRight
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))
FederalAviationAdministration
?AIRLINE))
Transportation.kif 3188-3198
Objeto
e' uma
instancia
de
AOCnumber
Agente Cognitivo
e' uma
instancia
de
Airline
Agente Cognitivo
possui
Objeto
FederalAviationAdministration
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
AirTransportationService
serviceProvider
Entidade
and
Agente Cognitivo
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
Processo
e' uma
instancia
de
ArmedReconnaissance
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
enemy
Agente Cognitivo
and
Entidade
vale
durante
tempo
de existencia de
Processo
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Attack
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
(=>
(
and
(
instance
?AWARD
LegalAward
)
(
refers
?AWARD ?ACTION)
(
instance
?ACTION
LegalAction
)
(
agent
?ACTION ?PLAINTIFF))
(
confersRight
(
exists
(?GET ?OBJ ?VALUE)
(
and
(
instance
?GET
Getting
)
(
experiencer
?GET ?PLAINTIFF)
(
patient
?GET ?OBJ)
(
monetaryValue
?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))
Mid-level-ontology.kif 16200-16212
Entidade
e' uma
instancia
de
LegalAward
Entidade
inclui uma
referencia
a
Processo
Processo
e' uma
instancia
de
Acao Legal
Processo
e' um
agente
de
Agente Cognitivo
Entidade
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Obter
Agente Cognitivo
experimenta
Entidade
Entidade
e' um
patient
de
Entidade
o
valor
de
Entidade
e'
Entidade
(=>
(
and
(
instance
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18621-18639
Processo
e' uma
instancia
de
Inheriting
Processo
e' um
agente
de
Agente Cognitivo
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
AutonomousAgent
possui
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Agente Cognitivo
possui
Entidade
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AirTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?FLY ?PLANE ?OBJ)
(
and
(
instance
?FLY
Transportation
)
(
or
(
patient
?FLY ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?FLY ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?PLANE)
(
instance
?PLANE
Aircraft
))) ?MEM ?P))))))
naics.kif 7953-7978
Colecao
e' uma
instancia
de
Organizacao
AirTransportationIndustry
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Agente Cognitivo
LANE and
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
e' um
patient
de
Entidade
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Colecao
possui
Agente Cognitivo
LANE
Agente Cognitivo
LANE e' uma
instancia
de
Aircraft
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
CouriersAndMessengers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8736-8756
Colecao
e' uma
instancia
de
Organizacao
CouriersAndMessengers
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PipelineTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ ?PIPE)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Substance
)
(
possesses
?ORG ?V)
(
instrument
?T ?PIPE)
(
instance
?PIPE
Pipeline
))) ?MEM ?P))))))
naics.kif 8465-8488
Colecao
e' uma
instancia
de
Organizacao
PipelineTransportation
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
,
Entidade
and
Agente Cognitivo
IPE
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Substancia
Colecao
possui
Entidade
Agente Cognitivo
IPE e' um
instrumento
para
Entidade
Agente Cognitivo
IPE e' uma
instancia
de
Pipeline
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PostalService
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8707-8727
Colecao
e' uma
instancia
de
Organizacao
PostalService
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
RailTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?MOVE ?RR ?OBJ)
(
and
(
instance
?MOVE
Transportation
)
(
or
(
patient
?MOVE ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?MOVE ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?RR)
(
instance
?RR
RailVehicle
))) ?MEM ?P))))))
naics.kif 8034-8059
Colecao
e' uma
instancia
de
Organizacao
RailTransportation
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
e' um
patient
de
Entidade
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Colecao
possui
Entidade
Entidade
e' uma
instancia
de
RailVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ScenicAndSightseeingTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS ?VEH)
(
and
(
instance
?TRANS
Transportation
)
(
instance
?TRANS
RecreationOrExercise
)
(
patient
?TRANS ?P)
(
possesses
?ORG ?VEH)
(
instance
?VEH
Vehicle
))) ?MEM ?P))))))
naics.kif 8528-8549
Colecao
e' uma
instancia
de
Organizacao
ScenicAndSightseeingTransportation
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Entidade
e' uma
instancia
de
Recreacao ou Exercicio
Agente Cognitivo
e' um
patient
de
Entidade
Colecao
possui
Entidade
Entidade
e' uma
instancia
de
Vehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TransitAndGroundPassengerTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?P)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8344-8364
Colecao
e' uma
instancia
de
Organizacao
TransitAndGroundPassengerTransportation
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
e' um
patient
de
Entidade
Colecao
possui
Entidade
Entidade
e' uma
instancia
de
LandVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TruckTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8253-8275
Colecao
e' uma
instancia
de
Organizacao
TruckTransportation
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Colecao
possui
Entidade
Entidade
e' uma
instancia
de
LandVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WarehousingAndStorage
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?B ?T)
(
and
(
instance
?T
TimeInterval
)
(
instance
?B
Building
)
(
possesses
?P ?OBJ)
(
holdsDuring
?T
(
located
?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8776-8797
Colecao
e' uma
instancia
de
Organizacao
WarehousingAndStorage
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
Entidade
e' uma
instancia
de
Intervalo Temporal
Entidade
e' uma
instancia
de
Predio
Agente Cognitivo
possui
Entidade
Entidade
e'
situado
em
Entidade
vale
durante
Entidade
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8080-8105
Colecao
e' uma
instancia
de
Organizacao
WaterTransportationIndustry
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
e' um
patient
de
Entidade
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Colecao
possui
Entidade
Entidade
e' uma
instancia
de
WaterVehicle
(=>
(
and
(
instance
?STEAL
Stealing
)
(
destination
?STEAL ?AGENT)
(
origin
?STEAL ?VICTIM)
(
instance
?VICTIM
CognitiveAgent
))
(
not
(
confersRight
(
destination
?STEAL ?AGENT) ?VICTIM ?AGENT)))
Mid-level-ontology.kif 18586-18594
Processo
e' uma
instancia
de
Stealing
Processo
termina
em
Agente Cognitivo
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
Agente Cognitivo
Objeto
nao
autoriza
%n
Agente Cognitivo
a executar tarefas de tipo
Processo
termina
em
Agente Cognitivo
(=>
(
and
(
instance
?TA_CTRL
TerminalAttackControl
)
(
agent
?TA_CTRL ?AGENT1)
(
patient
?TA_CTRL ?TARGET))
(
exists
(?AGENT2)
(
and
(
not
(
equal
?AGENT1 ?AGENT2))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT2)
(
patient
?ATTACK ?TARGET))) ?TA_CTRL ?AGENT2))))
MilitaryProcesses.kif 482-498
Entidade
_CTRL e' uma
instancia
de
TerminalAttackControl
Entidade
_CTRL e' um
agente
de
AutonomousAgent
Entidade
RGET e' um
patient
de
Entidade
_CTRL
Agente Cognitivo
AutonomousAgent
e'
igual
a
Agente Cognitivo
Entidade
_CTRL
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Attack
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
RGET e' um
patient
de
Entidade
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
Agente Cognitivo
possui
Objeto
Agente Cognitivo
e' uma
instancia
de
CommercialAgent
Objeto
e' uma
instancia
de
ParkingLot
Objeto
e' uma
instancia
de
Predio
Agente Cognitivo
e'
situado
em
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
AutonomousAgent
e'
situado
em
Objeto
vale
durante
Posicao Temporal
Processo
e' uma
instancia
de
Dirigir
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto
Agente Cognitivo
autoriza
AutonomousAgent
a executar tarefas de tipo
Entidade
e' uma
instancia
de
Manter
Entidade
termina
em
Objeto
Entidade
e' um
patient
de
Entidade
vale
durante
Posicao Temporal
(=>
(
attribute
?X
ArtsAndRecreationTicketingServices
)
(
hasPurpose
?X
(
exists
(?SELL ?TICKET ?CUST)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?TICKET)
(
agent
?SELL ?X)
(
instance
?TICKET
Ticket
)
(
destination
?SELL ?CUST)
(
hasPurpose
?TICKET
(
confersRight
(
exists
(?WATCH ?PERF)
(
and
(
instance
?WATCH
Seeing
)
(
agent
?WATCH ?CUST)
(
patient
?WATCH ?PERF)
(
or
(
instance
?PERF
Performance
)
(
instance
?PERF
Sport
)))) ?X ?CUST))))))
Hotel.kif 2353-2372
ArtsAndRecreationTicketingServices
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Objeto
Entidade
e' uma
instancia
de
Ticket
Entidade
termina
em
Entidade
Entidade
tem por
fim
Objeto
autoriza
Entidade
a executar tarefas de tipo
Entidade
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Performance
Entidade
e' uma
instancia
de
Esporte
(=>
(
confersObligation
?F ?E ?A)
(
confersRight
?F ?E ?A))
Law.kif 343-345
Entidade
obriga
Agente Cognitivo
a executar tarefas de tipo
Formula
Entidade
autoriza
Agente Cognitivo
a executar tarefas de tipo
Formula
(=>
(
instance
?INVOICE
Invoice
)
(
exists
(?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?INVOICE)
(
buys
?BUYER ?SELLER ?ENT)
(
confersRight
(
exists
(?SELLING)
(
and
(
before
(
BeginFn
(
WhenFn
?INVOICE))
(
BeginFn
(
WhenFn
?SELLING)))
(
instance
?SELLING
Selling
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?SELLING ?PRODUCT)
(
refers
?INVOICE ?PRODUCT)
(
agent
?SELLING ?SELLER)
(
patient
?SELLING ?BUYER))) ?SELLER ?BUYER))))
Mid-level-ontology.kif 29868-29888
Entidade
e' uma
instancia
de
Invoice
Sequencia Simbolica
Agente Cognitivo
,
AutonomousAgent
,
Entidade
and
Entidade
o
identificador
unico de
Sequencia Simbolica
e'
Entidade
buys
Agente Cognitivo
,
AutonomousAgent
and
Entidade
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Produto
objectTransferred
Entidade
and
Entidade
Entidade
inclui uma
referencia
a
Entidade
Entidade
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e' um
patient
de
Entidade
(=>
(
instance
?X
RestaurantBuilding
)
(
hasPurpose
?X
(
exists
(?OWN ?EMP ?EV ?P ?PAY)
(
and
(
employs
?OWN ?EMP)
(
possesses
?OWN ?X)
(
instance
?P
Human
)
(
instance
?PAY
FinancialTransaction
)
(
agent
?PAY ?P)
(
patient
?PAY ?EMP)
(
confersRight
?EMP ?EV ?P)
(
instance
?EV
Eating
)
(
agent
?EV ?P)
(
eventLocated
?EV ?X)))))
Mid-level-ontology.kif 22560-22574
Fisico
e' uma
instancia
de
RestaurantBuilding
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
AY
Entidade
emprega
Entidade
Entidade
possui
Fisico
Entidade
e' uma
instancia
de
Humano
Entidade
AY e' uma
instancia
de
Transacao Financeira
Entidade
AY e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
AY
Entidade
autoriza
Entidade
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
eventLocated
Entidade
and
Fisico
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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