or
(=>
(
and
(
instance
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
オブジェクト
は
ケーブル
の
instance
では %n
オブジェクト
は
Cable
の
instance
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
雄
の
instance
では %n
オブジェクト
は
雌
の
instance
では %n
(=>
(
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 12621-12632
工程
は
内部変化
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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 12658-12672
工程
は
coloring
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
エンティティー
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
は
カラー属性
の
instance
では %n
エンティティー
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
オブジェクト
の
attribute
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
オブジェクト
の
attribute
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?CONDUCT
MusicalConducting
)
(
patient
?CONDUCT ?PATIENT)
(
instance
?M
Musician
))
(
or
(
instance
?PATIENT
MusicalGroup
)
(
holdsDuring
(
WhenFn
?CONDUCT)
(
attribute
?PATIENT ?M))))
Mid-level-ontology.kif 18505-18514
工程
は
MusicalConducting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
Musician
の
instance
では %n
エンティティー
は
MusicalGroup
の
instance
では %n
エンティティー
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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
時間間隔
は
CoveringGUIElement
の
instance
では %n
エンティティー
_TOP は
時間間隔
の
agent
では %n
エンティティー
_BOTTOM は
時間間隔
の
patient
では %n
エンティティー
_TOP は
GUIElement
の
instance
では %n
エンティティー
_BOTTOM は
GUIElement
の
instance
では %n
guiElementCoveredBy
エンティティー
_BOTTOM and
エンティティー
_TOP
guiElementPartiallyCoveredBy
エンティティー
_BOTTOM and
エンティティー
_TOP は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
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 17170-17190
工程
は
Decelerating
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
実数
実数
,
実数
,
実数
,
エンティティー
and
エンティティー
AutonomousAgent
の
measure
は
実数
の
エンティティー
(s)
per
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
の
measure
は
実数
の
エンティティー
(s)
per
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?A))
(
or
(
instance
?A
Human
)
(
instance
?A
GroupOfPeople
)))
MilitaryProcesses.kif 2663-2669
工程
は
Demonstration
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
GroupOfPeople
の
instance
では %n
(=>
(
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
工程
は
Dodging
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
T は
工程
の
time
の existence と
equal
では %n
工程
は
エンティティー
工程
T は
エンティティー
の
time
の existence に
meet
s %n{ない}
エンティティー
の
time
の existence は
工程
T と
overlap
s %n{dない}
エンティティー
は
衝撃
の
instance
では %n
AutonomousAgent
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?D
EasterSunday
)
(
temporalPart
?D ?M)
(
instance
?M
Month
))
(
or
(
instance
?M
March
)
(
instance
?M
April
)
(
instance
?M
May
)))
Media.kif 498-506
時間位置
は
EasterSunday
の
instance
では %n
時間位置
は
時間位置
の
part
では %n
時間位置
は
月
の
instance
では %n
時間位置
は
3月
の
instance
では %n
時間位置
は
4月
の
instance
では %n
時間位置
は
5月
の
instance
では %n
(=>
(
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
工程
は
Epidemic
の
instance
では %n
involvedInEvent
工程
and
AutonomousAgent
属性
は
病気または症候群
の
instance
では %n
属性
は
AutonomousAgent
の
attribute
では %n
工程
工程
は
病理学的プロセス
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
% の
subprocess
では %n
(=>
(
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
工程
は
ExperiencingHeatInCheeksOrChest
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
オブジェクト
工程
は
知覚
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
Torso
の
instance
では %n
オブジェクト
は
Face
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
(=>
(
and
(
instance
?EP
EntertainmentProfession
)
(
attribute
?P ?EP))
(
or
(
occupation
?P
(
OccupationFn
Performance
))
(
occupation
?P
(
OccupationFn
ContentDevelopment
))))
Mid-level-ontology.kif 18920-18926
属性
は
EntertainmentProfession
の
instance
では %n
属性
は
人[人間]
の
attribute
では %n
occupation
人[人間]
and
OccupationFn
Performance
occupation
人[人間]
and
OccupationFn
コンテンツ開発
(=>
(
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
工程
は
Evacuation
の
instance
では %n
組織
は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
A
工程
は
分類
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
(=>
(
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
工程
は
Evacuation
の
instance
では %n
組織
は
工程
の
agent
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
工程
A
工程
は
Translocation
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
A が
工程
を
experience
s %n{ない}
工程
A は
工程
の
agent
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
(=>
(
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
工程
は
Evacuation
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
治療経過
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
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
工程
は
Evacuation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
維持
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
工程
% の
subprocess
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
(=>
(
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
工程
は
Evacuation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
交通手段
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
工程
A は
工程
の
patient
では %n
(=>
(
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
Experimenting
は
Experimenting
の
instance
では %n
人[人間]
は
人[人間]
の
instance
では %n
experimentalSubject
Experimenting
and
人[人間]
工程
工程
は
工程
の
instance
では %n
人[人間]
が
工程
を
experience
s %n{ない}
experimentalControlProcess
Experimenting
and
工程
experimentalVariableProcess
Experimenting
and
工程
(=>
(
and
(
instance
?EXPRESS
ExpressingApproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
wants
?AGENT ?THING)
(
desires
?AGENT ?THING)))
Mid-level-ontology.kif 12949-12956
工程
は
ExpressingApproval
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
公式
は
工程
の
patient
では %n
認識エージェント
は
公式
を
want
s %n{ない}
認識エージェント
が
公式
を
desire
s %n{ない}
(=>
(
and
(
instance
?EXPRESS
ExpressingDisapproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
dislikes
?AGENT ?THING)
(
disapproves
?AGENT ?THING)))
Mid-level-ontology.kif 12962-12969
工程
は
ExpressingDisapproval
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
公式
は
工程
の
patient
では %n
dislikes
認識エージェント
and
公式
disapproves
認識エージェント
and
公式
(=>
(
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
工程
は
ForeignInternalDefense
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
エンティティー
は
学習
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
AutonomousAgent
は
エンティティー
の
agent
では %n
militaryOfArea
エンティティー
and
AutonomousAgent
エンティティー
は
MilitaryForce
の
instance
では %n
エンティティー
は
AutonomousAgent
に
located
して %n の 目的 %n{ない}
(=>
(
and
(
instance
?FORMULA1
Formula
)
(
instance
?FORMULA2
Formula
))
(
or
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
independentProbability
?FORMULA1 ?FORMULA2)))
Merge.kif 2647-2654
公式
は
公式
の
instance
では %n
公式
は
公式
の
instance
では %n
公式
は
公式
の 可能性を
increase
s %n{ない}
公式
は
公式
を
decrease
s 可能性がある
公式
と
公式
の 確率 は
independent
では %n
(=>
(
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
グラフ
は
グラフ
の
instance
では %n
グラフノード
は
グラフノード
の
instance
では %n
グラフノード
は
グラフノード
の
instance
では %n
グラフノード
は
グラフ
の
part
では %n
グラフノード
は
グラフ
の
part
では %n
グラフノード
は
グラフノード
と
equal
では
グラフアーク
グラフパス
グラフアーク
は
グラフノード
と
グラフノード
を
link
s %n{ない}
グラフパス
は
グラフ
の
subgraph
では %n
グラフパス
は
グラフパス
の
instance
では %n
グラフパス
の
beginning
は
グラフノード
と
equal
では %n
グラフパス
の
end
は
グラフノード
と
equal
では %n
グラフパス
の
beginning
は
グラフノード
と
equal
では %n
グラフパス
の
end
は
グラフノード
と
equal
では %n
(=>
(
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
は
GUIElement
の
instance
では %n
GUIElement
は
GUIElement
の
instance
では %n
GUIElement
は
InterfaceWindow
の
instance
では
GUIElement
は
InterfaceWindow
の
instance
では
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
は
GUIElement
の
proper
part
では %n
GUIElement
は
GUIElement
の
proper
part
では %n
GUIElement
は
GUIElement
と
equal
では %n
(=>
(
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
時間間隔
は
Hanukkah
の
instance
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
時間位置
時点
は
時間位置
の
part
では %n
時間位置
は
月
の
instance
では %n
時間位置
は
11月
の
instance
では %n
時間位置
は
12月
の
instance
では %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