represents
(=>
(
instance
?P
Portrait
)
(
exists
(?F)
(
and
(
instance
?F
Face
)
(
represents
?P ?F))))
Mid-level-ontology.kif 3150-3155
エンティティー
は
Portrait
の
instance
では %n
エンティティー
エンティティー
は
Face
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?PLAN
Blueprint
)
(
hasPurpose
?PLAN
(
exists
(?ARTIFACT)
(
and
(
instance
?ARTIFACT
Artifact
)
(
represents
?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 13233-13239
物理
は
Blueprint
の
instance
では %n
物理
は
エンティティー
エンティティー
は
アーチファクト
の
instance
では %n
物理
は
エンティティー
を
express
es %n{ない} の 目的 %n{ない}
(=>
(
instance
?PLAN
OPLAN
)
(
exists
(?OP)
(
and
(
represents
?PLAN ?OP)
(
instance
?OP
JointOperation
))))
MilitaryProcesses.kif 1821-1826
エンティティー
は
OPLAN
の
instance
では %n
エンティティー
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
JointOperation
の
instance
では %n
(=>
(
instance
?PLAYER
AudioCDSystem
)
(
hasPurpose
?PLAYER
(
exists
(?DISC ?AUDIO ?RS ?DIGITAL ?PROC)
(
and
(
instrument
?PROC ?PLAYER)
(
patient
?PROC ?DISC)
(
instance
?DISC
CompactDisc
)
(
instance
?AUDIO
AudioRecording
)
(
represents
?DIGITAL ?AUDIO)
(
part
?DIGITAL ?DISC)
(
instance
?RS
RadiatingSound
)
(
subProcess
?RS ?PROC)
(
instrument
?RS ?PLAYER)
(
patient
?RS ?DISC)))))
Media.kif 1209-1223
物理
は
AudioCDSystem
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
CompactDisc
の
instance
では %n
エンティティー
は
AudioRecording
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
放射音
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
instance
?RA
RepresentationalArtWork
)
(
exists
(?P)
(
and
(
instance
?P
Physical
)
(
represents
?RA ?P))))
Merge.kif 15872-15877
エンティティー
は
RepresentationalArtWork
の
instance
では %n
エンティティー
エンティティー
は
物理
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?S
Screenshot
)
(
exists
(?T ?I ?CD)
(
and
(
holdsDuring
?T
(
displayedUpon
?I ?CD))
(
represents
?I ?S))))
ComputerInput.kif 1607-1613
エンティティー
は
Screenshot
の
instance
では %n
時間位置
エンティティー
and
エンティティー
displayedUpon
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?SA
SearchAttempt
)
(
exists
(?QUERY)
(
and
(
instance
?QUERY
SearchQuery
)
(
represents
?QUERY ?SA))))
UXExperimentalTerms.kif 2349-2354
エンティティー
は
SearchAttempt
の
instance
では %n
エンティティー
エンティティー
は
SearchQuery
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?SIG_ACTION
UserSignifiedAction
)
(
exists
(?DIR_ACTION)
(
and
(
represents
?DIR_ACTION ?SIG_ACTION)
(
instance
?DIR_ACTION
UserDirectAction
))))
ComputerInput.kif 1217-1222
エンティティー
_ACTION は
UserSignifiedAction
の
instance
では %n
エンティティー
_ACTION
エンティティー
_ACTION は
エンティティー
_ACTION を
express
es %n{ない}
エンティティー
_ACTION は
UserDirectAction
の
instance
では %n
(=>
(
instance
?SVC
RoomService
)
(
exists
(?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
(
and
(
customer
?CUSTOMER ?AGENT)
(
agent
?SVC ?AGENT)
(
instance
?RQST
Requesting
)
(
agent
?RQST ?CUSTOMER)
(
patient
?RQST ?ORDER)
(
represents
?ORDER ?FOOD)
(
instance
?FOOD
PreparedFood
)
(
located
?CUSTOMER ?LOC)
(
instance
?LOC
HotelUnit
)
(
instance
?DELIVERY
DeliveryService
)
(
patient
?DELIVERY ?FOOD)
(
destination
?DELIVERY ?LOC)
(
before
(
BeginFn
(
WhenFn
?RQST))
(
BeginFn
(
WhenFn
?DELIVERY))))))
Hotel.kif 1969-1987
工程
は
RoomService
の
instance
では %n
AutonomousAgent
エンティティー
,
認識エージェント
,
工程
,
エンティティー
,
工程
and
オブジェクト
customer
認識エージェント
and
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
工程
は
要求
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
PreparedFood
の
instance
では %n
認識エージェント
は
オブジェクト
に
located
して %n
オブジェクト
は
HotelUnit
の
instance
では %n
工程
は
DeliveryService
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
に
end
s %n{ない}
工程
の
time
の existence の
beginning
は
工程
の
time
の existence の
beginning
の
before
に happens %n{ない}
(=>
(
instance
?State
ProcessState
)
(
exists
(?Program)
(
and
(
instance
?Program
ComputerProgram
)
(
forall
(?Process)
(=>
(
programRunning
?Process ?Program)
(
represents
?State ?Process))))))
QoSontology.kif 562-570
エンティティー
は
ProcessState
の
instance
では %n
コンピュータープログラム
コンピュータープログラム
は
コンピュータープログラム
の
instance
では %n
ComputerProcess
programRunning
ComputerProcess
and
コンピュータープログラム
エンティティー
は
ComputerProcess
を
express
es %n{ない}
(=>
(
instance
?TERM
SearchTerm
)
(
exists
(?QUERY ?PART)
(
and
(
instance
?QUERY
SearchQuery
)
(
part
?PART ?QUERY)
(
represents
?PART ?TERM))))
UXExperimentalTerms.kif 2511-2517
エンティティー
は
SearchTerm
の
instance
では %n
オブジェクト
オブジェクト
オブジェクト
は
SearchQuery
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?TEXT
BirthCertificate
)
(
hasPurpose
?TEXT
(
exists
(?B ?A)
(
and
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A)
(
represents
?TEXT ?B)))))
Biography.kif 240-248
物理
は
BirthCertificate
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
出生
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
物理
は
エンティティー
を
express
es %n{ない} の 目的 %n{ない}
(=>
(
instance
?TEXT
DeathCertificate
)
(
hasPurpose
?TEXT
(
exists
(?D ?A)
(
and
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A)
(
represents
?TEXT ?D)))))
Biography.kif 270-278
物理
は
DeathCertificate
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
死
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
物理
は
エンティティー
を
express
es %n{ない} の 目的 %n{ない}
(=>
(
instance
?TEXT
MarriageCertificate
)
(
exists
(?S ?W ?A ?B)
(
and
(
instance
?S
SigningAnAgreement
)
(
patient
?S ?TEXT)
(
instance
?W
Wedding
)
(
represents
?TEXT ?W)
(
subProcess
?S ?W)
(
patient
?W ?A)
(
instance
?A
Human
)
(
patient
?W ?B)
(
instance
?B
Human
)
(
not
(
equal
?A ?B))
(
agent
?S ?A)
(
agent
?S ?B))))
Biography.kif 319-335
エンティティー
は
MarriageCertificate
の
instance
では %n
工程
工程
,
AutonomousAgent
and
AutonomousAgent
工程
は
SigningAnAgreement
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
Wedding
の
instance
では %n
エンティティー
は
工程
を
express
es %n{ない}
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
patient
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
工程
の
patient
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
と
equal
では
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
instance
?TH
ToyHouse
)
(
exists
(?H)
(
and
(
instance
?H
House
)
(
represents
?TH ?H))))
Mid-level-ontology.kif 2431-2436
エンティティー
は
ToyHouse
の
instance
では %n
エンティティー
エンティティー
は
House
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?TPS
TestProtocolSpecification
)
(
exists
(?PLAN ?EXPERIMENT ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
subProcess
?EXPERIMENT ?PROC)
(
containsInformation
?TPS ?PLAN))))
UXExperimentalTerms.kif 2754-2763
ContentBearingPhysical
は
TestProtocolSpecification
の
instance
では %n
命題
工程
and
工程
命題
は
計画
の
instance
では %n
工程
は
Experimenting
の
instance
では %n
工程
は
工程
の
instance
では %n
命題
は
工程
を
express
es %n{ない}
工程
は
工程
% の
subprocess
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
instance
?URL
UniformResourceLocator
)
(
exists
(?Address)
(
and
(
instance
?Address
IPAddress
)
(
represents
?URL ?Address))))
QoSontology.kif 1695-1700
エンティティー
は
UniformResourceLocator
の
instance
では %n
エンティティー
エンティティー
は
IPAddress
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?VCR
VCRSystem
)
(
hasPurpose
?VCR
(
exists
(?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS)
(
and
(
instance
?VHS
VHSCassette
)
(
instrument
?PROC ?VCR)
(
patient
?PROC ?VHS)
(
instance
?VIDEO
VideoRecording
)
(
represents
?AVIDEO ?VIDEO)
(
part
?VIDEO ?VHS)
(
instance
?AUDIO
AudioRecording
)
(
represents
?AAUDIO ?AUDIO)
(
part
?AAUDIO ?AVIDEO)
(
part
?AUDIO ?VHS)
(
instance
?RL
RadiatingLight
)
(
patient
?RL ?VIDEO)
(
subProcess
?RL ?PROC)
(
instance
?RS
RadiatingSound
)
(
patient
?RS ?AUDIO)
(
subProcess
?RS ?PROC)))))
Media.kif 1387-1407
物理
は
VCRSystem
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
VHSCassette
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
VideoRecording
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
AudioRecording
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
放射光
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
エンティティー
は
放射音
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n の 目的 %n{ない}
(=>
(
instance
?VIEW
View
)
(
exists
(?ENTITY)
(
and
(
instance
?ENTITY
Physical
)
(
represents
?VIEW ?ENTITY))))
Dining.kif 943-948
エンティティー
は
View
の
instance
では %n
エンティティー
エンティティー
は
物理
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?X
AudioRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
RadiatingSound
)
(
represents
?X ?EV)
(
capability
RadiatingSound
patient
?X))))
Mid-level-ontology.kif 14306-14312
オブジェクト
は
AudioRecording
の
instance
では %n
エンティティー
エンティティー
は
放射音
の
instance
では %n
オブジェクト
は
エンティティー
を
express
es %n{ない}
オブジェクト
は
放射音
を
patient
として行う
capable
では %n
(=>
(
instance
?X
DVDSystem
)
(
hasPurpose
?X
(
exists
(?DVD ?PROC)
(
and
(
instance
?DVD
DVD
)
(
instrument
?PROC ?X)
(
patient
?PROC ?DVD)
(
or
(
exists
(?VIDEO ?DVIDEO ?RL)
(
and
(
instance
?VIDEO
VideoRecording
)
(
represents
?DVIDEO ?VIDEO)
(
part
?DVIDEO ?DVD)
(
instance
?RL
RadiatingLight
)
(
subProcess
?RL ?PROC)
(
instrument
?RL ?X)
(
patient
?RL ?VIDEO)))
(
exists
(?AUDIO ?DAUDIO ?RS)
(
and
(
instance
?AUDIO
AudioRecording
)
(
represents
?DAUDIO ?AUDIO)
(
part
?DAUDIO ?DVD)
(
instance
?RS
RadiatingSound
)
(
subProcess
?RS ?PROC)
(
instrument
?RS ?X)
(
patient
?RS ?AUDIO))))))))
Media.kif 1275-1301
物理
は
DVDSystem
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
DVD
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
エンティティー
and
エンティティー
エンティティー
は
VideoRecording
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
放射光
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
エンティティー
and
エンティティー
エンティティー
は
AudioRecording
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
放射音
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
instance
?X
UniformClothing
)
(
exists
(?PROC ?DESIGN)
(
and
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DESIGN)
(
represents
?X ?DESIGN))))
Mid-level-ontology.kif 26695-26701
エンティティー
は
UniformClothing
の
instance
では %n
工程
エンティティー
工程
は
意図的なプロセス
の
instance
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
(=>
(
instance
?X
VideoRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
Process
)
(
represents
?X ?EV)
(
capability
RadiatingLight
patient
?X))))
Mid-level-ontology.kif 14433-14439
オブジェクト
は
VideoRecording
の
instance
では %n
エンティティー
エンティティー
は
工程
の
instance
では %n
オブジェクト
は
エンティティー
を
express
es %n{ない}
オブジェクト
は
放射光
を
patient
として行う
capable
では %n
(=>
(
originalExpressedInLanguage
?PROP ?LANG)
(
exists
(?PHYS ?TIME)
(
and
(
instance
?PHYS
LinguisticExpression
)
(
representsInLanguage
?PHYS ?PROP ?LANG)
(
equal
?TIME
(
WhenFn
?PHYS))
(
not
(
exists
(?BEFORE ?OTHER)
(
and
(
instance
?OTHER
LinguisticExpression
)
(
represents
?OTHER ?PROP)
(
equal
?BEFORE
(
WhenFn
?OTHER))
(
before
?BEFORE ?TIME)))))))
Music.kif 1457-1470
originalExpressedInLanguage
命題
and
言語
言語表現
時間間隔
言語表現
は
言語表現
の
instance
では %n
言語表現
は
言語
語で
命題
を
represent
s %n{ない}
時間間隔
は
言語表現
の
time
の existence と
equal
では %n
時間間隔
物理
物理
は
言語表現
の
instance
では %n
物理
は
命題
を
express
es %n{ない}
時間間隔
は
物理
の
time
の existence と
equal
では %n
時間間隔
は
時間間隔
の
before
に happens %n{ない}
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 865-871
registeredUser
AutonomousAgent
and
WebSite
Database
オブジェクト
userDatabase
Database
and
WebSite
オブジェクト
は
Database
の
part
では %n
オブジェクト
は
AutonomousAgent
を
express
es %n{ない}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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