represents
(=>
(
instance
?P
Portrait
)
(
exists
(?F)
(
and
(
instance
?F
Face
)
(
represents
?P ?F))))
Mid-level-ontology.kif 3150-3155
例
Entity
and
肖像
Entity
例
Entity
and
面對
代表
Entity
and
Entity
(=>
(
instance
?PLAN
Blueprint
)
(
hasPurpose
?PLAN
(
exists
(?ARTIFACT)
(
and
(
instance
?ARTIFACT
Artifact
)
(
represents
?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 13233-13239
例
Physical
and
藍圖
有目的
Physical
and
entity
例
entity
and
Artifact
代表
Physical
and
entity
(=>
(
instance
?PLAN
OPLAN
)
(
exists
(?OP)
(
and
(
represents
?PLAN ?OP)
(
instance
?OP
JointOperation
))))
MilitaryProcesses.kif 1821-1826
例
Entity
and
OPLAN
Entity
代表
Entity
and
Entity
例
Entity
and
聯合行動
(=>
(
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
例
Physical
and
AudioCDSystem
有目的
Physical
and
entity
entity
,
entity
,
entity
and
entity
儀器
entity
and
Physical
患者
entity
and
entity
例
entity
and
CompactDisc
例
entity
and
錄音
代表
entity
and
entity
部分
entity
and
entity
例
entity
and
RadiatingSound
子過程
entity
and
entity
儀器
entity
and
Physical
患者
entity
and
entity
(=>
(
instance
?RA
RepresentationalArtWork
)
(
exists
(?P)
(
and
(
instance
?P
Physical
)
(
represents
?RA ?P))))
Merge.kif 15872-15877
例
Entity
and
代表性的藝術作品
Entity
例
Entity
and
Physical
代表
Entity
and
Entity
(=>
(
instance
?S
Screenshot
)
(
exists
(?T ?I ?CD)
(
and
(
holdsDuring
?T
(
displayedUpon
?I ?CD))
(
represents
?I ?S))))
ComputerInput.kif 1607-1613
例
Entity
and
Screenshot
TimePosition
Entity
and
entity
持有期間
TimePosition
and
Entity
是在
entity
displayed
代表
Entity
and
Entity
(=>
(
instance
?SA
SearchAttempt
)
(
exists
(?QUERY)
(
and
(
instance
?QUERY
SearchQuery
)
(
represents
?QUERY ?SA))))
UXExperimentalTerms.kif 2349-2354
例
Entity
and
SearchAttempt
Entity
例
Entity
and
SearchQuery
代表
Entity
and
Entity
(=>
(
instance
?SIG_ACTION
UserSignifiedAction
)
(
exists
(?DIR_ACTION)
(
and
(
represents
?DIR_ACTION ?SIG_ACTION)
(
instance
?DIR_ACTION
UserDirectAction
))))
ComputerInput.kif 1217-1222
例
entity
_ACTION and
UserSignifiedAction
entity
_ACTION
代表
entity
_ACTION and
entity
_ACTION
例
entity
_ACTION and
UserDirectAction
(=>
(
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
例
Process
and
RoomService
AutonomousAgent
Entity
,
CognitiveAgent
,
Process
,
Entity
,
Process
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
agent
Process
and
AutonomousAgent
例
Process
and
Requesting
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
代表
Entity
and
Entity
例
Entity
and
已準備食物
位於
CognitiveAgent
and
Object
例
Object
and
HotelUnit
例
Process
and
DeliveryService
患者
Process
and
Entity
目的地
Process
and
Object
之前
開始
何時
Process
and
開始
何時
Process
(=>
(
instance
?State
ProcessState
)
(
exists
(?Program)
(
and
(
instance
?Program
ComputerProgram
)
(
forall
(?Process)
(=>
(
programRunning
?Process ?Program)
(
represents
?State ?Process))))))
QoSontology.kif 562-570
例
Entity
and
過程狀態
ComputerProgram
例
ComputerProgram
and
ComputerProgram
電腦程序
ComputerProgram
是
電腦程序
的執行
program
代表
Entity
and
電腦程序
(=>
(
instance
?TERM
SearchTerm
)
(
exists
(?QUERY ?PART)
(
and
(
instance
?QUERY
SearchQuery
)
(
part
?PART ?QUERY)
(
represents
?PART ?TERM))))
UXExperimentalTerms.kif 2511-2517
例
Entity
and
SearchTerm
Object
Object
例
Object
and
SearchQuery
部分
Object
and
Object
代表
Object
and
Entity
(=>
(
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
例
Physical
and
出生證明
有目的
Physical
and
entity
entity
例
entity
and
Birth
例
entity
and
Human
體驗者
entity
and
entity
代表
Physical
and
entity
(=>
(
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
例
Physical
and
DeathCertificate
有目的
Physical
and
entity
entity
例
entity
and
Death
例
entity
and
Human
體驗者
entity
and
entity
代表
Physical
and
entity
(=>
(
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
例
Entity
and
MarriageCertificate
Process
Process
,
AutonomousAgent
and
AutonomousAgent
例
Process
and
簽署協議
患者
Process
and
Entity
例
Process
and
婚禮
代表
Entity
and
Process
子過程
Process
and
Process
患者
Process
and
AutonomousAgent
例
AutonomousAgent
and
Human
患者
Process
and
AutonomousAgent
例
AutonomousAgent
and
Human
等於
AutonomousAgent
and
AutonomousAgent
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
(=>
(
instance
?TH
ToyHouse
)
(
exists
(?H)
(
and
(
instance
?H
House
)
(
represents
?TH ?H))))
Mid-level-ontology.kif 2431-2436
例
Entity
and
ToyHouse
Entity
例
Entity
and
屋
代表
Entity
and
Entity
(=>
(
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
例
內容承載物理
and
TestProtocolSpecification
Proposition
Process
and
Process
例
Proposition
and
Plan
例
Process
and
試驗
例
Process
and
Process
代表
Proposition
and
Process
子過程
Process
and
Process
包含信息
內容承載物理
and
Proposition
(=>
(
instance
?URL
UniformResourceLocator
)
(
exists
(?Address)
(
and
(
instance
?Address
IPAddress
)
(
represents
?URL ?Address))))
QoSontology.kif 1695-1700
例
Entity
and
統一資源定位器
Entity
例
Entity
and
IP地址
代表
Entity
and
Entity
(=>
(
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
例
Physical
and
VCRSystem
有目的
Physical
and
entity
entity
,
entity
,
entity
,
entity
,
entity
,
entity
and
entity
例
entity
and
VHSCassette
儀器
entity
and
Physical
患者
entity
and
entity
例
entity
and
視頻錄製
代表
entity
and
entity
部分
entity
and
entity
例
entity
and
錄音
代表
entity
and
entity
部分
entity
and
entity
部分
entity
and
entity
例
entity
and
RadiatingLight
患者
entity
and
entity
子過程
entity
and
entity
例
entity
and
RadiatingSound
患者
entity
and
entity
子過程
entity
and
entity
(=>
(
instance
?VIEW
View
)
(
exists
(?ENTITY)
(
and
(
instance
?ENTITY
Physical
)
(
represents
?VIEW ?ENTITY))))
Dining.kif 943-948
例
Entity
and
View
Entity
例
Entity
and
Physical
代表
Entity
and
Entity
(=>
(
instance
?X
AudioRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
RadiatingSound
)
(
represents
?X ?EV)
(
capability
RadiatingSound
patient
?X))))
Mid-level-ontology.kif 14306-14312
例
Object
and
錄音
Entity
例
Entity
and
RadiatingSound
代表
Object
and
Entity
能力
RadiatingSound
,
患者
and
Object
(=>
(
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
例
Physical
and
DVDSystem
有目的
Physical
and
entity
entity
例
entity
and
DVD
儀器
entity
and
Physical
患者
entity
and
entity
entity
entity
and
entity
例
entity
and
視頻錄製
代表
entity
and
entity
部分
entity
and
entity
例
entity
and
RadiatingLight
子過程
entity
and
entity
儀器
entity
and
Physical
患者
entity
and
entity
entity
entity
and
entity
例
entity
and
錄音
代表
entity
and
entity
部分
entity
and
entity
例
entity
and
RadiatingSound
子過程
entity
and
entity
儀器
entity
and
Physical
患者
entity
and
entity
(=>
(
instance
?X
UniformClothing
)
(
exists
(?PROC ?DESIGN)
(
and
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DESIGN)
(
represents
?X ?DESIGN))))
Mid-level-ontology.kif 26695-26701
例
Entity
and
UniformClothing
Process
Entity
例
Process
and
IntentionalProcess
結果
Process
and
Entity
代表
Entity
and
Entity
(=>
(
instance
?X
VideoRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
Process
)
(
represents
?X ?EV)
(
capability
RadiatingLight
patient
?X))))
Mid-level-ontology.kif 14433-14439
例
Object
and
視頻錄製
Entity
例
Entity
and
Process
代表
Object
and
Entity
能力
RadiatingLight
,
患者
and
Object
(=>
(
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
Proposition
之前是第一個
expressed
如同
Language
LinguisticExpression
TimeInterval
例
LinguisticExpression
and
LinguisticExpression
用語言表示
LinguisticExpression
,
Proposition
and
Language
等於
TimeInterval
and
何時
LinguisticExpression
TimeInterval
Physical
例
Physical
and
LinguisticExpression
代表
Physical
and
Proposition
等於
TimeInterval
and
何時
Physical
之前
TimeInterval
and
TimeInterval
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 865-871
AutonomousAgent
是
WebSite
的
registered
user
數據庫
Object
數據庫
是
user
database
對於
WebSite
部分
Object
and
數據庫
代表
Object
and
AutonomousAgent
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