or
(=>
(
and
(
instance
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
例
Object
and
連接線
例
Object
and
Cable
部分
Object
and
Object
例
Object
and
公
例
Object
and
母
(=>
(
and
(
instance
?CHANGE
InternalChange
)
(
patient
?CHANGE ?OBJ))
(
exists
(?PROPERTY)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))))))
Merge.kif 12599-12610
例
Process
and
InternalChange
患者
Process
and
Entity
entity
持有期間
開始
何時
Process
and
attribute
Entity
and
entity
持有期間
結束
何時
Process
and
attribute
Entity
and
entity
持有期間
開始
何時
Process
and
attribute
Entity
and
entity
持有期間
結束
何時
Process
and
attribute
Entity
and
entity
(=>
(
and
(
instance
?COLORING
Coloring
)
(
patient
?COLORING ?OBJ))
(
exists
(?PROPERTY ?PART)
(
and
(
part
?PART ?OBJ)
(
instance
?PROPERTY
ColorAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12636-12650
例
Process
and
Coloring
患者
Process
and
Object
Entity
Object
部分
Object
and
Object
例
Entity
and
ColorAttribute
持有期間
開始
何時
Process
and
attribute
Object
and
Entity
持有期間
結束
何時
Process
and
attribute
Object
and
Entity
持有期間
開始
何時
Process
and
attribute
Object
and
Entity
持有期間
結束
何時
Process
and
attribute
Object
and
Entity
(=>
(
and
(
instance
?CONDUCT
MusicalConducting
)
(
patient
?CONDUCT ?PATIENT)
(
instance
?M
Musician
))
(
or
(
instance
?PATIENT
MusicalGroup
)
(
holdsDuring
(
WhenFn
?CONDUCT)
(
attribute
?PATIENT ?M))))
Mid-level-ontology.kif 18506-18515
例
Process
and
MusicalConducting
患者
Process
and
Entity
例
Entity
and
音樂家
例
Entity
and
音樂團體
持有期間
何時
Process
and
attribute
Entity
and
Entity
(=>
(
and
(
instance
?COVERING
CoveringGUIElement
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
or
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP))))
ComputerInput.kif 2597-2607
例
TimeInterval
and
CoveringGUIElement
agent
TimeInterval
and
entity
_TOP
患者
TimeInterval
and
entity
_BOTTOM
例
entity
_TOP and
GUIElement
例
entity
_BOTTOM and
GUIElement
持有期間
結束
TimeInterval
and
entity
_BOTTOM 是由
entity
_TOP
covered
entity
_BOTTOM 是由
entity
_TOP
partially
covered
(=>
(
and
(
instance
?D
Decelerating
)
(
agent
?D ?A))
(
exists
(?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L1 ?U1)
(
MeasureFn
?T1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L2 ?U1)
(
MeasureFn
?T2 ?U2))))
(
or
(
greaterThan
?L1 ?L2)
(
greaterThan
?T1 ?T2)))))
Mid-level-ontology.kif 17171-17191
例
Process
and
減速
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
,
RealNumber
,
RealNumber
,
entity
and
entity
持有期間
開始
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
持有期間
結束
何時
Process
and
測量
AutonomousAgent
and
速度
測量
RealNumber
and
entity
and
測量
RealNumber
and
entity
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?A))
(
or
(
instance
?A
Human
)
(
instance
?A
GroupOfPeople
)))
MilitaryProcesses.kif 2663-2669
例
Process
and
示範
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
Human
例
AutonomousAgent
and
一群人
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
例
Process
and
躲著
agent
Process
and
AutonomousAgent
等於
Process
T and
何時
Process
有目的
Process
and
entity
短暫相遇
Process
T and
何時
entity
暫時重疊
Process
T and
何時
entity
例
entity
and
Impacting
患者
entity
and
AutonomousAgent
(=>
(
and
(
instance
?D
EasterSunday
)
(
temporalPart
?D ?M)
(
instance
?M
Month
))
(
or
(
instance
?M
March
)
(
instance
?M
April
)
(
instance
?M
May
)))
Media.kif 498-506
例
TimePosition
and
EasterSunday
時間部分
TimePosition
and
TimePosition
例
TimePosition
and
Month
例
TimePosition
and
March
例
TimePosition
and
April
例
TimePosition
and
May
(=>
(
and
(
instance
?E
Epidemic
)
(
involvedInEvent
?E ?H))
(
or
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
attribute
?H ?D))
(
exists
(?P)
(
and
(
instance
?P
PathologicProcess
)
(
experiencer
?P ?H)
(
subProcess
?P ?E)))))
Medicine.kif 3517-3529
例
Process
and
Epidemic
AutonomousAgent
是事件
Process
的
involved
例
Attribute
and
DiseaseOrSyndrome
attribute
AutonomousAgent
and
Attribute
Process
例
Process
and
PathologicProcess
體驗者
Process
and
AutonomousAgent
子過程
Process
and
Process
(=>
(
and
(
instance
?ELT
ExperiencingHeatInCheeksOrChest
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
or
(
instance
?T
Torso
)
(
instance
?T
Face
))
(
part
?T ?A))))
emotion.kif 1738-1751
例
Process
and
ExperiencingHeatInCheeksOrChest
體驗者
Process
and
AutonomousAgent
Process
Object
例
Process
and
Perception
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
患者
Process
and
Object
例
Object
and
軀幹
例
Object
and
面對
部分
Object
and
AutonomousAgent
(=>
(
and
(
instance
?EP
EntertainmentProfession
)
(
attribute
?P ?EP))
(
or
(
occupation
?P
(
OccupationFn
Performance
))
(
occupation
?P
(
OccupationFn
ContentDevelopment
))))
Mid-level-ontology.kif 18921-18927
例
Attribute
and
娛樂專業
attribute
Human
and
Attribute
性能
的
occupation
是
Human
的
occupation
ContentDevelopment
的
occupation
是
Human
的
occupation
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
experiencer
?EV ?P))
(
exists
(?C ?CA)
(
and
(
instance
?C
Classifying
)
(
subProcess
?C ?EV)
(
experiencer
?C ?P)
(
or
(
subOrganization
?CA ?A)
(
member
?CA ?A)
(
equal
?CA ?A))
(
agent
?C ?CA))))
MilitaryProcesses.kif 2609-2623
例
Process
and
疏散
agent
Process
and
Organization
體驗者
Process
and
AutonomousAgent
Process
Process
A
例
Process
and
Classifying
子過程
Process
and
Process
體驗者
Process
and
AutonomousAgent
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
origin
?EV ?O))
(
exists
(?T ?TA)
(
and
(
instance
?T
Translocation
)
(
subProcess
?T ?EV)
(
origin
?T ?O)
(
or
(
experiencer
?T ?TA)
(
agent
?T ?TA))
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A)))))
MilitaryProcesses.kif 2627-2643
例
Process
and
疏散
agent
Process
and
Organization
起源
Process
and
Object
Process
Process
A
例
Process
and
易位
子過程
Process
and
Process
起源
Process
and
Object
體驗者
Process
and
Process
A
agent
Process
and
Process
A
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?P)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
TherapeuticProcess
)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA)
(
experiencer
?M ?P))))
MilitaryProcesses.kif 2591-2605
例
Process
and
疏散
體驗者
Process
and
AutonomousAgent
agent
Process
and
Organization
Process
Process
A
例
Process
and
TherapeuticProcess
子過程
Process
and
Process
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
體驗者
Process
and
AutonomousAgent
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2573-2587
例
Process
and
疏散
起源
Process
and
Object
agent
Process
and
Organization
Process
Process
A
例
Process
and
Maintaining
Process
是
located
在
Object
子過程
Process
and
Process
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
例
Process
and
疏散
起源
Process
and
Object
agent
Process
and
Organization
Process
Process
A
例
Process
and
Transportation
目的地
Process
and
Object
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
患者
Process
and
Process
A
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?SUBJECT
Human
)
(
experimentalSubject
?EXPERIMENT ?SUBJECT))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experiencer
?PROCESS ?SUBJECT)
(
or
(
experimentalControlProcess
?EXPERIMENT ?PROCESS)
(
experimentalVariableProcess
?EXPERIMENT ?PROCESS)))))
UXExperimentalTerms.kif 3923-3934
例
試驗
and
試驗
例
Human
and
Human
Human
是在
試驗
的
subject
Process
例
Process
and
Process
體驗者
Process
and
Human
control
在實驗
試驗
是
Process
Process
在
試驗
的
process
(=>
(
and
(
instance
?EXPRESS
ExpressingApproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
wants
?AGENT ?THING)
(
desires
?AGENT ?THING)))
Mid-level-ontology.kif 12950-12957
例
Process
and
表示贊同
agent
Process
and
CognitiveAgent
患者
Process
and
Formula
想要
CognitiveAgent
and
Formula
慾望
CognitiveAgent
and
Formula
(=>
(
and
(
instance
?EXPRESS
ExpressingDisapproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
dislikes
?AGENT ?THING)
(
disapproves
?AGENT ?THING)))
Mid-level-ontology.kif 12963-12970
例
Process
and
表示不贊成
agent
Process
and
CognitiveAgent
患者
Process
and
Formula
CognitiveAgent
dislikes
Formula
Formula
是
CognitiveAgent
的
disapproves
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
例
Process
and
外國內部防禦
agent
Process
and
AutonomousAgent
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
例
entity
and
Learning
體驗者
entity
and
entity
agent
entity
and
AutonomousAgent
AutonomousAgent
是
entity
的
military
區域
例
entity
and
軍事力量
位於
entity
and
AutonomousAgent
(=>
(
and
(
instance
?FORMULA1
Formula
)
(
instance
?FORMULA2
Formula
))
(
or
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
independentProbability
?FORMULA1 ?FORMULA2)))
Merge.kif 2647-2654
例
Formula
and
Formula
例
Formula
and
Formula
增加可能性
Formula
and
Formula
降低可能性
Formula
and
Formula
獨立概率
Formula
and
Formula
(=>
(
and
(
instance
?GRAPH
Graph
)
(
instance
?NODE1
GraphNode
)
(
instance
?NODE2
GraphNode
)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
not
(
equal
?NODE1 ?NODE2)))
(
exists
(?ARC ?PATH)
(
or
(
links
?NODE1 ?NODE2 ?ARC)
(
and
(
subGraph
?PATH ?GRAPH)
(
instance
?PATH
GraphPath
)
(
or
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE1)
(
equal
(
EndNodeFn
?PATH) ?NODE2))
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE2)
(
equal
(
EndNodeFn
?PATH) ?NODE1)))))))
Merge.kif 5630-5650
例
Graph
and
Graph
例
GraphNode
and
GraphNode
例
GraphNode
and
GraphNode
圖形部分
GraphNode
and
Graph
圖形部分
GraphNode
and
Graph
等於
GraphNode
and
GraphNode
GraphArc
GraphPath
鏈接
GraphNode
,
GraphNode
and
GraphArc
子圖
GraphPath
and
Graph
例
GraphPath
and
GraphPath
等於
開始節點
GraphPath
and
GraphNode
等於
結束節點
GraphPath
and
GraphNode
等於
開始節點
GraphPath
and
GraphNode
等於
結束節點
GraphPath
and
GraphNode
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
instance
?GUIE2
GUIElement
)
(
not
(
instance
?GUIE1
InterfaceWindow
))
(
not
(
instance
?GUIE2
InterfaceWindow
))
(
screenOfGUIE
?GUIE1 ?SCREEN)
(
screenOfGUIE
?GUIE2 ?SCREEN)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
hasGUEState
?GUIE2
GUE_ActiveState
))
(
or
(
properPart
?GUIE1 ?GUIE2)
(
properPart
?GUIE2 ?GUIE1)
(
equal
?GUIE1 ?GUIE2)))
ComputerInput.kif 1935-1948
例
GUIElement
and
GUIElement
例
GUIElement
and
GUIElement
例
GUIElement
and
InterfaceWindow
例
GUIElement
and
InterfaceWindow
GUIElement
是
displayed
在
ComputerScreen
GUIElement
是
displayed
在
ComputerScreen
GUIElement
有
state
GUE_ActiveState
GUIElement
有
state
GUE_ActiveState
適當的部分
GUIElement
and
GUIElement
適當的部分
GUIElement
and
GUIElement
等於
GUIElement
and
GUIElement
(=>
(
and
(
instance
?H
Hanukkah
)
(
equal
?B
(
BeginFn
?H)))
(
exists
(?M)
(
and
(
temporalPart
?B ?M)
(
instance
?M
Month
)
(
or
(
instance
?M
November
)
(
instance
?M
December
)))))
Media.kif 587-597
例
TimeInterval
and
Hanukkah
等於
TimePoint
and
開始
TimeInterval
TimePosition
時間部分
TimePoint
and
TimePosition
例
TimePosition
and
Month
例
TimePosition
and
November
例
TimePosition
and
December
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