AutonomousAgent
(=>
(
instance
?A
Awarding
)
(
exists
(?RECIPIENT ?GIVER ?PROCESS ?AWARD)
(
and
(
instance
?RECIPIENT
AutonomousAgent
)
(
instance
?GIVER
AutonomousAgent
)
(
instance
?PROCESS
Process
)
(
instance
?AWARD
Object
)
(
agent
?PROCESS ?RECIPIENT)
(
agent
?A ?GIVER)
(
patient
?A ?AWARD)
(
destination
?A ?RECIPIENT)
(
causes
?PROCESS ?A))))
Mid-level-ontology.kif 18645-18657
工程
は
Awarding
の
instance
では %n
AutonomousAgent
AutonomousAgent
,
工程
and
工程
WARD
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
は
工程
の
instance
では %n
工程
WARD は
オブジェクト
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
WARD は
工程
の
patient
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
instance
?BM
BestMatchAlgorithm
)
(
hasPurpose
?BM
(
exists
(?QUERY ?SEARCHATTEMPT ?OBJECT ?AGENT)
(
and
(
instance
?QUERY
SearchQuery
)
(
instance
?SEARCHATTEMPT
SearchAttempt
)
(
represents
?QUERY ?SEARCHATTEMPT)
(
patient
?BM ?QUERY)
(
instance
?AGENT
AutonomousAgent
)
(
patient
?SEARCHATTEMPT ?OBJECT)
(
agent
?SEARCHATTEMPT ?AGENT)))))
UXExperimentalTerms.kif 2301-2312
物理
は
BestMatchAlgorithm
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
SearchQuery
の
instance
では %n
エンティティー
は
SearchAttempt
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
物理
の
patient
では %n
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
agent
では %n の 目的 %n{ない}
(=>
(
instance
?CATALOG
Catalog
)
(
exists
(?X)
(
and
(
instance
?X
AutonomousAgent
)
(
offers
?X ?CATALOG))))
Catalog.kif 36-41
抽象的な
は
Catalog
の
instance
では %n
AutonomousAgent
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
offers
AutonomousAgent
and
抽象的な
(=>
(
instance
?CHARGE
FinalValueFee
)
(
exists
(?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?SELLING
Selling
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ITEM
Physical
)
(
instance
?ADVERT
WebListing
)
(
patient
?ADVERT ?ITEM)
(
patient
?SELLING ?ITEM)
(
causes
?SELLING ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
eCommerceSite
?SELLING ?OWNER))))
UXExperimentalTerms.kif 240-255
工程
は
FinalValueFee
の
instance
では %n
WebListing
金融取引
,
AutonomousAgent
,
エンティティー
and
WebSite
WebListing
は
WebListing
の
instance
では %n
金融取引
は
販売
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
エンティティー
は
物理
の
instance
では %n
WebListing
は
WebListing
の
instance
では %n
エンティティー
は
WebListing
の
patient
では %n
エンティティー
は
金融取引
の
patient
では %n
金融取引
は
工程
を
cause
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
hostedOn
WebListing
and
WebSite
AutonomousAgent
は
WebSite
を
possess
es %n{ない}
eCommerceSite
金融取引
and
AutonomousAgent
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?ADVERT ?PROC ?OWNER)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?PROC
ListOnSite
)
(
instance
?OWNER
AutonomousAgent
)
(
patient
?PROC ?ADVERT)
(
causes
?PROC ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
agent
?PROC ?OWNER))))
UXExperimentalTerms.kif 220-230
工程
は
InsertionFee
の
instance
では %n
エンティティー
工程
and
AutonomousAgent
エンティティー
は
WebListing
の
instance
では %n
工程
は
ListOnSite
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
工程
を
cause
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?SITE ?OWNER ?ADVERT)
(
and
(
instance
?SITE
WebSite
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ADVERT
WebListing
)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
agent
?CHARGE ?OWNER))))
UXExperimentalTerms.kif 209-218
工程
は
InsertionFee
の
instance
では %n
WebSite
AutonomousAgent
and
WebListing
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebListing
は
WebListing
の
instance
では %n
hostedOn
WebListing
and
WebSite
AutonomousAgent
は
WebSite
を
possess
es %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
instance
?D
Doll
)
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
represents
?D ?A))))
Mid-level-ontology.kif 2398-2403
エンティティー
は
Doll
の
instance
では %n
エンティティー
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?INTERACTION
SocialInteraction
)
(
exists
(?AGENT1 ?AGENT2)
(
and
(
involvedInEvent
?INTERACTION ?AGENT1)
(
involvedInEvent
?INTERACTION ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
not
(
equal
?AGENT1 ?AGENT2)))))
Merge.kif 13004-13013
工程
は
社会的交流
の
instance
では %n
エンティティー
エンティティー
involvedInEvent
工程
and
エンティティー
involvedInEvent
工程
and
エンティティー
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7932-7938
エンティティー
は
LargeGroupProcess
の
instance
では %n
コレクション
物理
コレクション
は
コレクション
の
instance
では %n
物理
は
コレクション
の
member
では %n
memberType
コレクション
and
AutonomousAgent
(=>
(
instance
?NUMBER
AccountNumber
)
(
exists
(?CORPORATION ?AGENT ?HUMAN)
(
and
(
instance
?CORPORATION
Corporation
)
(
instance
?AGENT
AutonomousAgent
)
(
uniqueIdWithRespectTo
?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 29930-29936
記号文字列
は
AccountNumber
の
instance
では %n
物理
エンティティー
and
物理
物理
は
法人
の
instance
では %n
エンティティー
は
AutonomousAgent
の
instance
では %n
uniqueIdWithRespectTo
物理
,
物理
and
記号文字列
(=>
(
instance
?PROFILE
VisitorProfile
)
(
exists
(?USER ?SITE)
(
and
(
instance
?USER
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
forall
(?FORMULA)
(=>
(
and
(
member
?FORMULA ?PROFILE)
(
instance
?FORMULA
Formula
))
(
visitorParameter
?USER ?FORMULA ?SITE))))))
UXExperimentalTerms.kif 1140-1151
コレクション
は
VisitorProfile
の
instance
では %n
AutonomousAgent
WebSite
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
公式
公式
は
コレクション
の
member
では %n
公式
は
公式
の
instance
では %n
visitorParameter
AutonomousAgent
,
公式
and
WebSite
(=>
(
instance
?WAREHOUSE
DataWarehouse
)
(
hasPurpose
?WAREHOUSE
(
exists
(?AGENT)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
forall
(?DATA)
(
and
(
inScopeOfInterest
?DATA ?AGENT)
(
component
?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2215-2224
物理
は
DataWarehouse
の
instance
では %n
物理
は
エンティティー
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
エンティティー
は
エンティティー
に
interested
が %n
エンティティー
は
物理
の
component
では %n の 目的 %n{ない}
(=>
(
instance
?X
Vandalism
)
(
not
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
patient
?X ?A)))))
Mid-level-ontology.kif 22127-22133
工程
は
Vandalism
の
instance
では %n
エンティティー
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
manner
?P
Solely
)
(
exists
(?H)
(
and
(
involvedInEvent
?P ?H)
(
instance
?H
AutonomousAgent
)
(
not
(
exists
(?H2)
(
and
(
involvedInEvent
?P ?H2)
(
instance
?H2
AutonomousAgent
)
(
not
(
equal
?H ?H2))))))))
Mid-level-ontology.kif 30207-30218
工程
は
Solely
の方法で実行され %n
エンティティー
involvedInEvent
工程
and
エンティティー
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
2
involvedInEvent
工程
and
エンティティー
2
エンティティー
2 は
AutonomousAgent
の
instance
では %n
エンティティー
は
エンティティー
2 と
equal
では
(=>
(
userDatabase
?DATABASE ?WEBSITE)
(
exists
(?PART ?USERS)
(
and
(
instance
?USERS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?USERS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?USERS)
(
and
(
instance
?MEMBER
AutonomousAgent
)
(
exists
(?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
patient
?ACCESSING
Page
)
(
agent
?ACCESSING
AutonomousAgent
)
(
component
?PAGE ?WEBSITE)))))))))
UXExperimentalTerms.kif 2173-2191
userDatabase
Database
and
WebSite
オブジェクト
コレクション
コレクション
は
コレクション
の
instance
では %n
オブジェクト
は
Database
の
part
では %n
オブジェクト
は
コレクション
を
express
es %n{ない}
物理
物理
は
コレクション
の
member
では %n
物理
は
AutonomousAgent
の
instance
では %n
工程
微粒子オブジェクト
工程
は
AccessingWebPage
の
instance
では %n
微粒子オブジェクト
は
WebPage
の
instance
では %n
Page
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
微粒子オブジェクト
は
WebSite
の
component
では %n
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