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 17507-17509
(
domain
confersRight
1
Formula
)
Merge.kif 17504-17504
域
賦予權利
, 1 and
Formula
(
domain
confersRight
2
Entity
)
Merge.kif 17505-17505
域
賦予權利
, 2 and
Entity
(
domain
confersRight
3
CognitiveAgent
)
Merge.kif 17506-17506
域
賦予權利
, 3 and
CognitiveAgent
(
instance
confersRight
TernaryPredicate
)
Merge.kif 17503-17503
例
賦予權利
and
TernaryPredicate
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 17528-17528
相關的內部概念
授予義務
and
賦予權利
(
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 685-690
TimePoint
是
協議
的
agreement
生效日期
賦予權利
Formula
,
協議
and
CognitiveAgent
例
TimePosition
and
TimePoint
持有期間
眼前的未來
TimePosition
and
堅持正確
Formula
and
CognitiveAgent
(=>
(
confersRight
?FORMULA ?AGENT1 ?AGENT2)
(
holdsRight
?FORMULA ?AGENT2))
Merge.kif 17511-17513
賦予權利
Formula
,
Entity
and
CognitiveAgent
堅持正確
Formula
and
CognitiveAgent
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 1096-1116
公民
Human
and
Nation
次提案
普選法
and
Nation
的
regional
法律
賦予權利
entity
entity
and
entity
公民
Human
and
Nation
測量
entity
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
entity
and
年持續時間
大於或等於
entity
and
entity
例
entity
and
Nation
的
election
entity
例
entity
and
entity
的
voting
agent
entity
and
Human
,
Nation
的
regional
法律 and
Human
(=>
(
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
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Object
例
Entity
and
Physical
賦予權利
entity
例
entity
and
Process
資源
entity
and
Entity
儀器
entity
and
Entity
患者
entity
and
Entity
agent
entity
and
CognitiveAgent
體驗者
entity
and
CognitiveAgent
,
AutonomousAgent
and
CognitiveAgent
(=>
(
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
AutonomousAgent
provides
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Entity
and
Object
慾望
CognitiveAgent
and
entity
例
entity
and
IntentionalProcess
患者
entity
and
Entity
agent
entity
and
CognitiveAgent
模態屬性
賦予權利
使用
Entity
and
CognitiveAgent
,
AutonomousAgent
and
CognitiveAgent
and
可能性
(=>
(
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
Human
是在
AutonomousAgent
的
guest
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
暫住
and
暫住
OOM
Physical
是
amenity
在
暫住
OOM
子類
Physical
and
Object
Physical
例
Physical
and
Physical
位於
Physical
and
暫住
賦予權利
entity
agent
entity
and
Human
儀器
entity
and
Physical
患者
entity
and
Physical
資源
entity
and
Physical
,
AutonomousAgent
and
Human
(=>
(
and
(
instance
?AOC
AOCnumber
)
(
instance
?AIRLINE
Airline
)
(
possesses
?AIRLINE ?AOC))
(
confersRight
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))
FederalAviationAdministration
?AIRLINE))
Transportation.kif 3240-3250
例
Object
and
AOCnumber
例
CognitiveAgent
and
Airline
擁有
CognitiveAgent
and
Object
賦予權利
entity
例
entity
and
AirTransportationService
服務提供者
entity
and
CognitiveAgent
,
FederalAviationAdministration
and
CognitiveAgent
(=>
(
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
例
Process
and
武裝偵察
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
持有期間
何時
Process
and
enemy
CognitiveAgent
and
Entity
賦予權利
entity
例
entity
and
攻擊
agent
entity
and
CognitiveAgent
患者
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
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 16227-16239
例
Entity
and
法律獎勵
參照
Entity
and
Process
例
Process
and
LegalAction
agent
Process
and
CognitiveAgent
賦予權利
entity
entity
and
entity
例
entity
and
Getting
體驗者
entity
and
CognitiveAgent
患者
entity
and
entity
貨幣價值
entity
and
entity
,
Entity
and
CognitiveAgent
(=>
(
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 18648-18666
例
Process
and
繼承
agent
Process
and
CognitiveAgent
起源
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Process
持有期間
不久的過去
何時
Process
and
擁有
AutonomousAgent
and
Entity
賦予權利
擁有
CognitiveAgent
and
Entity
,
AutonomousAgent
and
CognitiveAgent
(=>
(
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
and
Organization
attribute
Collection
and
航空運輸業
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
CognitiveAgent
LANE and
entity
例
entity
and
Transportation
患者
entity
and
CognitiveAgent
擁有
CognitiveAgent
and
entity
患者
entity
and
entity
例
entity
and
Object
擁有
Collection
and
CognitiveAgent
LANE
例
CognitiveAgent
LANE and
飛機
,
Process
and
CognitiveAgent
(=>
(
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
and
Organization
attribute
Collection
and
信使和信使
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
Object
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
例
entity
and
Transportation
擁有
CognitiveAgent
and
Entity
患者
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
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
and
Organization
attribute
Collection
and
管道運輸
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
,
entity
and
CognitiveAgent
IPE
例
entity
and
Transportation
擁有
CognitiveAgent
and
entity
患者
entity
and
entity
例
entity
and
Substance
擁有
Collection
and
entity
儀器
entity
and
CognitiveAgent
IPE
例
CognitiveAgent
IPE and
管道
,
Process
and
CognitiveAgent
(=>
(
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
and
Organization
attribute
Collection
and
郵政服務
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
Object
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
例
entity
and
Transportation
擁有
CognitiveAgent
and
Entity
患者
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
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
and
Organization
attribute
Collection
and
鐵路運輸
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
and
entity
例
entity
and
Transportation
患者
entity
and
CognitiveAgent
擁有
CognitiveAgent
and
entity
患者
entity
and
entity
例
entity
and
Object
擁有
Collection
and
entity
例
entity
and
鐵路車輛
,
Process
and
CognitiveAgent
(=>
(
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
and
Organization
attribute
Collection
and
景區和觀光交通
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
例
entity
and
Transportation
例
entity
and
RecreationOrExercise
患者
entity
and
CognitiveAgent
擁有
Collection
and
entity
例
entity
and
車輛
,
Process
and
CognitiveAgent
(=>
(
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
and
Organization
attribute
Collection
and
過境和地面客運
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
例
entity
and
Transportation
患者
entity
and
CognitiveAgent
擁有
Collection
and
entity
例
entity
and
陸地車輛
,
Process
and
CognitiveAgent
(=>
(
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
and
Organization
attribute
Collection
and
卡車運輸
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
and
entity
例
entity
and
Transportation
擁有
CognitiveAgent
and
entity
患者
entity
and
entity
例
entity
and
Object
擁有
Collection
and
entity
例
entity
and
陸地車輛
,
Process
and
CognitiveAgent
(=>
(
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
and
Organization
attribute
Collection
and
倉儲和儲存
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
Object
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
例
entity
and
TimeInterval
例
entity
and
Building
擁有
CognitiveAgent
and
Entity
持有期間
entity
and
位於
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
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
and
Organization
attribute
Collection
and
水運業
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
entity
and
entity
例
entity
and
Transportation
患者
entity
and
CognitiveAgent
擁有
CognitiveAgent
and
entity
患者
entity
and
entity
例
entity
and
Object
擁有
Collection
and
entity
例
entity
and
水車
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?STEAL
Stealing
)
(
destination
?STEAL ?AGENT)
(
origin
?STEAL ?VICTIM)
(
instance
?VICTIM
CognitiveAgent
))
(
not
(
confersRight
(
destination
?STEAL ?AGENT) ?VICTIM ?AGENT)))
Mid-level-ontology.kif 18613-18621
例
Process
and
偷竊行為
目的地
Process
and
CognitiveAgent
起源
Process
and
Object
例
Object
and
CognitiveAgent
賦予權利
目的地
Process
and
CognitiveAgent
,
Object
and
CognitiveAgent
(=>
(
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
例
entity
_CTRL and
終端攻擊控制
agent
entity
_CTRL and
AutonomousAgent
患者
entity
_CTRL and
entity
RGET
CognitiveAgent
等於
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
例
entity
and
攻擊
agent
entity
and
CognitiveAgent
患者
entity
and
entity
RGET,
entity
_CTRL and
CognitiveAgent
(=>
(
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 106-125
擁有
CognitiveAgent
and
Object
例
CognitiveAgent
and
商業代理人
例
Object
and
停車場
例
Object
and
Building
位於
CognitiveAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
持有期間
TimePosition
and
位於
AutonomousAgent
and
Object
例
Process
and
Driving
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
目的地
Process
and
Object
持有期間
TimePosition
and
賦予權利
例
entity
and
Keeping
目的地
entity
and
Object
患者
entity
and
Entity
,
CognitiveAgent
and
AutonomousAgent
(=>
(
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
attribute
Object
and
ArtsAndRecreationTicketingServices
有目的
Object
and
entity
entity
and
entity
例
entity
and
Selling
患者
entity
and
entity
agent
entity
and
Object
例
entity
and
票
目的地
entity
and
entity
有目的
entity
and
賦予權利
entity
entity
例
entity
and
Seeing
agent
entity
and
entity
患者
entity
and
entity
例
entity
and
性能
例
entity
and
Sport
,
Object
and
entity
(=>
(
confersObligation
?F ?E ?A)
(
confersRight
?F ?E ?A))
Law.kif 343-345
授予義務
Formula
,
Entity
and
CognitiveAgent
賦予權利
Formula
,
Entity
and
CognitiveAgent
(=>
(
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 29892-29912
例
Entity
and
Invoice
SymbolicString
CognitiveAgent
,
AutonomousAgent
,
Entity
and
entity
獨特標識符
SymbolicString
and
Entity
CognitiveAgent
buys
Entity
從
AutonomousAgent
賦予權利
entity
之前
開始
何時
Entity
and
開始
何時
entity
例
entity
and
Selling
例
entity
and
Product
objectTransferred
entity
and
entity
參照
Entity
and
entity
agent
entity
and
AutonomousAgent
患者
entity
and
CognitiveAgent
,
AutonomousAgent
and
CognitiveAgent
(=>
(
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 22612-22626
例
Physical
and
餐廳建築
有目的
Physical
and
entity
entity
,
entity
,
entity
and
entity
AY
採用
entity
and
entity
擁有
entity
and
Physical
例
entity
and
Human
例
entity
AY and
FinancialTransaction
agent
entity
AY and
entity
患者
entity
AY and
entity
賦予權利
entity
,
entity
and
entity
例
entity
and
Eating
agent
entity
and
entity
entity
是
located
在
Physical
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