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 4248-4251
(
documentation
possesses
JapaneseLanguage
"
Relation
は、
Agent
が
Object
の所有権を持つ 場合に
Agent
と
Object
の間に保持される 。")
japanese_format.kif 788-789
(
domain
possesses
1
AutonomousAgent
)
Merge.kif 4245-4245
域
擁有
, 1 and
AutonomousAgent
(
domain
possesses
2
Object
)
Merge.kif 4246-4246
域
擁有
, 2 and
Object
(
instance
possesses
AsymmetricRelation
)
Merge.kif 4244-4244
例
擁有
and
AsymmetricRelation
(
instance
possesses
BinaryPredicate
)
Merge.kif 4243-4243
例
擁有
and
BinaryPredicate
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 11642-11642
相關的內部概念
ChangeOfPossession
and
擁有
(
subrelation
financialAsset
possesses
)
Mid-level-ontology.kif 23853-23853
子關係
financialAsset
and
擁有
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2068-2068
子關係
有帳戶
and
擁有
(
termFormat
ChineseLanguage
possesses
"")
chinese_format.kif 172-172
(
termFormat
ChineseLanguage
possesses
"拥有")
domainEnglishFormat.kif 46802-46802
(
termFormat
ChineseTraditionalLanguage
possesses
"擁有")
domainEnglishFormat.kif 46801-46801
(
termFormat
EnglishLanguage
possesses
"possesses")
domainEnglishFormat.kif 46800-46800
(
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
例
金融賬戶
and
金融賬戶
擁有
CognitiveAgent
and
金融資產
等於
金融賬戶
and
金融資產
的帳號
CognitiveAgent
持有
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
AutonomousAgent
是
CognitiveAgent
的
customer
採用
AutonomousAgent
and
CognitiveAgent
attribute
AutonomousAgent
and
旅客住宿
attribute
CognitiveAgent
and
Porter
擁有
CognitiveAgent
and
Object
例
Object
and
旅行集裝箱
Object
Process
例
Object
and
HotelUnit
例
Process
and
攜帶
agent
Process
and
CognitiveAgent
目的地
Process
and
Object
起源
Process
and
Object
(=>
(
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
Physical
是
free
對於顧客出租
HotelFunctionRoom
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
AutonomousAgent
例
Process
and
租
患者
Process
and
Entity
目的地
Process
and
CognitiveAgent
例
Object
and
Physical
擁有
AutonomousAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Object
and
Process
agent
Object
and
CognitiveAgent
體驗者
Object
and
CognitiveAgent
擁有
AutonomousAgent
and
Object
例
Object
and
Object
使用
Object
and
CognitiveAgent
Object
是 對於
AutonomousAgent
的
price
測量
0 and
美國美元
(=>
(
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
Physical
的使用是對於
AutonomousAgent
免費
例
Process
and
Physical
AutonomousAgent
是
CognitiveAgent
的
customer
例
Process
and
Process
agent
Process
and
CognitiveAgent
體驗者
Process
and
CognitiveAgent
擁有
AutonomousAgent
and
Process
例
Process
and
Object
使用
Process
and
CognitiveAgent
Process
是 對於
AutonomousAgent
的
price
測量
0 and
美國美元
(=>
(
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
CognitiveAgent
有
account
用戶帳號
用戶帳號
有
password
電腦密碼
deviceAccount
用戶帳號
and
電腦
知道
CognitiveAgent
and
用戶帳號
有
password
電腦密碼
知道
CognitiveAgent
and
recoveryKey
entity
and
用戶帳號
擁有
CognitiveAgent
and
電腦
模態屬性
entity
例
entity
and
ChangingPassword
患者
entity
and
用戶帳號
agent
entity
and
CognitiveAgent
and
可能性
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
持有期間
TimePosition
and
擁有
entity
and
Object
部分
Object
and
Object
持有期間
TimePosition
and
擁有
entity
and
Object
(=>
(
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
例
Object
and
AOCnumber
例
CognitiveAgent
and
Airline
擁有
CognitiveAgent
and
Object
賦予權利
entity
例
entity
and
AirTransportationService
服務提供者
entity
and
CognitiveAgent
,
FederalAviationAdministration
and
CognitiveAgent
(=>
(
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
例
鍵
and
鍵
利益
是
鍵
的
coupon
利息
擁有
鍵
Holder and
鍵
TimeDuration
Process
鍵
的帳號 是 對於
TimeDuration
的
periodic
費用
利益
目的地
Process
and
鍵
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
例
金融賬戶
and
擔保債券
抵押
是
金融賬戶
的
secured
擁有
AutonomousAgent
and
金融賬戶
例
Process
and
財務違約
患者
Process
and
金融賬戶
持有期間
眼前的未來
何時
Process
and
擁有
AutonomousAgent
and
抵押
(=>
(
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
例
金融資產
and
零息債券
Day
是
金融資產
的帳號 的
maturity
日期
擁有
金融資產
Holder and
金融資產
測量
RealNumber
and
UnitOfMeasure
是
金融資產
的帳號 的
principal
總額
TimeInterval
是
金融資產
的帳號 的
agreement
週期
金融資產
的帳號 是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
RealNumber
FinancialTransaction
例
FinancialTransaction
and
付款
目的地
FinancialTransaction
and
金融資產
Holder
起源
FinancialTransaction
and
金融資產
的帳號
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
(=>
(
and
(
instance
?C
FamilyBusiness
)
(
possesses
?P1 ?C)
(
possesses
?P2 ?C))
(
familyRelation
?P1 ?P2))
Mid-level-ontology.kif 7269-7274
例
Object
and
家族企業
擁有
Organism
and
Object
擁有
Organism
and
Object
家庭關係
Organism
and
Organism
(=>
(
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 11647-11654
例
Process
and
ChangeOfPossession
患者
Process
and
Entity
持有期間
開始
何時
Process
and
擁有
entity
and
Entity
持有期間
結束
何時
Process
and
擁有
entity
and
Entity
等於
entity
and
entity
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 218-226
例
銀行卡
and
信用卡
擁有
CognitiveAgent
and
銀行卡
金融賬戶
例
金融賬戶
and
信用卡帳戶
金融賬戶
是
銀行卡
的
card
帳戶
CognitiveAgent
持有
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
例
銀行卡
and
金融卡
擁有
AutonomousAgent
and
銀行卡
例
Process
and
FinancialTransaction
儀器
Process
and
銀行卡
SymbolicString
Process
銀行卡
是
SymbolicString
的
pin
例
Process
and
輸入PIN碼
患者
Process
and
SymbolicString
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 203-211
例
銀行卡
and
金融卡
擁有
CognitiveAgent
and
銀行卡
金融賬戶
例
金融賬戶
and
存款賬戶
金融賬戶
是
銀行卡
的
card
帳戶
CognitiveAgent
持有
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 16514-16522
例
Object
and
學位
擁有
AutonomousAgent
and
Object
Proposition
Process
例
Proposition
and
教育計劃
實現
Process
and
Proposition
體驗者
Process
and
AutonomousAgent
(=>
(
and
(
instance
?DEVICE
FaxMachine
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
possesses
?AGENT ?DEVICE))))
(
holdsDuring
?TIME
(
faxNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25158-25165
例
Entity
and
傳真機
持有期間
TimePosition
and
Entity
有
number
entity
擁有
entity
and
Entity
持有期間
TimePosition
and
entity
的
fax
number
是
entity
(=>
(
and
(
instance
?DEVICE
Telephone
)
(
holdsDuring
?TIME
(
and
(
possesses
?AGENT ?DEVICE)
(
deviceTelecomNumber
?NUMBER ?DEVICE))))
(
holdsDuring
?TIME
(
telephoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25007-25014
例
Entity
and
電話
持有期間
TimePosition
and
擁有
entity
and
Entity
Entity
有
number
entity
持有期間
TimePosition
and
entity
是
entity
的
telephone
number
(=>
(
and
(
instance
?FLEET
Fleet
)
(
fleetSize
?AGENT ?NUM)
(
possesses
?AGENT ?FLEET))
(
memberCount
?FLEET ?NUM))
Mid-level-ontology.kif 3528-3533
例
Collection
and
Fleet
AutonomousAgent
有個
fleet
的
Integer
交通工具
擁有
AutonomousAgent
and
Collection
Integer
是
Collection
的
member
計數
(=>
(
and
(
instance
?INTERNAL
InternalShipRegister
)
(
possesses
?AREA ?INTERNAL))
(
instance
?AREA
Nation
))
Transportation.kif 1176-1180
例
Object
and
內部船舶登記
擁有
AutonomousAgent
and
Object
例
AutonomousAgent
and
Nation
(=>
(
and
(
instance
?ITEM
Object
)
(
instance
?LISTING
WebListing
)
(
instance
?OWNER
AutonomousAgent
)
(
attribute
?LISTING
ForSaleByOwner
)
(
possesses
?OWNER ?ITEM))
(
instance
?OWNER
Human
))
UXExperimentalTerms.kif 381-388
例
Object
and
Object
例
Object
and
WebListing
例
AutonomousAgent
and
AutonomousAgent
attribute
Object
and
ForSaleByOwner
擁有
AutonomousAgent
and
Object
例
AutonomousAgent
and
Human
(=>
(
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 16882-16893
例
Object
and
駕照
擁有
AutonomousAgent
and
Object
Object
confers
規範
entity
entity
例
entity
and
Driving
agent
entity
and
AutonomousAgent
患者
entity
and
entity
例
entity
and
公路車輛
對於
允許
(=>
(
and
(
instance
?NATIONAL
NationalShipRegister
)
(
possesses
?AREA ?NATIONAL))
(
instance
?AREA
Nation
))
Transportation.kif 1126-1130
例
Object
and
國家船舶登記
擁有
AutonomousAgent
and
Object
例
AutonomousAgent
and
Nation
(=>
(
and
(
instance
?OFFSHORE
OffshoreShipRegister
)
(
possesses
?AREA ?OFFSHORE))
(
instance
?AREA
Nation
))
Transportation.kif 1192-1196
例
Object
and
海外船舶登記
擁有
AutonomousAgent
and
Object
例
AutonomousAgent
and
Nation
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16582-16589
例
Object
and
通過證書
擁有
AutonomousAgent
and
Object
entity
Object
confers
規範
位於
AutonomousAgent
and
entity
對於
允許
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
Object
WebSite
_OWNER
例
Object
and
數據庫
例
WebSite
_OWNER and
AutonomousAgent
擁有
WebSite
_OWNER and
WebSite
擁有
WebSite
_OWNER and
Object
部分
用戶帳號
and
Object
(=>
(
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 29507-29519
attribute
Object
and
Collectible
有目的
Object
and
Formula
CognitiveAgent
Formula
例
CognitiveAgent
and
Human
想要
CognitiveAgent
and
Object
慾望
CognitiveAgent
and
Formula
意味
Formula
and
擁有
CognitiveAgent
and
Object
等於
Formula
and
Formula
(=>
(
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 20601-20623
attribute
CognitiveAgent
and
Waiter
例
CognitiveAgent
and
Human
採用
AutonomousAgent
and
CognitiveAgent
例
AutonomousAgent
and
餐廳
AutonomousAgent
是
CognitiveAgent
的
customer
位於
CognitiveAgent
and
Object
例
Object
and
表
Object
entity
,
entity
and
Object
擁有
AutonomousAgent
and
Object
例
Object
and
KitchenArea
例
Object
and
DiningArea
位於
Object
and
Object
有目的
CognitiveAgent
and
例
entity
and
攜帶
agent
entity
and
CognitiveAgent
起源
entity
and
Object
目的地
entity
and
Object
患者
entity
and
entity
例
entity
and
food
for
Human
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
持有期間
TimePosition
and
擁有
entity
and
Object
部分
Object
and
Object
持有期間
TimePosition
and
擁有
entity
and
Object
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MerchantMarineFn
?AREA)
MerchantMarine
))
(
possesses
?AREA
(
MerchantMarineFn
?AREA)))
Transportation.kif 978-982
例
GeopoliticalArea
and
GeopoliticalArea
例
GeopoliticalArea
的
merchant
海洋 and
商船
擁有
GeopoliticalArea
and
GeopoliticalArea
的
merchant
海洋
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
))
(
possesses
?AREA
(
ShipRegisterFn
?AREA)))
Transportation.kif 1139-1143
例
GeopoliticalArea
and
GeopoliticalArea
例
GeopoliticalArea
的
ship
註冊 and
船舶登記
擁有
GeopoliticalArea
and
GeopoliticalArea
的
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 18679-18695
例
Transfer
and
遺贈
agent
Transfer
and
AutonomousAgent
目的地
Transfer
and
Entity
objectTransferred
Transfer
and
AutonomousAgent
ROP
Process
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Transfer
持有期間
不久的過去
何時
Process
and
擁有
AutonomousAgent
and
AutonomousAgent
ROP
AutonomousAgent
confers
規範
擁有
Entity
and
AutonomousAgent
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
例
金融賬戶
and
擔保債券
抵押
是
金融賬戶
的
secured
擁有
AutonomousAgent
and
金融賬戶
例
Process
and
財務違約
患者
Process
and
金融賬戶
持有期間
眼前的未來
何時
Process
and
擁有
AutonomousAgent
and
抵押
(=>
(
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 11656-11666
例
Process
and
ChangeOfPossession
起源
Process
and
Object
目的地
Process
and
Entity
例
Object
and
AutonomousAgent
例
Entity
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
擁有
Object
and
Entity
持有期間
結束
何時
Process
and
擁有
Entity
and
Entity
(=>
(
and
(
instance
?DESTR
PreciseDestruction
)
(
agent
?DESTR ?AGENT))
(
exists
(?WEAPON)
(
and
(
possesses
?AGENT ?WEAPON)
(
instrument
?DESTR ?WEAPON)
(
instance
?WEAPON
HighPrecisionWeapon
))))
MilitaryProcesses.kif 601-609
例
Process
and
精確破壞
agent
Process
and
AutonomousAgent
Object
擁有
AutonomousAgent
and
Object
儀器
Process
and
Object
例
Object
and
高精度武器
(=>
(
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
例
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
?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
例
貸款
and
貸款
抵押
是
貸款
的
secured
CognitiveAgent
lends
貸款
例
Process
and
財務違約
患者
Process
and
貸款
持有期間
眼前的未來
何時
Process
and
擁有
CognitiveAgent
and
抵押
(=>
(
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
?PURSUE
Pursuing
)
(
agent
?PURSUE ?AGENT)
(
patient
?PURSUE ?OBJ))
(
holdsDuring
?PURSUE
(
not
(
possesses
?AGENT ?OBJ))))
Merge.kif 12892-12897
例
Process
and
Pursuing
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
Process
and
擁有
AutonomousAgent
and
Entity
(=>
(
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 23828-23845
例
Process
and
保存
患者
Process
and
Object
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
and
Entity
例
Entity
and
UnitOfCurrency
持有期間
開始
何時
Process
and
貨幣價值
Object
and
測量
RealNumber
and
Entity
持有期間
結束
何時
Process
and
貨幣價值
Object
and
測量
RealNumber
and
Entity
擁有
AutonomousAgent
and
Object
少於
RealNumber
and
RealNumber
(=>
(
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
例
AutonomousAgent
and
船
例
GeopoliticalArea
and
GeopoliticalArea
會員
AutonomousAgent
and
GeopoliticalArea
的
merchant
海洋
Object
例
Object
and
船舶登記
擁有
AutonomousAgent
and
Object
包含內容實例
GeopoliticalArea
的
ship
註冊 and
Object
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