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 数量 是
公式
的
instance
(
domain
confersRight
2
Entity
)
Merge.kif 17505-17505
赋予权利
的 2 数量 是
实体
的
instance
(
domain
confersRight
3
CognitiveAgent
)
Merge.kif 17506-17506
赋予权利
的 3 数量 是
有认知的主事
的
instance
(
instance
confersRight
TernaryPredicate
)
Merge.kif 17503-17503
赋予权利
是
三元谓语
的
instance
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
授予执行任务
和
赋予权利
是 内部相关
(
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
如果
时点
是
协议
的
agreement
生效日期 和
那个 协议
允许
有认知的主事
执行
公式
的任务 和
时间位置
是
那个 时点
的
instance
,
然后
那个 有认知的主事
有权利去做
那个 公式
在 紧接
那个 时间位置
after
holdsDuring
(=>
(
confersRight
?FORMULA ?AGENT1 ?AGENT2)
(
holdsRight
?FORMULA ?AGENT2))
Merge.kif 17511-17513
如果
实体
允许
有认知的主事
执行
公式
的任务,
然后
那个 有认知的主事
有权利去做
那个 公式
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
如果
人类
是
国家
的
citizen
和
普选法
是
那个 国家
的
regional
法律 的
subProposition
,
然后
那个 国家
的
regional
法律 允许
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
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
和
那个 施事体
有
有点 物理
和
有点 物理
是
客体
的
subclass
和
实体
是
那个 有点 物理
的
instance
,
然后
那个 施事体
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 实体
是
那个 另外 实体
的
resource
或
那个 实体
是导致
那个 另外 实体
的
instrument
或
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
或
那个 有认知的主事
经历了
那个 另外 实体
的任务
(=>
(
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
如果
施事体
provides
客体
和
那个 施事体
是
有认知的主事
的
customer
和
实体
是
那个 客体
的
instance
和
那个 有认知的主事
desires
有存在
另一个 实体
这样
那个 另外 实体
是
有意图过程
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
,
然后
那个 施事体
允许
那个 有认知的主事
执行
那个 有认知的主事
uses
那个 实体
的任务 的声明 has
可能性
的语气
(=>
(
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
和
那个 人类
stays
在
暂住
和
那个 暂住
是
那个 施事体
的财产 的
element
和
那个 暂住
是
那个 暂住
OOM 的
instance
和
有点 物理
是
amenity
在
那个 暂住
OOM 和
有点 物理
是
客体
的
subclass
,
然后 有存在
另一个 物理
这样
那个 另外 物理
是
那个 有点 物理
的
instance
和
那个 另外 物理
是
located
在
那个 暂住
和
那个 施事体
允许
那个 人类
执行 有存在
实体
这样
那个 人类
是
那个 实体
的
agent
和
那个 另外 物理
是导致
那个 实体
的
instrument
或
那个 另外 物理
是
那个 实体
的
patient
或
那个 另外 物理
是
那个 实体
的
resource
的任务
(=>
(
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
如果
客体
是
AOCnumber
的
instance
和
有认知的主事
是
Airline
的
instance
和
那个 有认知的主事
possesses
那个 客体
,
然后
FederalAviationAdministration
允许
那个 有认知的主事
执行 有存在
实体
这样
那个 实体
是
AirTransportationService
的
instance
和
那个 有认知的主事
在
那个 实体
中提供服务 的任务
(=>
(
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
如果
过程
是
武装侦察
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
enemy
那个 有认知的主事
and
那个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 过程
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
攻击
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 实体
是
那个 另外 实体
的
patient
的任务
(=>
(
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
如果
实体
是
法律奖励
的
instance
和
那个 实体
提到
过程
和
那个 过程
是
法律诉讼
的
instance
和
有认知的主事
是
那个 过程
的
agent
,
然后
那个 实体
允许
那个 有认知的主事
执行 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
是
获得
的
instance
和
那个 有认知的主事
经历了
那个 另外 实体
和
那个 第三 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
的价值 是
那个 第四 实体
的任务
(=>
(
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
如果
过程
是
继承
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
施事体
是
那个 过程
的源头 和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
和
那个 施事体
possesses
那个 实体
在 紧接
那个 另外 过程
出现 的
time
before
holdsDuring
和
那个 施事体
允许
那个 有认知的主事
执行
那个 有认知的主事
possesses
那个 实体
的任务
(=>
(
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
如果
群体
是
机构
的
instance
和
航空运输业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
这样
那个 施事体
是
出售
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
实体
,
那个 有认知的主事
LANE, and 和
第三 实体
这样
那个 实体
是
运输
的
instance
和
那个 有认知的主事
是
那个 实体
的
patient
或
那个 有认知的主事
possesses
那个 第三 实体
和
那个 第三 实体
是
那个 实体
的
patient
和
那个 第三 实体
是
客体
的
instance
和
那个 群体
possesses
那个 有认知的主事
LANE 和
那个 有认知的主事
LANE 是
飞机
的
instance
的任务
(=>
(
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
如果
群体
是
机构
的
instance
和
信使和信使
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
和
实体
这样
那个 施事体
是
出售
的
instance
和
那个 实体
是
客体
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
运输
的
instance
和
那个 有认知的主事
possesses
那个 实体
和
那个 实体
是
那个 另外 实体
的
patient
的任务
(=>
(
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
如果
群体
是
机构
的
instance
和
管道运输
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
这样
那个 施事体
是
出售
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
那个 有认知的主事
IPE 这样
那个 实体
是
运输
的
instance
和
那个 有认知的主事
possesses
那个 第三 实体
和
那个 第三 实体
是
那个 实体
的
patient
和
那个 第三 实体
是
物质
的
instance
和
那个 群体
possesses
那个 另外 实体
和
那个 有认知的主事
IPE 是导致
那个 实体
的
instrument
和
那个 有认知的主事
IPE 是
管道
的
instance
的任务
(=>
(
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
如果
群体
是
机构
的
instance
和
邮政服务
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
和
实体
这样
那个 施事体
是
出售
的
instance
和
那个 实体
是
客体
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
运输
的
instance
和
那个 有认知的主事
possesses
那个 实体
和
那个 实体
是
那个 另外 实体
的
patient
的任务
(=>
(
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
如果
群体
是
机构
的
instance
和
铁路运输
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
这样
那个 施事体
是
出售
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
运输
的
instance
和
那个 有认知的主事
是
那个 实体
的
patient
或
那个 有认知的主事
possesses
那个 第三 实体
和
那个 第三 实体
是
那个 实体
的
patient
和
那个 第三 实体
是
客体
的
instance
和
那个 群体
possesses
那个 另外 实体
和
那个 另外 实体
是
铁路车辆
的
instance
的任务
(=>
(
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
如果
群体
是
机构
的
instance
和
景区和观光交通
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
这样
那个 施事体
是
出售
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
实体
和
另一个 实体
这样
那个 实体
是
运输
的
instance
和
那个 实体
是
娱乐或锻炼
的
instance
和
那个 有认知的主事
是
那个 实体
的
patient
和
那个 群体
possesses
那个 另外 实体
和
那个 另外 实体
是
车辆
的
instance
的任务
(=>
(
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
如果
群体
是
机构
的
instance
和
过境和地面客运
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
这样
那个 施事体
是
出售
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
实体
和
另一个 实体
这样
那个 实体
是
运输
的
instance
和
那个 有认知的主事
是
那个 实体
的
patient
和
那个 群体
possesses
那个 另外 实体
和
那个 另外 实体
是
陆地车辆
的
instance
的任务
(=>
(
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
如果
群体
是
机构
的
instance
和
卡车运输
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
这样
那个 施事体
是
出售
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
运输
的
instance
和
那个 有认知的主事
possesses
那个 第三 实体
和
那个 第三 实体
是
那个 实体
的
patient
和
那个 第三 实体
是
客体
的
instance
和
那个 群体
possesses
那个 另外 实体
和
那个 另外 实体
是
陆地车辆
的
instance
的任务
(=>
(
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
如果
群体
是
机构
的
instance
和
仓储和储存
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
和
实体
这样
那个 施事体
是
出售
的
instance
和
那个 实体
是
客体
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
另一个 实体
和
第三 实体
这样
那个 第三 实体
是
时距
的
instance
和
那个 另外 实体
是
建筑物
的
instance
和
那个 有认知的主事
possesses
那个 实体
和
那个 另外 实体
是
located
在
那个 实体
在
那个 第三 实体
holdsDuring
的任务
(=>
(
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
如果
群体
是
机构
的
instance
和
水运业
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
有认知的主事
这样
那个 施事体
是
出售
的
instance
和
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
是
那个 施事体
的
patient
和
那个 过程
允许
那个 有认知的主事
执行 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
运输
的
instance
和
那个 有认知的主事
是
那个 实体
的
patient
或
那个 有认知的主事
possesses
那个 第三 实体
和
那个 第三 实体
是
那个 实体
的
patient
和
那个 第三 实体
是
客体
的
instance
和
那个 群体
possesses
那个 另外 实体
和
那个 另外 实体
是
水车
的
instance
的任务
(=>
(
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
如果
过程
是
偷窃行为
的
instance
和
那个 过程
在
有认知的主事
结束 和
客体
是
那个 过程
的源头 和
那个 客体
是
有认知的主事
的
instance
,
然后
那个 客体
doesn't 允许
那个 有认知的主事
执行
那个 过程
在
那个 有认知的主事
结束 的任务
(=>
(
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
如果
实体
_CTRL 是
终端攻击控制
的
instance
和
施事体
是
那个 实体
_CTRL 的
agent
和
那个 实体
RGET 是
那个 实体
_CTRL 的
patient
,
然后 有存在
有认知的主事
这样
那个 施事体
不
equal
那个 有认知的主事
和
那个 实体
_CTRL 允许
那个 有认知的主事
执行 有存在
第三 实体
这样
那个 第三 实体
是
攻击
的
instance
和
那个 有认知的主事
是
那个 第三 实体
的
agent
和
那个 实体
RGET 是
那个 第三 实体
的
patient
的任务
(=>
(
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
如果
有认知的主事
possesses
客体
和
那个 有认知的主事
是
商业代理人
的
instance
和
那个 客体
是
停车场
的
instance
和
另一个 客体
是
建筑物
的
instance
和
那个 有认知的主事
是
located
在
那个 另外 客体
和
施事体
是
那个 有认知的主事
的
customer
和
那个 施事体
是
located
在
那个 另外 客体
在
时间位置
holdsDuring
和
过程
是
驾驶
的
instance
和
实体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
在
那个 另外 客体
结束,
然后
那个 有认知的主事
允许
那个 施事体
执行
另一个 实体
是
保存
的
instance
和
那个 另外 实体
在
那个 客体
结束 和
那个 实体
是
那个 另外 实体
的
patient
的任务 在
那个 时间位置
holdsDuring
(=>
(
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
是
客体
的
attribute
,
然后
那个 客体
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
出售
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 客体
是
那个 实体
的
agent
和
那个 另外 实体
是
票
的
instance
和
那个 实体
在
那个 第三 实体
结束 和
那个 另外 实体
的 目的 是
那个 客体
允许
那个 第三 实体
执行 有存在
第四 实体
和
第五 实体
这样
那个 第四 实体
是
看
的
instance
和
那个 第三 实体
是
那个 第四 实体
的
agent
和
那个 第五 实体
是
那个 第四 实体
的
patient
和
那个 第五 实体
是
性能
的
instance
或
那个 第五 实体
是
运动
的
instance
的任务
(=>
(
confersObligation
?F ?E ?A)
(
confersRight
?F ?E ?A))
Law.kif 343-345
如果
实体
要求
有认知的主事
执行
公式
的任务,
然后
那个 实体
允许
那个 有认知的主事
执行
那个 公式
的任务
(=>
(
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
如果
实体
是
Invoice
的
instance
,
然后 有存在
符号串
,
有认知的主事
,, ,
施事体
,, ,
另一个 实体
, and 和
第三 实体
这样
那个 符号串
的唯一识别符号 是
那个 实体
和
那个 有认知的主事
buys
那个 另外 实体
从
那个 施事体
和
那个 施事体
允许
那个 有认知的主事
执行 有存在
第四 实体
这样
那个 实体
出现 的
time
的开始%n在
那个 第四 实体
出现 的
time
的开始
before
发生 和
那个 第四 实体
是
出售
的
instance
和
那个 第三 实体
是
产品
的
instance
和
objectTransferred
那个 第四 实体
and
那个 第三 实体
和
那个 实体
提到
那个 第三 实体
和
那个 施事体
是
那个 第四 实体
的
agent
和
那个 有认知的主事
是
那个 第四 实体
的
patient
的任务
(=>
(
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
如果
物理
是
餐厅建筑
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
, and 和
那个 第四 实体
AY 这样
那个 实体
employs
那个 另外 实体
和
那个 实体
possesses
那个 物理
和
那个 第四 实体
是
人类
的
instance
和
那个 第四 实体
AY 是
金融交易
的
instance
和
那个 第四 实体
是
那个 第四 实体
AY 的
agent
和
那个 另外 实体
是
那个 第四 实体
AY 的
patient
和
那个 第三 实体
允许
那个 第四 实体
执行
那个 另外 实体
的任务 和
那个 第三 实体
是
进食
的
instance
和
那个 第四 实体
是
那个 第三 实体
的
agent
和
那个 第三 实体
是
located
在
那个 物理
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