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
possesses
Sigma KEE - possesses
possesses
appearance as argument number 1
(
documentation
possesses
ChineseLanguage
"这是一个属于一个
Agent
和一个
Object
的
Relation
,当这个
Agent
拥有这个
Object
时,这段关系就成立了。 ")
chinese_format.kif 2133-2134
(
documentation
possesses
EnglishLanguage
"
Relation
that holds between an
AutonomousAgent
and an
Object
when the
AutonomousAgent
has ownership of the
Object
. Note that this is distinct from having the right to use or be located at a particular object, for example, by
Renting
.")
Merge.kif 4249-4252
(
documentation
possesses
JapaneseLanguage
"
Relation
は、
Agent
が
Object
の所有権を持つ 場合に
Agent
と
Object
の間に保持される 。")
japanese_format.kif 788-789
(
domain
possesses
1
AutonomousAgent
)
Merge.kif 4246-4246
possesses
的 1 数量 是
施事体
的
instance
(
domain
possesses
2
Object
)
Merge.kif 4247-4247
possesses
的 2 数量 是
客体
的
instance
(
instance
possesses
AsymmetricRelation
)
Merge.kif 4245-4245
possesses
是
非对称关系
的
instance
(
instance
possesses
BinaryPredicate
)
Merge.kif 4244-4244
possesses
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
possesses
"%1 %n{doesn't}
possesses
%2")
chinese_format.kif 171-171
(
format
EnglishLanguage
possesses
"%1 %n{doesn't} possess%p{es} %2")
english_format.kif 172-172
(
format
FrenchLanguage
possesses
"%1 %n{ne} poss�de %n{pas} %2")
french_format.kif 105-105
(
format
ItalianLanguage
possesses
"%1 %n{non} possiede%p{es} %2")
relations-it.txt 224-224
(
format
JapaneseLanguage
possesses
"%1 は %2 を possess%p{es} %n{ない}")
japanese_format.kif 1934-1934
(
format
PortugueseLanguage
possesses
"%1 %n{nao} possui %n %2")
portuguese_format.kif 57-57
(
format
cz
possesses
"%1 %n{doesn't} posess%p{es} %2")
relations-cz.txt 135-135
(
format
de
possesses
"%1 besitzt %2 %n{nicht}")
relations-de.txt 212-212
(
format
hi
possesses
"%1 %2 kaa svaamii %n{nahiin} hai")
relations-hindi.txt 262-262
(
format
ro
possesses
"%1 %n{nu} posess%t{deþine} %2")
relations-ro.kif 124-124
(
format
sv
possesses
"%1 har %n{inte} %2")
relations-sv.txt 107-107
(
format
tg
possesses
"%1 %n ay mayroon %2")
relations-tg.txt 416-416
(
relatedInternalConcept
ChangeOfPossession
possesses
)
Merge.kif 11688-11688
改变所有权
和
possesses
是 内部相关
(
subrelation
financialAsset
possesses
)
Mid-level-ontology.kif 23910-23910
financialAsset
是
possesses
的
subrelation
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2068-2068
有帐户
是
possesses
的
subrelation
(
termFormat
ChineseLanguage
possesses
"")
chinese_format.kif 172-172
(
termFormat
ChineseLanguage
possesses
"拥有")
domainEnglishFormat.kif 46804-46804
(
termFormat
ChineseTraditionalLanguage
possesses
"擁有")
domainEnglishFormat.kif 46803-46803
(
termFormat
EnglishLanguage
possesses
"possesses")
domainEnglishFormat.kif 46802-46802
(
termFormat
de
possesses
"besitzt")
terms-de.txt 66-66
antecedent
(<=>
(
and
(
instance
?Account
FinancialAccount
)
(
possesses
?Agent ?Asset)
(
equal
?Account
(
AccountFn
?Asset)))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 2321-2326
金融账户
是
金融账户
的
instance
和
有认知的主事
possesses
金融资产
和
那个 金融账户
equal
那个 金融资产
的帐号 若且唯若
那个 有认知的主事
持有
account
那个 金融账户
(=>
(
and
(
customer
?CUST ?AGENT)
(
employs
?AGENT ?X)
(
attribute
?AGENT
TravelerAccommodation
)
(
attribute
?X
Porter
)
(
possesses
?CUST ?LUGGAGE)
(
instance
?LUGGAGE
TravelContainer
))
(
exists
(?ROOM ?CARRY)
(
and
(
instance
?ROOM
HotelUnit
)
(
instance
?CARRY
Carrying
)
(
agent
?CARRY ?X)
(
or
(
destination
?CARRY ?ROOM)
(
origin
?CARRY ?ROOM)))))
Hotel.kif 2392-2407
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
employs
另一个 有认知的主事
和
旅客住宿
是
那个 施事体
的
attribute
和
Porter
是
那个 另外 有认知的主事
的
attribute
和
那个 有认知的主事
possesses
客体
和
那个 客体
是
旅行集装箱
的
instance
,
然后 有存在
另一个 客体
和
过程
这样
那个 另外 客体
是
HotelUnit
的
instance
和
那个 过程
是
携带
的
instance
和
那个 另外 有认知的主事
是
那个 过程
的
agent
和
那个 过程
在
那个 另外 客体
结束 或
那个 另外 客体
是
那个 过程
的源头
(=>
(
and
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 841-862
如果
有点 物理
是
free
对于顾客出租
有点 HotelFunctionRoom
和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束 和
客体
是
有点 物理
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 客体
是
过程
的
instance
和
那个 有认知的主事
是
那个 客体
的
agent
或
那个 有认知的主事
经历了
那个 客体
或
那个 施事体
possesses
那个 客体
和
那个 客体
是
客体
的
instance
和
那个 有认知的主事
uses
那个 客体
,
然后
那个 客体
是 对于
那个 施事体
的
price
0
美国美元
(=>
(
and
(
freePropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 546-561
如果
有点 物理
的使用是对于
施事体
免费 和
过程
是
有点 物理
的
instance
和
那个 施事体
是
有认知的主事
的
customer
和
那个 过程
是
过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
或
那个 有认知的主事
经历了
那个 过程
或
那个 施事体
possesses
那个 过程
和
那个 过程
是
客体
的
instance
和
那个 有认知的主事
uses
那个 过程
,
然后
那个 过程
是 对于
那个 施事体
的
price
0
美国美元
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
如果
有认知的主事
有
account
用户帐号
和
那个 用户帐号
有
password
电脑密码
和
deviceAccount
那个 用户帐号
and
电脑
和
那个 有认知的主事
doesn't
knows
那个 用户帐号
有
password
那个 电脑密码
和
那个 有认知的主事
knows
recoveryKey
实体
and
那个 用户帐号
和
那个 有认知的主事
possesses
那个 电脑
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
ChangingPassword
的
instance
和
那个 用户帐号
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
的声明 has
可能性
的语气
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4258-4264
如果
实体
possesses
客体
在
时间位置
holdsDuring
和
另一个 客体
是
那个 客体
的
part
,
然后
那个 实体
possesses
那个 另外 客体
在
那个 时间位置
holdsDuring
(=>
(
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
?Bond
Bond
)
(
couponInterest
?Bond ?Interest)
(
possesses
?BondHolder ?Bond))
(
exists
(?Period ?Payment)
(
and
(
periodicPayment
(
AccountFn
?Bond) ?Interest ?Period)
(
destination
?Payment ?BondHolder))))
FinancialOntology.kif 2270-2278
如果
键
是
键
的
instance
和
利益
是
那个 键
的
coupon
利息 和
那个 键
Holder
possesses
那个 键
,
然后 有存在
持续时间
和
过程
这样
那个 键
的帐号 是 对于
那个 持续时间
的
periodic
费用
那个 利益
和
那个 过程
在
那个 键
Holder 结束
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
如果
金融账户
是
担保债券
的
instance
和
抵押
是
那个 金融账户
的
secured
和
施事体
possesses
那个 金融账户
和
过程
是
财务违约
的
instance
和
那个 金融账户
是
那个 过程
的
patient
,
然后
那个 施事体
possesses
那个 抵押
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond)
(
MeasureFn
?Principal ?CUNIT))
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond)
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
AccountFn
?Bond))
(
transactionAmount
?Payment
(
MeasureFn
?Total ?CUNIT)))))
FinancialOntology.kif 2333-2355
如果
金融资产
是
零息债券
的
instance
和
日
是
那个 金融资产
的帐号 的
maturity
日期 和
那个 金融资产
Holder
possesses
那个 金融资产
和
实数
测量单位
是
那个 金融资产
的帐号 的
principal
总额 和
时距
是
那个 金融资产
的帐号 的
agreement
週期 和
那个 金融资产
的帐号 是 对于 %3 的赚取
interest
和
另一个 实数
equal
(
那个 实数
和
第三 实数
),
然后 有存在
金融交易
这样
那个 金融交易
是
付款
的
instance
和
那个 金融交易
在
那个 金融资产
Holder 结束 和
那个 金融资产
的帐号 是
那个 金融交易
的源头 和
那个 另外 实数
那个 测量单位
是
那个 金融交易
的
transaction
总额
(=>
(
and
(
instance
?C
FamilyBusiness
)
(
possesses
?P1 ?C)
(
possesses
?P2 ?C))
(
familyRelation
?P1 ?P2))
Mid-level-ontology.kif 7296-7301
如果
客体
是
家族企业
的
instance
和
生物
possesses
那个 客体
和
另一个 生物
possesses
那个 客体
,
然后
那个 生物
和
那个 另外 生物
是 亲属
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
patient
?CHANGE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ)))
(
not
(
equal
?AGENT1 ?AGENT2)))
Merge.kif 11693-11700
如果
过程
是
改变所有权
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
possesses
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
第三 实体
possesses
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
那个 另外 实体
不
equal
那个 第三 实体
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 218-226
如果
银行卡
是
信用卡
的
instance
和
有认知的主事
possesses
那个 银行卡
,
然后 有存在
金融账户
这样
那个 金融账户
是
信用卡帐户
的
instance
和
那个 金融账户
是
那个 银行卡
的
card
帐户 和
那个 有认知的主事
持有
account
那个 金融账户
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card)
(
instance
?Transaction
FinancialTransaction
)
(
instrument
?Transaction ?Card))
(
exists
(?PIN ?Enter)
(
and
(
pin
?PIN ?Card)
(
instance
?Enter
EnteringAPin
)
(
patient
?Enter ?PIN)
(
agent
?Enter ?Agent))))
FinancialOntology.kif 3543-3554
如果
银行卡
是
金融卡
的
instance
和
施事体
possesses
那个 银行卡
和
过程
是
金融交易
的
instance
和
那个 银行卡
是导致
那个 过程
的
instrument
,
然后 有存在
符号串
和
另一个 过程
这样
那个 银行卡
是
那个 符号串
的
pin
和
那个 另外 过程
是
输入PIN码
的
instance
和
那个 符号串
是
那个 另外 过程
的
patient
和
那个 施事体
是
那个 另外 过程
的
agent
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 203-211
如果
银行卡
是
金融卡
的
instance
和
有认知的主事
possesses
那个 银行卡
,
然后 有存在
金融账户
这样
那个 金融账户
是
存款账户
的
instance
和
那个 金融账户
是
那个 银行卡
的
card
帐户 和
那个 有认知的主事
持有
account
那个 金融账户
(=>
(
and
(
instance
?DEGREE
AcademicDegree
)
(
possesses
?AGENT ?DEGREE))
(
exists
(?PROGRAM ?STUDY)
(
and
(
instance
?PROGRAM
EducationalProgram
)
(
realization
?STUDY ?PROGRAM)
(
experiencer
?STUDY ?AGENT))))
Mid-level-ontology.kif 16541-16549
如果
客体
是
学位
的
instance
和
施事体
possesses
那个 客体
,
然后 有存在
命题
和
过程
这样
那个 命题
是
教育计划
的
instance
和
那个 过程
表示
那个 命题
的内容 和
那个 施事体
经历了
那个 过程
(=>
(
and
(
instance
?DEVICE
FaxMachine
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
possesses
?AGENT ?DEVICE))))
(
holdsDuring
?TIME
(
faxNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25215-25222
如果
实体
是
传真机
的
instance
和
那个 实体
有
number
另一个 实体
和
第三 实体
possesses
那个 实体
在
时间位置
holdsDuring
,
然后
那个 第三 实体
的
fax
number
是
那个 另外 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?DEVICE
Telephone
)
(
holdsDuring
?TIME
(
and
(
possesses
?AGENT ?DEVICE)
(
deviceTelecomNumber
?NUMBER ?DEVICE))))
(
holdsDuring
?TIME
(
telephoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25064-25071
如果
实体
是
电话
的
instance
和
另一个 实体
possesses
那个 实体
和
那个 实体
有
number
第三 实体
在
时间位置
holdsDuring
,
然后
那个 第三 实体
是
那个 另外 实体
的
telephone
number
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?FLEET
Fleet
)
(
fleetSize
?AGENT ?NUM)
(
possesses
?AGENT ?FLEET))
(
memberCount
?FLEET ?NUM))
Mid-level-ontology.kif 3521-3526
如果
群体
是
Fleet
的
instance
和
施事体
有个
fleet
的
整数
交通工具 和
那个 施事体
possesses
那个 群体
,
然后
那个 整数
是
那个 群体
的
member
计数
(=>
(
and
(
instance
?INTERNAL
InternalShipRegister
)
(
possesses
?AREA ?INTERNAL))
(
instance
?AREA
Nation
))
Transportation.kif 1176-1180
如果
客体
是
内部船舶登记
的
instance
和
施事体
possesses
那个 客体
,
然后
那个 施事体
是
国家
的
instance
(=>
(
and
(
instance
?ITEM
Object
)
(
instance
?LISTING
WebListing
)
(
instance
?OWNER
AutonomousAgent
)
(
attribute
?LISTING
ForSaleByOwner
)
(
possesses
?OWNER ?ITEM))
(
instance
?OWNER
Human
))
UXExperimentalTerms.kif 381-388
如果
客体
是
客体
的
instance
和
另一个 客体
是
WebListing
的
instance
和
施事体
是
施事体
的
instance
和
ForSaleByOwner
是
那个 另外 客体
的
attribute
和
那个 施事体
possesses
那个 客体
,
然后
那个 施事体
是
人类
的
instance
(=>
(
and
(
instance
?L
DriversLicense
)
(
possesses
?A ?L))
(
confersNorm
?L
(
exists
(?D ?V)
(
and
(
instance
?D
Driving
)
(
agent
?D ?A)
(
patient
?D ?V)
(
instance
?V
RoadVehicle
)))
Permission
))
Mid-level-ontology.kif 16909-16920
如果
客体
是
驾照
的
instance
和
施事体
possesses
那个 客体
,
然后
那个 客体
confers
规范 有存在
实体
和
另一个 实体
这样
那个 实体
是
驾驶
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
公路车辆
的
instance
对于
允许
(=>
(
and
(
instance
?NATIONAL
NationalShipRegister
)
(
possesses
?AREA ?NATIONAL))
(
instance
?AREA
Nation
))
Transportation.kif 1126-1130
如果
客体
是
国家船舶登记
的
instance
和
施事体
possesses
那个 客体
,
然后
那个 施事体
是
国家
的
instance
(=>
(
and
(
instance
?OFFSHORE
OffshoreShipRegister
)
(
possesses
?AREA ?OFFSHORE))
(
instance
?AREA
Nation
))
Transportation.kif 1192-1196
如果
客体
是
海外船舶登记
的
instance
和
施事体
possesses
那个 客体
,
然后
那个 施事体
是
国家
的
instance
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16609-16616
如果
客体
是
通过证书
的
instance
和
施事体
possesses
那个 客体
,
然后 有存在
实体
这样
那个 客体
confers
规范
那个 施事体
是
located
在
那个 实体
对于
允许
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
accountAtSite
?ACCT ?SITE)
(
exists
(?DATABASE ?SITE_OWNER)
(
and
(
instance
?DATABASE
Database
)
(
instance
?SITE_OWNER
AutonomousAgent
)
(
possesses
?SITE_OWNER ?SITE)
(
possesses
?SITE_OWNER ?DATABASE)
(
part
?ACCT ?DATABASE))))
UXExperimentalTerms.kif 632-640
如果
用户帐号
是在
WebSite
的
account
,
然后 有存在
客体
和
那个 WebSite
_OWNER 这样
那个 客体
是
数据库
的
instance
和
那个 WebSite
_OWNER 是
施事体
的
instance
和
那个 WebSite
_OWNER
possesses
那个 WebSite
和
那个 WebSite
_OWNER
possesses
那个 客体
和
那个 用户帐号
是
那个 客体
的
part
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29558-29570
如果
Collectible
是
客体
的
attribute
和
那个 客体
的 目的 是
公式
,
然后 有存在
有认知的主事
和
那个 公式
2 这样
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
wants
那个 客体
和
那个 有认知的主事
desires
那个 公式
2 和
那个 公式
2
entails
那个 有认知的主事
possesses
那个 客体
和
那个 公式
不
equal
那个 公式
2
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20628-20650
如果
Waiter
是
有认知的主事
的
attribute
和
那个 有认知的主事
是
人类
的
instance
和
施事体
employs
那个 有认知的主事
和
那个 施事体
是
餐厅
的
instance
和
那个 施事体
是
另一个 有认知的主事
的
customer
和
那个 另外 有认知的主事
是
located
在
客体
和
那个 客体
是
表
的
instance
,
然后 有存在
另一个 客体
,
实体
,, ,
另一个 实体
, and 和
第三 客体
这样
那个 施事体
possesses
那个 第三 客体
和
那个 第三 客体
是
KitchenArea
的
instance
和
那个 另外 客体
是
DiningArea
的
instance
和
那个 客体
是
located
在
那个 另外 客体
和
那个 有认知的主事
的 目的 是
那个 实体
是
携带
的
instance
和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 第三 客体
是
那个 实体
的源头 和
那个 实体
在
那个 客体
结束 和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
food
for
人类
的
instance
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4258-4264
如果
实体
possesses
客体
在
时间位置
holdsDuring
和
另一个 客体
是
那个 客体
的
part
,
然后
那个 实体
possesses
那个 另外 客体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MerchantMarineFn
?AREA)
MerchantMarine
))
(
possesses
?AREA
(
MerchantMarineFn
?AREA)))
Transportation.kif 978-982
如果
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
的
merchant
海洋 是
商船
的
instance
,
然后
那个 地缘政治区域
possesses
那个 地缘政治区域
的
merchant
海洋
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
))
(
possesses
?AREA
(
ShipRegisterFn
?AREA)))
Transportation.kif 1139-1143
如果
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
的
ship
注册 是
船舶登记
的
instance
,
然后
那个 地缘政治区域
possesses
那个 地缘政治区域
的
ship
注册
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18706-18722
如果
转移
是
遗赠
的
instance
和
施事体
是
那个 转移
的
agent
和
那个 转移
在
实体
结束 和
objectTransferred
那个 转移
and
那个 施事体
ROP,
然后 有存在
过程
这样
那个 过程
是
死亡
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 过程
出现 的
time
比
那个 转移
出现 的
time
发生的
earlier
和
那个 施事体
possesses
那个 施事体
ROP 在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 施事体
confers
规范
那个 实体
possesses
那个 施事体
ROP 对于
允许
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
如果
金融账户
是
担保债券
的
instance
和
抵押
是
那个 金融账户
的
secured
和
施事体
possesses
那个 金融账户
和
过程
是
财务违约
的
instance
和
那个 金融账户
是
那个 过程
的
patient
,
然后
那个 施事体
possesses
那个 抵押
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
origin
?CHANGE ?AGENT1)
(
destination
?CHANGE ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?CHANGE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ))))
Merge.kif 11702-11712
如果
过程
是
改变所有权
的
instance
和
客体
是
那个 过程
的源头 和
那个 过程
在
实体
结束 和
那个 客体
是
施事体
的
instance
和
那个 实体
是
施事体
的
instance
和
另一个 实体
是
那个 过程
的
patient
,
然后
那个 客体
possesses
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
possesses
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?DESTR
PreciseDestruction
)
(
agent
?DESTR ?AGENT))
(
exists
(?WEAPON)
(
and
(
possesses
?AGENT ?WEAPON)
(
instrument
?DESTR ?WEAPON)
(
instance
?WEAPON
HighPrecisionWeapon
))))
MilitaryProcesses.kif 601-609
如果
过程
是
精确破坏
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
客体
这样
那个 施事体
possesses
那个 客体
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 客体
是
高精度武器
的
instance
(=>
(
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
?Loan
Loan
)
(
securedBy
?Loan ?Security)
(
lender
?Loan ?Bank)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Loan))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Bank ?Security)))
FinancialOntology.kif 1334-1343
如果
贷款
是
贷款
的
instance
和
抵押
是
那个 贷款
的
secured
和
有认知的主事
lends
那个 贷款
和
过程
是
财务违约
的
instance
和
那个 贷款
是
那个 过程
的
patient
,
然后
那个 有认知的主事
possesses
那个 抵押
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
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
?PURSUE
Pursuing
)
(
agent
?PURSUE ?AGENT)
(
patient
?PURSUE ?OBJ))
(
holdsDuring
?PURSUE
(
not
(
possesses
?AGENT ?OBJ))))
Merge.kif 12938-12943
如果
过程
是
追求
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 施事体
doesn't
possesses
那个 实体
在
那个 过程
holdsDuring
(=>
(
and
(
instance
?S
Saving
)
(
patient
?S ?O)
(
agent
?S ?A))
(
exists
(?Q1 ?Q2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
monetaryValue
?O
(
MeasureFn
?Q1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
monetaryValue
?O
(
MeasureFn
?Q2 ?U)))
(
possesses
?A ?O)
(
lessThan
?Q1 ?Q2))))
Mid-level-ontology.kif 23885-23902
如果
过程
是
保存
的
instance
和
客体
是
那个 过程
的
patient
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实数
,
另一个 实数
, and 和
实体
这样
那个 实体
是
UnitOfCurrency
的
instance
和
那个 客体
的价值 是
那个 实数
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 客体
的价值 是
那个 另外 实数
那个 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 施事体
possesses
那个 客体
和
那个 实数
是
lessThan
那个 另外 实数
(=>
(
and
(
instance
?SHIP
Ship
)
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
exists
(?REGISTRATION)
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
possesses
?SHIP ?REGISTRATION)
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))))
Transportation.kif 1157-1166
如果
施事体
是
船
的
instance
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 施事体
是
那个 地缘政治区域
的
merchant
海洋 的
member
,
然后 有存在
客体
这样
那个 客体
是
船舶登记
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 地缘政治区域
的
ship
注册 包含
那个 客体
的内容
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