Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
Entity
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 4276-4279
(
documentation
possesses
JapaneseLanguage
"
Relation
は、
Agent
が
Object
の所有権を持つ 場合に
Agent
と
Object
の間に保持される 。")
japanese_format.kif 788-789
(
domain
possesses
1
AutonomousAgent
)
Merge.kif 4273-4273
possesses
の数値 1 引数は
AutonomousAgent
の
instance
では
(
domain
possesses
2
Object
)
Merge.kif 4274-4274
possesses
の数値 2 引数は
オブジェクト
の
instance
では
(
instance
possesses
AsymmetricRelation
)
Merge.kif 4272-4272
possesses
は
非対称関係
の
instance
では
(
instance
possesses
BinaryPredicate
)
Merge.kif 4271-4271
possesses
は
2進述語
の
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 11792-11792
所有権の変更
は
possesses
に
internally
関連して
(
subrelation
financialAsset
possesses
)
Mid-level-ontology.kif 25499-25499
financialAsset
は
possesses
の
subrelation
では
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2199-2199
hasAccount
は
possesses
の
subrelation
では
(
termFormat
ChineseLanguage
possesses
"")
chinese_format.kif 172-172
hasAccount
は
possesses
の
subrelation
では
(
termFormat
ChineseLanguage
possesses
"拥有")
domainEnglishFormat.kif 46804-46804
hasAccount
は
possesses
の
subrelation
では
(
termFormat
ChineseTraditionalLanguage
possesses
"擁有")
domainEnglishFormat.kif 46803-46803
hasAccount
は
possesses
の
subrelation
では
(
termFormat
EnglishLanguage
possesses
"possesses")
domainEnglishFormat.kif 46802-46802
hasAccount
は
possesses
の
subrelation
では
(
termFormat
de
possesses
"besitzt")
terms-de.txt 66-66
hasAccount
は
possesses
の
subrelation
では
antecedent
(<=>
(
and
(
instance
?Account
FinancialAccount
)
(
possesses
?Agent ?Asset)
(
equal
?Account
(
AccountFn
?Asset)))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 2338-2343
FinancialAccount
は
FinancialAccount
の
instance
では
認識エージェント
は
FinancialAsset
を
possess
es
equal
FinancialAccount
and
AccountFn
FinancialAsset
accountHolder
FinancialAccount
and
認識エージェント
(=>
(
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 2403-2418
customer
認識エージェント
and
AutonomousAgent
AutonomousAgent
は
認識エージェント
を
employ
s
TravelerAccommodation
は
AutonomousAgent
の
attribute
では
Porter
は
認識エージェント
の
attribute
では
認識エージェント
は
オブジェクト
を
possess
es
オブジェクト
は
TravelContainer
の
instance
では
オブジェクト
工程
オブジェクト
は
HotelUnit
の
instance
では
工程
は
Carrying
の
instance
では
認識エージェント
は
工程
の
agent
では
工程
は
オブジェクト
に
end
s
工程
は
オブジェクト
から
originate
s
(=>
(
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 847-868
freeFunctionRoomAmenity
HotelFunctionRoom
and
物理
エンティティー
は
HotelFunctionRoom
の
instance
では
エンティティー
は
AutonomousAgent
の
belongings
の
element
工程
は
Renting
の
instance
では
エンティティー
は
工程
の
patient
では
工程
は
認識エージェント
に
end
s
オブジェクト
は
物理
の
instance
では
AutonomousAgent
は
オブジェクト
を
possess
es
customer
認識エージェント
and
AutonomousAgent
オブジェクト
は
工程
の
instance
では
認識エージェント
は
オブジェクト
の
agent
では
認識エージェント
が
オブジェクト
を
experience
s
AutonomousAgent
は
オブジェクト
を
possess
es
オブジェクト
は
オブジェクト
の
instance
では
認識エージェント
は
オブジェクト
を
use
s
price
オブジェクト
, 0 の
UnitedStatesDollar
(s) and
AutonomousAgent
(=>
(
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 548-563
freePropertyAmenity
AutonomousAgent
and
物理
工程
は
物理
の
instance
では
customer
認識エージェント
and
AutonomousAgent
工程
は
工程
の
instance
では
認識エージェント
は
工程
の
agent
では
認識エージェント
が
工程
を
experience
s
AutonomousAgent
は
工程
を
possess
es
工程
は
オブジェクト
の
instance
では
認識エージェント
は
工程
を
use
s
price
工程
, 0 の
UnitedStatesDollar
(s) and
AutonomousAgent
(=>
(
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 4422-4439
hasAccount
認識エージェント
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
認識エージェント
は
password
ComputerPassword
and
UserAccount
を
know
ない
認識エージェント
は
recoveryKey
エンティティー
and
UserAccount
を
know
s
認識エージェント
は
Computer
を
possess
es
ステートメント
エンティティー
エンティティー
は
ChangingPassword
の
instance
では
UserAccount
は
エンティティー
の
patient
では
認識エージェント
は
エンティティー
の
agent
では には
Possibility
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4285-4291
エンティティー
は
オブジェクト
を
possess
es は
時間位置
の
during
holds
オブジェクト
は
オブジェクト
の
part
では
エンティティー
は
オブジェクト
を
possess
es は
時間位置
の
during
holds
(=>
(
and
(
instance
?AOC
AOCnumber
)
(
instance
?AIRLINE
Airline
)
(
possesses
?AIRLINE ?AOC))
(
confersRight
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))
FederalAviationAdministration
?AIRLINE))
Transportation.kif 4094-4104
オブジェクト
は
AOCnumber
の
instance
では
認識エージェント
は
Airline
の
instance
では
認識エージェント
は
オブジェクト
を
possess
es
FederalAviationAdministration
は
認識エージェント
が
エンティティー
エンティティー
は
AirTransportationService
の
instance
では
認識エージェント
は
エンティティー
の間サービスを provides のタスクを実行することはを
allow
s
(=>
(
and
(
instance
?Bond
Bond
)
(
couponInterest
?Bond ?Interest)
(
possesses
?BondHolder ?Bond))
(
exists
(?Period ?Payment)
(
and
(
periodicPayment
(
AccountFn
?Bond) ?Interest ?Period)
(
destination
?Payment ?BondHolder))))
FinancialOntology.kif 2287-2295
Bond
は
Bond
の
instance
では
couponInterest
Bond
and
Interest
Bond
Holder は
Bond
を
possess
es
時間分
工程
periodicPayment
AccountFn
Bond
,
Interest
and
時間分
工程
は
Bond
Holder に
end
s
(=>
(
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 2414-2423
FinancialAccount
は
SecuredBond
の
instance
では
securedBy
FinancialAccount
and
Collateral
AutonomousAgent
は
FinancialAccount
を
possess
es
工程
は
FinancialDefault
の
instance
では
FinancialAccount
は
工程
の
patient
では
AutonomousAgent
は
Collateral
を
possess
es は
工程
の
time
の existence の すぐ
after
の
during
holds
(=>
(
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 2350-2372
FinancialAsset
は
ZeroCouponBond
の
instance
では
maturityDate
AccountFn
FinancialAsset
and
日
FinancialAsset
Holder は
FinancialAsset
を
possess
es
principalAmount
AccountFn
FinancialAsset
and
実数
の
測定単位
(s)
agreementPeriod
AccountFn
FinancialAsset
and
時間間隔
interestEarned
AccountFn
FinancialAsset
,
実数
の
測定単位
(s) and
時間間隔
equal
実数
and (
実数
+
実数
)
金融取引
金融取引
は
Payment
の
instance
では
金融取引
は
FinancialAsset
Holder に
end
s
金融取引
は
AccountFn
FinancialAsset
から
originate
s
transactionAmount
金融取引
and
実数
の
測定単位
(s)
(=>
(
and
(
instance
?C
FamilyBusiness
)
(
possesses
?P1 ?C)
(
possesses
?P2 ?C))
(
familyRelation
?P1 ?P2))
Mid-level-ontology.kif 8430-8435
オブジェクト
は
FamilyBusiness
の
instance
では
物
は
オブジェクト
を
possess
es
物
は
オブジェクト
を
possess
es
物
と
物
は
related
して
(=>
(
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 11797-11804
工程
は
所有権の変更
の
instance
では
エンティティー
は
工程
の
patient
では
エンティティー
は
エンティティー
を
possess
es は
工程
の
time
の existence の
beginning
の
during
holds
エンティティー
は
エンティティー
を
possess
es は
工程
の
time
の existence の
end
の
during
holds
equal
エンティティー
and
エンティティー
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 220-228
BankCard
は
CreditCard
の
instance
では
認識エージェント
は
BankCard
を
possess
es
FinancialAccount
FinancialAccount
は
CreditCardAccount
の
instance
では
cardAccount
BankCard
and
FinancialAccount
accountHolder
FinancialAccount
and
認識エージェント
(=>
(
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 3561-3572
BankCard
は
DebitCard
の
instance
では
AutonomousAgent
は
BankCard
を
possess
es
工程
は
金融取引
の
instance
では
BankCard
は
工程
の
instrument
では
記号文字列
工程
pin
記号文字列
and
BankCard
工程
は
EnteringAPin
の
instance
では
記号文字列
は
工程
の
patient
では
AutonomousAgent
は
工程
の
agent
では
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 205-213
BankCard
は
DebitCard
の
instance
では
認識エージェント
は
BankCard
を
possess
es
FinancialAccount
FinancialAccount
は
DepositAccount
の
instance
では
cardAccount
BankCard
and
FinancialAccount
accountHolder
FinancialAccount
and
認識エージェント
(=>
(
and
(
instance
?DEGREE
AcademicDegree
)
(
possesses
?AGENT ?DEGREE))
(
exists
(?PROGRAM ?STUDY)
(
and
(
instance
?PROGRAM
EducationalProgram
)
(
realization
?STUDY ?PROGRAM)
(
experiencer
?STUDY ?AGENT))))
Mid-level-ontology.kif 17901-17909
オブジェクト
は
AcademicDegree
の
instance
では
AutonomousAgent
は
オブジェクト
を
possess
es
命題
工程
命題
は
EducationalProgram
の
instance
では
工程
は
命題
の内容を
express
es
AutonomousAgent
が
工程
を
experience
s
(=>
(
and
(
instance
?DEVICE
FaxMachine
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
possesses
?AGENT ?DEVICE))))
(
holdsDuring
?TIME
(
faxNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 26820-26827
エンティティー
は
FaxMachine
の
instance
では
deviceTelecomNumber
エンティティー
and
エンティティー
エンティティー
は
エンティティー
を
possess
es は
時間位置
の
during
holds
faxNumber
エンティティー
and
エンティティー
は
時間位置
の
during
holds
(=>
(
and
(
instance
?DEVICE
Telephone
)
(
holdsDuring
?TIME
(
and
(
possesses
?AGENT ?DEVICE)
(
deviceTelecomNumber
?NUMBER ?DEVICE))))
(
holdsDuring
?TIME
(
telephoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 26669-26676
エンティティー
は
Telephone
の
instance
では
エンティティー
は
エンティティー
を
possess
es
deviceTelecomNumber
エンティティー
and
エンティティー
は
時間位置
の
during
holds
telephoneNumber
エンティティー
and
エンティティー
は
時間位置
の
during
holds
(=>
(
and
(
instance
?F
Facility
)
(
holdsDuring
?T
(
attribute
?F
MilitarilySecure
))
(
instance
?MF
MilitaryForce
)
(
possesses
?MF ?F))
(
not
(
exists
(?A ?E)
(
and
(
instance
?A
Attack
)
(
during
?T
(
WhenFn
?A))
(
destination
?A ?F)
(
agent
?A ?E)
(
enemy
?MF ?E)))))
MilitaryProcesses.kif 2832-2846
オブジェクト
は
Facility
の
instance
では
MilitarilySecure
は
オブジェクト
の
attribute
では は
時間間隔
の
during
holds
AutonomousAgent
は
MilitaryForce
の
instance
では
AutonomousAgent
は
オブジェクト
を
possess
es
工程
AutonomousAgent
工程
は
Attack
の
instance
では
時間間隔
は
工程
の
time
の existence の
during
に takes
工程
は
オブジェクト
に
end
s
AutonomousAgent
は
工程
の
agent
では
enemy
AutonomousAgent
and
AutonomousAgent
(=>
(
and
(
instance
?F
Facility
)
(
holdsDuring
?T
(
attribute
?F
MilitarilySecure
))
(
instance
?MF
MilitaryForce
)
(
possesses
?MF ?F))
(
not
(
exists
(?E)
(
and
(
enemy
?MF ?E)
(
holdsDuring
?T
(
and
(
located
?E ?F)
(
not
(
attribute
?E
PrisonerOfWar
))))))))
MilitaryProcesses.kif 2848-2863
オブジェクト
は
Facility
の
instance
では
MilitarilySecure
は
オブジェクト
の
attribute
では は
時間位置
の
during
holds
AutonomousAgent
は
MilitaryForce
の
instance
では
AutonomousAgent
は
オブジェクト
を
possess
es
AutonomousAgent
enemy
AutonomousAgent
and
AutonomousAgent
AutonomousAgent
は
オブジェクト
に
located
して
PrisonerOfWar
は
AutonomousAgent
の
attribute
では は
時間位置
の
during
holds
(=>
(
and
(
instance
?FLEET
Fleet
)
(
fleetSize
?AGENT ?NUM)
(
possesses
?AGENT ?FLEET))
(
memberCount
?FLEET ?NUM))
Mid-level-ontology.kif 3971-3976
コレクション
は
Fleet
の
instance
では
fleetSize
AutonomousAgent
and
整数
AutonomousAgent
は
コレクション
を
possess
es
memberCount
コレクション
and
整数
(=>
(
and
(
instance
?INTERNAL
InternalShipRegister
)
(
possesses
?AREA ?INTERNAL))
(
instance
?AREA
Nation
))
Transportation.kif 1176-1180
オブジェクト
は
InternalShipRegister
の
instance
では
AutonomousAgent
は
オブジェクト
を
possess
es
AutonomousAgent
は
国民
の
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
では
AutonomousAgent
は
AutonomousAgent
の
instance
では
ForSaleByOwner
は
オブジェクト
の
attribute
では
AutonomousAgent
は
オブジェクト
を
possess
es
AutonomousAgent
は
人[人間]
の
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 18269-18280
オブジェクト
は
DriversLicense
の
instance
では
AutonomousAgent
は
オブジェクト
を
possess
es
confersNorm
オブジェクト
,
エンティティー
エンティティー
エンティティー
は
運転
の
instance
では
AutonomousAgent
は
エンティティー
の
agent
では
エンティティー
は
エンティティー
の
patient
では
エンティティー
は
RoadVehicle
の
instance
では and
Permission
(=>
(
and
(
instance
?NATIONAL
NationalShipRegister
)
(
possesses
?AREA ?NATIONAL))
(
instance
?AREA
Nation
))
Transportation.kif 1126-1130
オブジェクト
は
NationalShipRegister
の
instance
では
AutonomousAgent
は
オブジェクト
を
possess
es
AutonomousAgent
は
国民
の
instance
では
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
accountAtSite
UserAccount
and
WebSite
オブジェクト
WebSite
_OWNER
オブジェクト
は
Database
の
instance
では
WebSite
_OWNER は
AutonomousAgent
の
instance
では
WebSite
_OWNER は
WebSite
を
possess
es
WebSite
_OWNER は
オブジェクト
を
possess
es
UserAccount
は
オブジェクト
の
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 31426-31438
Collectible
は
オブジェクト
の
attribute
では
オブジェクト
は
公式
の 目的
認識エージェント
公式
2
認識エージェント
は
人[人間]
の
instance
では
認識エージェント
は
オブジェクト
を
want
s
認識エージェント
が
公式
2 を
desire
s
公式
2 は
認識エージェント
は
オブジェクト
を
possess
es を
entail
s
equal
公式
and
公式
2
(=>
(
and
(
attribute
?X
BlueforceControlled
)
(
instance
?X
Object
))
(
exists
(?A)
(
and
(
instance
?A
GovernmentOrganization
)
(
possesses
?A ?X)
(
or
(
subOrganization
?A
(
GovernmentFn
UnitedStates
))
(
allied
?A
(
GovernmentFn
UnitedStates
))))))
MilitaryProcesses.kif 2808-2820
BlueforceControlled
は
オブジェクト
の
attribute
では
オブジェクト
は
オブジェクト
の
instance
では
組織
組織
は
GovernmentOrganization
の
instance
では
組織
は
オブジェクト
を
possess
es
組織
は組織
UnitedStates
の
government
の一部では
allied
組織
and
UnitedStates
の
government
(=>
(
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 22218-22240
Waiter
は
認識エージェント
の
attribute
では
認識エージェント
は
人[人間]
の
instance
では
AutonomousAgent
は
認識エージェント
を
employ
s
AutonomousAgent
は
Restaurant
の
instance
では
customer
認識エージェント
and
AutonomousAgent
認識エージェント
は
オブジェクト
に
located
して
オブジェクト
は
Table
の
instance
では
オブジェクト
エンティティー
,
エンティティー
and
オブジェクト
AutonomousAgent
は
オブジェクト
を
possess
es
オブジェクト
は
KitchenArea
の
instance
では
オブジェクト
は
DiningArea
の
instance
では
オブジェクト
は
オブジェクト
に
located
して
認識エージェント
は
エンティティー
は
Carrying
の
instance
では
認識エージェント
は
エンティティー
の
agent
では
エンティティー
は
オブジェクト
から
originate
s
エンティティー
は
オブジェクト
に
end
s
エンティティー
は
エンティティー
の
patient
では
エンティティー
は
FoodForFn
人[人間]
の
instance
では の 目的
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4285-4291
エンティティー
は
オブジェクト
を
possess
es は
時間位置
の
during
holds
オブジェクト
は
オブジェクト
の
part
では
エンティティー
は
オブジェクト
を
possess
es は
時間位置
の
during
holds
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MerchantMarineFn
?AREA)
MerchantMarine
))
(
possesses
?AREA
(
MerchantMarineFn
?AREA)))
Transportation.kif 978-982
地政学的地域
は
地政学的地域
の
instance
では
MerchantMarineFn
地政学的地域
は
MerchantMarine
の
instance
では
地政学的地域
は
MerchantMarineFn
地政学的地域
を
possess
es
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
))
(
possesses
?AREA
(
ShipRegisterFn
?AREA)))
Transportation.kif 1139-1143
地政学的地域
は
地政学的地域
の
instance
では
ShipRegisterFn
地政学的地域
は
ShipRegister
の
instance
では
地政学的地域
は
ShipRegisterFn
地政学的地域
を
possess
es
(=>
(
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 20250-20266
移動
は
Bequeathing
の
instance
では
AutonomousAgent
は
移動
の
agent
では
移動
は
エンティティー
に
end
s
objectTransferred
移動
and
AutonomousAgent
ROP
工程
工程
は
死
の
instance
では
AutonomousAgent
が
工程
を
experience
s
工程
の
time
の existence は
移動
の
time
の existence より
earlier
happens
AutonomousAgent
は
AutonomousAgent
ROP を
possess
es は
工程
の
time
の existence の immediately
before
の
during
holds
confersNorm
AutonomousAgent
,
エンティティー
は
AutonomousAgent
ROP を
possess
es and
Permission
(=>
(
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 2414-2423
FinancialAccount
は
SecuredBond
の
instance
では
securedBy
FinancialAccount
and
Collateral
AutonomousAgent
は
FinancialAccount
を
possess
es
工程
は
FinancialDefault
の
instance
では
FinancialAccount
は
工程
の
patient
では
AutonomousAgent
は
Collateral
を
possess
es は
工程
の
time
の existence の すぐ
after
の
during
holds
(=>
(
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 11806-11816
工程
は
所有権の変更
の
instance
では
工程
は
オブジェクト
から
originate
s
工程
は
エンティティー
に
end
s
オブジェクト
は
AutonomousAgent
の
instance
では
エンティティー
は
AutonomousAgent
の
instance
では
エンティティー
は
工程
の
patient
では
オブジェクト
は
エンティティー
を
possess
es は
工程
の
time
の existence の
beginning
の
during
holds
エンティティー
は
エンティティー
を
possess
es は
工程
の
time
の existence の
end
の
during
holds
(=>
(
and
(
instance
?DESTR
PreciseDestruction
)
(
agent
?DESTR ?AGENT))
(
exists
(?WEAPON)
(
and
(
possesses
?AGENT ?WEAPON)
(
instrument
?DESTR ?WEAPON)
(
instance
?WEAPON
HighPrecisionWeapon
))))
MilitaryProcesses.kif 601-609
工程
は
PreciseDestruction
の
instance
では
AutonomousAgent
は
工程
の
agent
では
オブジェクト
AutonomousAgent
は
オブジェクト
を
possess
es
オブジェクト
は
工程
の
instrument
では
オブジェクト
は
HighPrecisionWeapon
の
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 20192-20210
工程
は
Inheriting
の
instance
では
認識エージェント
は
工程
の
agent
では
工程
は
AutonomousAgent
から
originate
s
エンティティー
は
工程
の
patient
では
工程
工程
は
死
の
instance
では
AutonomousAgent
が
工程
を
experience
s
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens
AutonomousAgent
は
エンティティー
を
possess
es は
工程
の
time
の existence の immediately
before
の
during
holds
AutonomousAgent
は
認識エージェント
が
認識エージェント
は
エンティティー
を
possess
es のタスクを実行することはを
allow
s
(=>
(
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 1350-1359
Loan
は
Loan
の
instance
では
securedBy
Loan
and
Collateral
lender
Loan
and
認識エージェント
工程
は
FinancialDefault
の
instance
では
Loan
は
工程
の
patient
では
認識エージェント
は
Collateral
を
possess
es は
工程
の
time
の existence の すぐ
after
の
during
holds
(=>
(
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
では
AirTransportationIndustry
は
コレクション
の
attribute
では
AutonomousAgent
工程
工程
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
認識エージェント
AutonomousAgent
は
販売
の
instance
では
認識エージェント
は
人[人間]
の
instance
では
認識エージェント
は
AutonomousAgent
の
patient
では
工程
は
認識エージェント
が
エンティティー
認識エージェント
LANE and
エンティティー
エンティティー
は
交通手段
の
instance
では
認識エージェント
は
エンティティー
の
patient
では
認識エージェント
は
エンティティー
を
possess
es
エンティティー
は
エンティティー
の
patient
では
エンティティー
は
オブジェクト
の
instance
では
コレクション
は
認識エージェント
LANE を
possess
es
認識エージェント
LANE は
Aircraft
の
instance
では のタスクを実行することはを
allow
s
(=>
(
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
では
CouriersAndMessengers
は
コレクション
の
attribute
では
AutonomousAgent
工程
工程
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
認識エージェント
エンティティー
AutonomousAgent
は
販売
の
instance
では
エンティティー
は
オブジェクト
の
instance
では
認識エージェント
は
人[人間]
の
instance
では
認識エージェント
は
AutonomousAgent
の
patient
では
工程
は
認識エージェント
が
エンティティー
エンティティー
は
交通手段
の
instance
では
認識エージェント
は
エンティティー
を
possess
es
エンティティー
は
エンティティー
の
patient
では のタスクを実行することはを
allow
s
(=>
(
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
では
PipelineTransportation
は
コレクション
の
attribute
では
AutonomousAgent
工程
工程
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
認識エージェント
AutonomousAgent
は
販売
の
instance
では
認識エージェント
は
人[人間]
の
instance
では
認識エージェント
は
AutonomousAgent
の
patient
では
工程
は
認識エージェント
が
エンティティー
エンティティー
,
エンティティー
and
認識エージェント
IPE
エンティティー
は
交通手段
の
instance
では
認識エージェント
は
エンティティー
を
possess
es
エンティティー
は
エンティティー
の
patient
では
エンティティー
は
物質
の
instance
では
コレクション
は
エンティティー
を
possess
es
認識エージェント
IPE は
エンティティー
の
instrument
では
認識エージェント
IPE は
Pipeline
の
instance
では のタスクを実行することはを
allow
s
(=>
(
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
では
PostalService
は
コレクション
の
attribute
では
AutonomousAgent
工程
工程
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
認識エージェント
エンティティー
AutonomousAgent
は
販売
の
instance
では
エンティティー
は
オブジェクト
の
instance
では
認識エージェント
は
人[人間]
の
instance
では
認識エージェント
は
AutonomousAgent
の
patient
では
工程
は
認識エージェント
が
エンティティー
エンティティー
は
交通手段
の
instance
では
認識エージェント
は
エンティティー
を
possess
es
エンティティー
は
エンティティー
の
patient
では のタスクを実行することはを
allow
s
(=>
(
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
では
RailTransportation
は
コレクション
の
attribute
では
AutonomousAgent
工程
工程
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
認識エージェント
AutonomousAgent
は
販売
の
instance
では
認識エージェント
は
人[人間]
の
instance
では
認識エージェント
は
AutonomousAgent
の
patient
では
工程
は
認識エージェント
が
エンティティー
エンティティー
and
エンティティー
エンティティー
は
交通手段
の
instance
では
認識エージェント
は
エンティティー
の
patient
では
認識エージェント
は
エンティティー
を
possess
es
エンティティー
は
エンティティー
の
patient
では
エンティティー
は
オブジェクト
の
instance
では
コレクション
は
エンティティー
を
possess
es
エンティティー
は
RailVehicle
の
instance
では のタスクを実行することはを
allow
s
(=>
(
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
では
ScenicAndSightseeingTransportation
は
コレクション
の
attribute
では
AutonomousAgent
工程
工程
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
認識エージェント
AutonomousAgent
は
販売
の
instance
では
認識エージェント
は
人[人間]
の
instance
では
認識エージェント
は
AutonomousAgent
の
patient
では
工程
は
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
交通手段
の
instance
では
エンティティー
は
レクリエーションまたは運動
の
instance
では
認識エージェント
は
エンティティー
の
patient
では
コレクション
は
エンティティー
を
possess
es
エンティティー
は
Vehicle
の
instance
では のタスクを実行することはを
allow
s
(=>
(
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
では
TransitAndGroundPassengerTransportation
は
コレクション
の
attribute
では
AutonomousAgent
工程
工程
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
認識エージェント
AutonomousAgent
は
販売
の
instance
では
認識エージェント
は
人[人間]
の
instance
では
認識エージェント
は
AutonomousAgent
の
patient
では
工程
は
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
交通手段
の
instance
では
認識エージェント
は
エンティティー
の
patient
では
コレクション
は
エンティティー
を
possess
es
エンティティー
は
LandVehicle
の
instance
では のタスクを実行することはを
allow
s
(=>
(
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
では
TruckTransportation
は
コレクション
の
attribute
では
AutonomousAgent
工程
工程
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
認識エージェント
AutonomousAgent
は
販売
の
instance
では
認識エージェント
は
人[人間]
の
instance
では
認識エージェント
は
AutonomousAgent
の
patient
では
工程
は
認識エージェント
が
エンティティー
エンティティー
and
エンティティー
エンティティー
は
交通手段
の
instance
では
認識エージェント
は
エンティティー
を
possess
es
エンティティー
は
エンティティー
の
patient
では
エンティティー
は
オブジェクト
の
instance
では
コレクション
は
エンティティー
を
possess
es
エンティティー
は
LandVehicle
の
instance
では のタスクを実行することはを
allow
s
(=>
(
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
では
WarehousingAndStorage
は
コレクション
の
attribute
では
AutonomousAgent
工程
工程
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
認識エージェント
エンティティー
AutonomousAgent
は
販売
の
instance
では
エンティティー
は
オブジェクト
の
instance
では
認識エージェント
は
人[人間]
の
instance
では
認識エージェント
は
AutonomousAgent
の
patient
では
工程
は
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
時間間隔
の
instance
では
エンティティー
は
建物
の
instance
では
認識エージェント
は
エンティティー
を
possess
es
エンティティー
は
エンティティー
に
located
して は
エンティティー
の
during
holds のタスクを実行することはを
allow
s
(=>
(
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
では
WaterTransportationIndustry
は
コレクション
の
attribute
では
AutonomousAgent
工程
工程
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
認識エージェント
AutonomousAgent
は
販売
の
instance
では
認識エージェント
は
人[人間]
の
instance
では
認識エージェント
は
AutonomousAgent
の
patient
では
工程
は
認識エージェント
が
エンティティー
エンティティー
and
エンティティー
エンティティー
は
交通手段
の
instance
では
認識エージェント
は
エンティティー
の
patient
では
認識エージェント
は
エンティティー
を
possess
es
エンティティー
は
エンティティー
の
patient
では
エンティティー
は
オブジェクト
の
instance
では
コレクション
は
エンティティー
を
possess
es
エンティティー
は
WaterVehicle
の
instance
では のタスクを実行することはを
allow
s
(=>
(
and
(
instance
?PURSUE
Pursuing
)
(
agent
?PURSUE ?AGENT)
(
patient
?PURSUE ?OBJ))
(
holdsDuring
?PURSUE
(
not
(
possesses
?AGENT ?OBJ))))
Merge.kif 13046-13051
工程
は
追求
の
instance
では
AutonomousAgent
は
工程
の
agent
では
エンティティー
は
工程
の
patient
では
AutonomousAgent
は
エンティティー
を
possess
ない は
工程
の
during
holds
(=>
(
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 25474-25491
工程
は
Saving
の
instance
では
オブジェクト
は
工程
の
patient
では
AutonomousAgent
は
工程
の
agent
では
実数
実数
and
エンティティー
エンティティー
は
UnitOfCurrency
の
instance
では
オブジェクト
の
value
は
実数
の
エンティティー
(s) では は
工程
の
time
の existence の
beginning
の
during
holds
オブジェクト
の
value
は
実数
の
エンティティー
(s) では は
工程
の
time
の existence の
end
の
during
holds
AutonomousAgent
は
オブジェクト
を
possess
es
実数
は
実数
より
less
では
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