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
possesses
の数値 1 引数は
AutonomousAgent
の
instance
では %n
(
domain
possesses
2
Object
)
Merge.kif 4246-4246
possesses
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
possesses
AsymmetricRelation
)
Merge.kif 4244-4244
possesses
は
非対称関係
の
instance
では %n
(
instance
possesses
BinaryPredicate
)
Merge.kif 4243-4243
possesses
は
2進述語
の
instance
では %n
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 11664-11664
所有権の変更
は
possesses
に
internally
関連して %n
(
subrelation
financialAsset
possesses
)
Mid-level-ontology.kif 23852-23852
financialAsset
は
possesses
の
subrelation
では %n
(
subrelation
hasAccount
possesses
)
QoSontology.kif 2068-2068
hasAccount
は
possesses
の
subrelation
では %n
(
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
FinancialAccount
は
FinancialAccount
の
instance
では %n
認識エージェント
は
FinancialAsset
を
possess
es %n{ない}
FinancialAccount
は
AccountFn
FinancialAsset
と
equal
では %n
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 2392-2407
customer
認識エージェント
and
AutonomousAgent
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
Porter
は
認識エージェント
の
attribute
では %n
認識エージェント
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
TravelContainer
の
instance
では %n
オブジェクト
工程
オブジェクト
は
HotelUnit
の
instance
では %n
工程
は
Carrying
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
オブジェクト
に
end
s %n{ない}
工程
は
オブジェクト
から
originate
s %n{ない}
(=>
(
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
freeFunctionRoomAmenity
HotelFunctionRoom
and
物理
エンティティー
は
HotelFunctionRoom
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
認識エージェント
に
end
s %n{ない}
オブジェクト
は
物理
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
customer
認識エージェント
and
AutonomousAgent
オブジェクト
は
工程
の
instance
では %n
認識エージェント
は
オブジェクト
の
agent
では %n
認識エージェント
が
オブジェクト
を
experience
s %n{ない}
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
オブジェクト
の
instance
では %n
認識エージェント
は
オブジェクト
を
use
s %n{ない}
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 546-561
freePropertyAmenity
AutonomousAgent
and
物理
工程
は
物理
の
instance
では %n
customer
認識エージェント
and
AutonomousAgent
工程
は
工程
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
工程
を
possess
es %n{ない}
工程
は
オブジェクト
の
instance
では %n
認識エージェント
は
工程
を
use
s %n{ない}
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 4427-4444
hasAccount
認識エージェント
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
認識エージェント
は
password
ComputerPassword
and
UserAccount
を
know
ない
認識エージェント
は
recoveryKey
エンティティー
and
UserAccount
を
know
s %n{ない}
認識エージェント
は
Computer
を
possess
es %n{ない}
ステートメント
エンティティー
エンティティー
は
ChangingPassword
の
instance
では %n
UserAccount
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
の
agent
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
エンティティー
は
オブジェクト
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
は
オブジェクト
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
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
オブジェクト
は
AOCnumber
の
instance
では %n
認識エージェント
は
Airline
の
instance
では %n
認識エージェント
は
オブジェクト
を
possess
es %n{ない}
FederalAviationAdministration
は
認識エージェント
が
エンティティー
エンティティー
は
AirTransportationService
の
instance
では %n
認識エージェント
は
エンティティー
の間サービスを provides %n{ない} のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
Bond
は
Bond
の
instance
では %n
couponInterest
Bond
and
Interest
Bond
Holder は
Bond
を
possess
es %n{ない}
時間分
工程
periodicPayment
AccountFn
Bond
,
Interest
and
時間分
工程
は
Bond
Holder に
end
s %n{ない}
(=>
(
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
FinancialAccount
は
SecuredBond
の
instance
では %n
securedBy
FinancialAccount
and
Collateral
AutonomousAgent
は
FinancialAccount
を
possess
es %n{ない}
工程
は
FinancialDefault
の
instance
では %n
FinancialAccount
は
工程
の
patient
では %n
AutonomousAgent
は
Collateral
を
possess
es %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
FinancialAsset
は
ZeroCouponBond
の
instance
では %n
maturityDate
AccountFn
FinancialAsset
and
日
FinancialAsset
Holder は
FinancialAsset
を
possess
es %n{ない}
principalAmount
AccountFn
FinancialAsset
and
実数
の
測定単位
(s)
agreementPeriod
AccountFn
FinancialAsset
and
時間間隔
interestEarned
AccountFn
FinancialAsset
,
実数
の
測定単位
(s) and
時間間隔
実数
は (
実数
+
実数
) と
equal
では %n
金融取引
金融取引
は
Payment
の
instance
では %n
金融取引
は
FinancialAsset
Holder に
end
s %n{ない}
金融取引
は
AccountFn
FinancialAsset
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
(=>
(
and
(
instance
?C
FamilyBusiness
)
(
possesses
?P1 ?C)
(
possesses
?P2 ?C))
(
familyRelation
?P1 ?P2))
Mid-level-ontology.kif 7268-7273
オブジェクト
は
FamilyBusiness
の
instance
では %n
物
は
オブジェクト
を
possess
es %n{ない}
物
は
オブジェクト
を
possess
es %n{ない}
物
と
物
は
related
して %n
(=>
(
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 11669-11676
工程
は
所有権の変更
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
equal
では
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 218-226
BankCard
は
CreditCard
の
instance
では %n
認識エージェント
は
BankCard
を
possess
es %n{ない}
FinancialAccount
FinancialAccount
は
CreditCardAccount
の
instance
では %n
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 3543-3554
BankCard
は
DebitCard
の
instance
では %n
AutonomousAgent
は
BankCard
を
possess
es %n{ない}
工程
は
金融取引
の
instance
では %n
BankCard
は
工程
の
instrument
では %n
記号文字列
工程
pin
記号文字列
and
BankCard
工程
は
EnteringAPin
の
instance
では %n
記号文字列
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 203-211
BankCard
は
DebitCard
の
instance
では %n
認識エージェント
は
BankCard
を
possess
es %n{ない}
FinancialAccount
FinancialAccount
は
DepositAccount
の
instance
では %n
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 16513-16521
オブジェクト
は
AcademicDegree
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
命題
工程
命題
は
EducationalProgram
の
instance
では %n
工程
は
命題
の内容を
express
es %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
and
(
instance
?DEVICE
FaxMachine
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
possesses
?AGENT ?DEVICE))))
(
holdsDuring
?TIME
(
faxNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25157-25164
エンティティー
は
FaxMachine
の
instance
では %n
deviceTelecomNumber
エンティティー
and
エンティティー
エンティティー
は
エンティティー
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
faxNumber
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?DEVICE
Telephone
)
(
holdsDuring
?TIME
(
and
(
possesses
?AGENT ?DEVICE)
(
deviceTelecomNumber
?NUMBER ?DEVICE))))
(
holdsDuring
?TIME
(
telephoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25006-25013
エンティティー
は
Telephone
の
instance
では %n
エンティティー
は
エンティティー
を
possess
es %n{ない}
deviceTelecomNumber
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
telephoneNumber
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?FLEET
Fleet
)
(
fleetSize
?AGENT ?NUM)
(
possesses
?AGENT ?FLEET))
(
memberCount
?FLEET ?NUM))
Mid-level-ontology.kif 3528-3533
コレクション
は
Fleet
の
instance
では %n
fleetSize
AutonomousAgent
and
整数
AutonomousAgent
は
コレクション
を
possess
es %n{ない}
memberCount
コレクション
and
整数
(=>
(
and
(
instance
?INTERNAL
InternalShipRegister
)
(
possesses
?AREA ?INTERNAL))
(
instance
?AREA
Nation
))
Transportation.kif 1176-1180
オブジェクト
は
InternalShipRegister
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
AutonomousAgent
は
国民
の
instance
では %n
(=>
(
and
(
instance
?ITEM
Object
)
(
instance
?LISTING
WebListing
)
(
instance
?OWNER
AutonomousAgent
)
(
attribute
?LISTING
ForSaleByOwner
)
(
possesses
?OWNER ?ITEM))
(
instance
?OWNER
Human
))
UXExperimentalTerms.kif 381-388
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
WebListing
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
ForSaleByOwner
は
オブジェクト
の
attribute
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
AutonomousAgent
は
人[人間]
の
instance
では %n
(=>
(
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 16881-16892
オブジェクト
は
DriversLicense
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
confersNorm
オブジェクト
,
エンティティー
エンティティー
エンティティー
は
運転
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
RoadVehicle
の
instance
では %n and
Permission
(=>
(
and
(
instance
?NATIONAL
NationalShipRegister
)
(
possesses
?AREA ?NATIONAL))
(
instance
?AREA
Nation
))
Transportation.kif 1126-1130
オブジェクト
は
NationalShipRegister
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
AutonomousAgent
は
国民
の
instance
では %n
(=>
(
and
(
instance
?OFFSHORE
OffshoreShipRegister
)
(
possesses
?AREA ?OFFSHORE))
(
instance
?AREA
Nation
))
Transportation.kif 1192-1196
オブジェクト
は
OffshoreShipRegister
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
AutonomousAgent
は
国民
の
instance
では %n
(=>
(
and
(
instance
?P
PassCertificate
)
(
possesses
?A ?P))
(
exists
(?L)
(
confersNorm
?P
(
located
?A ?L)
Permission
)))
Mid-level-ontology.kif 16581-16588
オブジェクト
は
PassCertificate
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
エンティティー
confersNorm
オブジェクト
,
AutonomousAgent
は
エンティティー
に
located
して %n and
Permission
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
では %n
WebSite
_OWNER は
AutonomousAgent
の
instance
では %n
WebSite
_OWNER は
WebSite
を
possess
es %n{ない}
WebSite
_OWNER は
オブジェクト
を
possess
es %n{ない}
UserAccount
は
オブジェクト
の
part
では %n
(=>
(
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 29495-29507
Collectible
は
オブジェクト
の
attribute
では %n
オブジェクト
は
公式
の 目的 %n{ない}
認識エージェント
公式
2
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
オブジェクト
を
want
s %n{ない}
認識エージェント
が
公式
2 を
desire
s %n{ない}
公式
2 は
認識エージェント
は
オブジェクト
を
possess
es %n{ない} を
entail
s %n{ない}
公式
は
公式
2 と
equal
では
(=>
(
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 20600-20622
Waiter
は
認識エージェント
の
attribute
では %n
認識エージェント
は
人[人間]
の
instance
では %n
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
AutonomousAgent
は
Restaurant
の
instance
では %n
customer
認識エージェント
and
AutonomousAgent
認識エージェント
は
オブジェクト
に
located
して %n
オブジェクト
は
Table
の
instance
では %n
オブジェクト
エンティティー
,
エンティティー
and
オブジェクト
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
KitchenArea
の
instance
では %n
オブジェクト
は
DiningArea
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
認識エージェント
は
エンティティー
は
Carrying
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
オブジェクト
に
end
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
FoodForFn
人[人間]
の
instance
では %n の 目的 %n{ない}
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
エンティティー
は
オブジェクト
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
は
オブジェクト
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MerchantMarineFn
?AREA)
MerchantMarine
))
(
possesses
?AREA
(
MerchantMarineFn
?AREA)))
Transportation.kif 978-982
地政学的地域
は
地政学的地域
の
instance
では %n
MerchantMarineFn
地政学的地域
は
MerchantMarine
の
instance
では %n
地政学的地域
は
MerchantMarineFn
地政学的地域
を
possess
es %n{ない}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
))
(
possesses
?AREA
(
ShipRegisterFn
?AREA)))
Transportation.kif 1139-1143
地政学的地域
は
地政学的地域
の
instance
では %n
ShipRegisterFn
地政学的地域
は
ShipRegister
の
instance
では %n
地政学的地域
は
ShipRegisterFn
地政学的地域
を
possess
es %n{ない}
(=>
(
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 18678-18694
移動
は
Bequeathing
の
instance
では %n
AutonomousAgent
は
移動
の
agent
では %n
移動
は
エンティティー
に
end
s %n{ない}
objectTransferred
移動
and
AutonomousAgent
ROP
工程
工程
は
死
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
AutonomousAgent
は
AutonomousAgent
ROP を
possess
es %n{ない} は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
confersNorm
AutonomousAgent
,
エンティティー
は
AutonomousAgent
ROP を
possess
es %n{ない} 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 2397-2406
FinancialAccount
は
SecuredBond
の
instance
では %n
securedBy
FinancialAccount
and
Collateral
AutonomousAgent
は
FinancialAccount
を
possess
es %n{ない}
工程
は
FinancialDefault
の
instance
では %n
FinancialAccount
は
工程
の
patient
では %n
AutonomousAgent
は
Collateral
を
possess
es %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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 11678-11688
工程
は
所有権の変更
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
AutonomousAgent
の
instance
では %n
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
HighPrecisionWeapon
の
instance
では %n
(=>
(
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 18620-18638
工程
は
Inheriting
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
工程
は
死
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
AutonomousAgent
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
AutonomousAgent
は
認識エージェント
が
認識エージェント
は
エンティティー
を
possess
es %n{ない} のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
Loan
は
Loan
の
instance
では %n
securedBy
Loan
and
Collateral
lender
Loan
and
認識エージェント
工程
は
FinancialDefault
の
instance
では %n
Loan
は
工程
の
patient
では %n
認識エージェント
は
Collateral
を
possess
es %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
では %n
AirTransportationIndustry
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
認識エージェント
LANE and
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
コレクション
は
認識エージェント
LANE を
possess
es %n{ない}
認識エージェント
LANE は
Aircraft
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
では %n
CouriersAndMessengers
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
では %n
PipelineTransportation
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
,
エンティティー
and
認識エージェント
IPE
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
物質
の
instance
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
認識エージェント
IPE は
エンティティー
の
instrument
では %n
認識エージェント
IPE は
Pipeline
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
では %n
PostalService
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
では %n
RailTransportation
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
and
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
RailVehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
では %n
ScenicAndSightseeingTransportation
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
交通手段
の
instance
では %n
エンティティー
は
レクリエーションまたは運動
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
Vehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
では %n
TransitAndGroundPassengerTransportation
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
LandVehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
では %n
TruckTransportation
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
and
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
LandVehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
では %n
WarehousingAndStorage
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
エンティティー
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
エンティティー
は
時間間隔
の
instance
では %n
エンティティー
は
建物
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
に
located
して %n は
エンティティー
の
during
holds %n{ない} のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
では %n
WaterTransportationIndustry
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
and
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
WaterVehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?PURSUE
Pursuing
)
(
agent
?PURSUE ?AGENT)
(
patient
?PURSUE ?OBJ))
(
holdsDuring
?PURSUE
(
not
(
possesses
?AGENT ?OBJ))))
Merge.kif 12914-12919
工程
は
追求
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
エンティティー
を
possess
ない は
工程
の
during
holds %n{ない}
(=>
(
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 23827-23844
工程
は
Saving
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
実数
実数
and
エンティティー
エンティティー
は
UnitOfCurrency
の
instance
では %n
オブジェクト
の
value
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
オブジェクト
の
value
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
実数
は
実数
より
less
では %n
(=>
(
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
は
Ship
の
instance
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
AutonomousAgent
は
MerchantMarineFn
地政学的地域
の
member
では %n
オブジェクト
オブジェクト
は
ShipRegistration
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
ShipRegisterFn
地政学的地域
は
オブジェクト
の コンテンツを
subsume
s %n{ない}
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