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
Le nombre 1 argument de
confersRight
est une
instance
de
formule
(
domain
confersRight
2
Entity
)
Merge.kif 17434-17434
Le nombre 2 argument de
confersRight
est une
instance
de
entit�
(
domain
confersRight
3
CognitiveAgent
)
Merge.kif 17435-17435
Le nombre 3 argument de
confersRight
est une
instance
de
agent cognitif
(
instance
confersRight
TernaryPredicate
)
Merge.kif 17432-17432
confersRight
est une
instance
de
pr�dicat ternaire
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
est
reli
� � l'int�rieur de SUMO �
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
point temporel
Agreement
autorise
agent cognitif
� ex�cut� des t�ches du type
formule
position temporel
est une
instance
de
point temporel
agent cognitif
a le
droit
d'executer
formule
pendant
immediatement
apr
�s
position temporel
(=>
(
confersRight
?FORMULA ?AGENT1 ?AGENT2)
(
holdsRight
?FORMULA ?AGENT2))
Merge.kif 17440-17442
Entit�
autorise
agent cognitif
� ex�cut� des t�ches du type
formule
agent cognitif
a le
droit
d'executer
formule
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
Humain
est un
citoyen
de
nation
UniversalSuffrageLaw
est une
sous
-proposition de
RegionalLawFn
nation
RegionalLawFn
nation
autorise
humain
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
entit�
YearDuration
(s) l'
humain
est
entit�
YearDuration
(s)
entit�
est
plus
grand
ou �gal �
entit�
entit�
est une
instance
de
ElectionFn
nation
entit�
entit�
est une
instance
de
VotingFn
entit�
entit�
est un
agent
de
humain
(=>
(
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
agent cognitif
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
physique
physique
est une
sous
-classe de
objet
entit�
est une
instance
de
physique
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
entit�
(=>
(
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
objet
customer
agent cognitif
and
AutonomousAgent
entit�
est une
instance
de
objet
agent cognitif
desire
entit�
entit�
est une
instance
de
processus intentionnel
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
l'argument
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
agent cognitif
utilise
entit�
a la
force
modale
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
humain
and
AutonomousAgent
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
TemporaryResidence
est une
instance
de
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
physique
physique
est une
sous
-classe de
objet
physique
physique
est une
instance
de
physique
physique
est
situ
� �
TemporaryResidence
AutonomousAgent
autorise
humain
� ex�cut� des t�ches du type
entit�
entit�
est un
agent
de
humain
physique
est un
instrument
pour
entit�
physique
est un
patient
de
entit�
physique
est une
resource
pour
entit�
(=>
(
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
Objet
est une
instance
de
AOCnumber
agent cognitif
est une
instance
de
Airline
agent cognitif
poss
�de
objet
FederalAviationAdministration
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
AirTransportationService
serviceProvider
entit�
and
agent cognitif
(=>
(
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
Processus
est une
instance
de
ArmedReconnaissance
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
enemy
agent cognitif
and
entit�
pendant
temps
d'existence de
processus
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
(=>
(
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
Entit�
est une
instance
de
LegalAward
entit�
inclut une
r
�f�rence �
processus
processus
est une
instance
de
action l�gale
processus
est un
agent
de
agent cognitif
entit�
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
obtenir
agent cognitif
exp
�rimente
entit�
entit�
est un
patient
de
entit�
valeur
de
entit�
est
entit�
(=>
(
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
Processus
est une
instance
de
Inheriting
processus
est un
agent
de
agent cognitif
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
AutonomousAgent
poss
�de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
agent cognitif
poss
�de
entit�
(=>
(
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
Collection
est une
instance
de
organisation
AirTransportationIndustry
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
agent cognitif
LANE and
entit�
entit�
est une
instance
de
transporter
agent cognitif
est un
patient
de
entit�
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
collection
poss
�de
agent cognitif
LANE
agent cognitif
LANE est une
instance
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
Collection
est une
instance
de
organisation
CouriersAndMessengers
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
objet
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
transporter
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
(=>
(
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
Collection
est une
instance
de
organisation
PipelineTransportation
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
,
entit�
and
agent cognitif
IPE
entit�
est une
instance
de
transporter
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
substance
collection
poss
�de
entit�
agent cognitif
IPE est un
instrument
pour
entit�
agent cognitif
IPE est une
instance
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
Collection
est une
instance
de
organisation
PostalService
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
objet
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
transporter
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
(=>
(
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
Collection
est une
instance
de
organisation
RailTransportation
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
transporter
agent cognitif
est un
patient
de
entit�
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
collection
poss
�de
entit�
entit�
est une
instance
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
Collection
est une
instance
de
organisation
ScenicAndSightseeingTransportation
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
entit�
est une
instance
de
transporter
entit�
est une
instance
de
r�cr�ation ou exercice
agent cognitif
est un
patient
de
entit�
collection
poss
�de
entit�
entit�
est une
instance
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
Collection
est une
instance
de
organisation
TransitAndGroundPassengerTransportation
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
entit�
est une
instance
de
transporter
agent cognitif
est un
patient
de
entit�
collection
poss
�de
entit�
entit�
est une
instance
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
Collection
est une
instance
de
organisation
TruckTransportation
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
transporter
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
collection
poss
�de
entit�
entit�
est une
instance
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
Collection
est une
instance
de
organisation
WarehousingAndStorage
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
objet
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
entit�
est une
instance
de
interval temporel
entit�
est une
instance
de
immeuble
agent cognitif
poss
�de
entit�
entit�
est
situ
� �
entit�
pendant
entit�
(=>
(
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
Collection
est une
instance
de
organisation
WaterTransportationIndustry
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
transporter
agent cognitif
est un
patient
de
entit�
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
collection
poss
�de
entit�
entit�
est une
instance
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
Processus
est une
instance
de
Stealing
processus
aboutit
�
agent cognitif
processus
a pour
origine
objet
objet
est une
instance
de
agent cognitif
objet
n'
autorise
%n{pas}
agent cognitif
� ex�cut� des t�ches du type
processus
aboutit
�
agent cognitif
(=>
(
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
Entit�
_CTRL est une
instance
de
TerminalAttackControl
entit�
_CTRL est un
agent
de
AutonomousAgent
entit�
RGET est un
patient
de
entit�
_CTRL
agent cognitif
AutonomousAgent
est
agent cognitif
entit�
_CTRL
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
agent cognitif
entit�
RGET est un
patient
de
entit�
(=>
(
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
Agent cognitif
poss
�de
objet
agent cognitif
est une
instance
de
CommercialAgent
objet
est une
instance
de
ParkingLot
objet
est une
instance
de
immeuble
agent cognitif
est
situ
� �
objet
customer
agent cognitif
and
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
pendant
position temporel
processus
est une
instance
de
conduire
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
agent cognitif
autorise
AutonomousAgent
� ex�cut� des t�ches du type
entit�
est une
instance
de
garder
entit�
aboutit
�
objet
entit�
est un
patient
de
entit�
pendant
position temporel
(=>
(
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
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
objet
entit�
est une
instance
de
Ticket
entit�
aboutit
�
entit�
entit�
a pour
but
objet
autorise
entit�
� ex�cut� des t�ches du type
entit�
entit�
entit�
est une
instance
de
voir
entit�
est un
agent
de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
Performance
entit�
est une
instance
de
sport
(=>
(
confersObligation
?F ?E ?A)
(
confersRight
?F ?E ?A))
Law.kif 343-345
Entit�
oblige
agent cognitif
� ex�cut� des t�ches du type
formule
entit�
autorise
agent cognitif
� ex�cut� des t�ches du type
formule
(=>
(
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
Entit�
est une
instance
de
Invoice
cha�ne sympbolique
agent cognitif
,
AutonomousAgent
,
entit�
and
entit�
l'
unique
identifier de
cha�ne sympbolique
est
entit�
buys
agent cognitif
,
AutonomousAgent
and
entit�
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
entit�
est une
instance
de
vendre
entit�
est une
instance
de
produit
objectTransferred
entit�
and
entit�
entit�
inclut une
r
�f�rence �
entit�
entit�
est un
agent
de
AutonomousAgent
agent cognitif
est un
patient
de
entit�
(=>
(
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
Physique
est une
instance
de
RestaurantBuilding
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
and
entit�
AY
entit�
emploie
entit�
entit�
poss
�de
physique
entit�
est une
instance
de
humain
entit�
AY est une
instance
de
financial transaction
entit�
AY est un
agent
de
entit�
entit�
est un
patient
de
entit�
AY
entit�
autorise
entit�
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
manger
entit�
est un
agent
de
entit�
eventLocated
entit�
and
physique
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