earlier
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21147-21177
例
Proposition
and
爭論
例
Process
and
Reasoning
例
Proposition
and
Archeology
次提案
Proposition
and
Proposition
實現
Process
and
Proposition
Process
entity
,
Physical
,
RealNumber
,
entity
and
entity
例
Process
and
發現
例
Physical
and
Object
患者
Process
and
Physical
參照
Process
and
Process
早期
何時
Process
and
何時
Process
年齡
Physical
and
測量
RealNumber
and
年持續時間
比較多
RealNumber
and 50
持有期間
不久的過去
何時
Process
and
表面
entity
and
entity
例
entity
and
水體
方位
Physical
,
entity
and
下面
表面
entity
and
entity
例
entity
and
LandArea
方位
Physical
,
entity
and
下面
(=>
(
and
(
instance
?X
DutyTax
)
(
refers
?X ?OBJ)
(
patient
?X ?OBJ))
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Transfer
)
(
patient
?T ?OBJ)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
earlier
(
WhenFn
?T)
(
WhenFn
?X))
(
causes
?T ?X))))
FinancialOntology.kif 949-964
例
Process
and
關稅
參照
Process
and
Entity
患者
Process
and
Entity
Process
Object
and
Entity
例
Process
and
Transfer
患者
Process
and
Entity
起源
Process
and
Object
目的地
Process
and
Entity
例
Object
and
Nation
例
Entity
and
Nation
等於
Object
and
Entity
早期
何時
Process
and
何時
Process
原因
Process
and
Process
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
例
Entity
and
ReadOnlyMemoryDataStorage
例
Process
and
Manufacture
結果
Process
and
Entity
模態屬性
entity
entity
and
entity
例
entity
and
ContentDevelopment
例
entity
and
DeletingData
早期
何時
Process
and
何時
entity
患者
entity
and
Entity
患者
entity
and
entity
持有期間
眼前的未來
何時
entity
and
entity
是
stored
在
Entity
and
可能性
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8699-8704
例
TimeInterval
and
年
Integer
例
TimeInterval
and
年
Integer
比較多
Integer
and
Integer
早期
TimeInterval
and
TimeInterval
(=>
(
and
(
lastStatement
?Account ?Statement)
(
instance
?Transaction1
FinancialTransaction
)
(
realization
?Statement ?Transaction1)
(
instance
?Transaction2
FinancialTransaction
)
(
not
(
realization
?Statement ?Transaction2)))
(
earlier
(
WhenFn
?Transaction2)
(
WhenFn
?Transaction1)))
FinancialOntology.kif 3907-3914
銀行對帳單
是
金融賬戶
的
last
聲明
例
Physical
and
FinancialTransaction
實現
銀行對帳單
and
Physical
例
Physical
and
FinancialTransaction
實現
銀行對帳單
and
Physical
早期
何時
Physical
and
何時
Physical
(=>
(
and
(
newRegisteredUsers
?INT1 ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?INT2)
(
and
(
instance
?INT2
TimeInterval
)
(
earlier
?INT2 ?INT1)
(
holdsDuring
?INT2
(
registeredUser
?MEMBER ?SITE))))))
UXExperimentalTerms.kif 3640-3650
Collection
的成員有
registered
對於
WebSite
在期間
TimeInterval
會員
Physical
and
Collection
TimeInterval
例
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
Physical
是
WebSite
的
registered
user
(=>
(
and
(
processList
@ROW)
(
inList
?Process1
(
ListFn
@ROW))
(
inList
?Process2
(
ListFn
@ROW))
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number1) ?Process1)
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number2) ?Process2)
(
lessThan
?Number1 ?Number2))
(
earlier
(
WhenFn
?Process1)
(
WhenFn
?Process2)))
QoSontology.kif 694-710
@ROW
processes
的
list
在列表中
Physical
and
名單
@ROW
在列表中
Physical
and
名單
@ROW
等於
清單順序
名單
@ROW and
PositiveInteger
and
Physical
等於
清單順序
名單
@ROW and
PositiveInteger
and
Physical
少於
PositiveInteger
and
PositiveInteger
早期
何時
Physical
and
何時
Physical
(=>
(
and
(
softwareVersion
?COM
CurrentVersion
)
(
instance
?P2
ComputerProgramming
)
(
patient
?P2 ?COM))
(
exists
(?P1)
(
and
(
instance
?P1
ComputerProgramming
)
(
not
(
equal
?P1 ?P2))
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2))
(
patient
?P1 ?COM)
(
softwareVersion
?COM
PreviousVersion
))))
ComputingBrands.kif 3870-3882
softwareVersion
ComputerProgram
and
CurrentVersion
例
Process
and
電腦編程
患者
Process
and
ComputerProgram
Process
例
Process
and
電腦編程
等於
Process
and
Process
早期
何時
Process
and
何時
Process
患者
Process
and
ComputerProgram
softwareVersion
ComputerProgram
and
PreviousVersion
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING
AccessingWebPage
)
(
equal
(
FirstFn
?LIST) ?ACCESSING))
(
not
(
exists
(?ACCESSING2)
(
and
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING2 ?USER)
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING))))))
UXExperimentalTerms.kif 783-797
List
是樣品清單
viewed
由
AutonomousAgent
例
Physical
and
AccessingWebPage
等於
List
的
first
and
Physical
Physical
例
Physical
and
AccessingWebPage
agent
Physical
and
AutonomousAgent
早期
何時
Physical
and
何時
Physical
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING1
AccessingWebPage
)
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING1 ?USER)
(
agent
?ACCESSING2 ?USER)
(
instance
?INDEX1
PositiveInteger
)
(
instance
?INDEX2
PositiveInteger
)
(
equal
(
ListOrderFn
?LIST ?INDEX1) ?ACCESSING1)
(
equal
(
ListOrderFn
?LIST ?INDEX2) ?ACCESSING2)
(
greaterThan
?INDEX1 ?INDEX2))
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING1)))
UXExperimentalTerms.kif 799-817
List
是樣品清單
viewed
由
AutonomousAgent
例
Process
and
AccessingWebPage
例
Process
and
AccessingWebPage
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
例
PositiveInteger
and
PositiveInteger
例
PositiveInteger
and
PositiveInteger
等於
清單順序
List
and
PositiveInteger
and
Process
等於
清單順序
List
and
PositiveInteger
and
Process
比較多
PositiveInteger
and
PositiveInteger
早期
何時
Process
and
何時
Process
(=>
(
attribute
?D
DeviceDamaged
)
(
exists
(?DAM)
(
and
(
instance
?DAM
Damaging
)
(
patient
?DAM ?D)
(
not
(
exists
(?R)
(
and
(
instance
?R
Repairing
)
(
patient
?R ?D)
(
earlier
(
WhenFn
?DAM)
(
WhenFn
?R))))))))
Mid-level-ontology.kif 29445-29456
attribute
Object
and
DeviceDamaged
Object
AM
例
Object
AM and
Damaging
患者
Object
AM and
Object
Process
例
Process
and
Repairing
患者
Process
and
Object
早期
何時
Object
AM and
何時
Process
(=>
(
attribute
?D
DeviceNormal
)
(
not
(
exists
(?DAM)
(
and
(
instance
?DAM
Damaging
)
(
patient
?DAM ?D)
(
not
(
exists
(?R)
(
and
(
instance
?R
Repairing
)
(
patient
?R ?D)
(
earlier
(
WhenFn
?DAM)
(
WhenFn
?R)))))))))
Mid-level-ontology.kif 29417-29429
attribute
Object
and
DeviceNormal
Object
AM
例
Object
AM and
Damaging
患者
Object
AM and
Object
Process
例
Process
and
Repairing
患者
Process
and
Object
早期
何時
Object
AM and
何時
Process
(=>
(
attribute
?H
Bulimia
)
(
exists
(?E ?P)
(
and
(
instance
?E
Eating
)
(
or
(
instance
?P
Vomiting
)
(
instance
?P
Defecating
))
(
agent
?P ?H)
(
wants
?H ?P)
(
earlier
(
WhenFn
?E)
(
WhenFn
?P)))))
Medicine.kif 5010-5022
attribute
CognitiveAgent
and
Bulimia
Physical
Process
例
Physical
and
Eating
例
Process
and
Vomiting
例
Process
and
Defecating
agent
Process
and
CognitiveAgent
想要
CognitiveAgent
and
Process
早期
何時
Physical
and
何時
Process
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 2698-2714
attribute
Object
and
鎖定
Object
Process
and
Entity
例
Object
and
鎖
連接的
Object
and
Object
例
Process
and
關閉
患者
Process
and
Object
例
Entity
and
Motion
早期
何時
Process
and
何時
attribute
Object
and
鎖定
持有期間
何時
attribute
Object
and
鎖定
and
模態屬性
患者
Entity
and
Object
and
可能性
(=>
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
earlier
?INTERVAL1 ?INTERVAL2))
Merge.kif 8382-8384
之前
結束
TimeInterval
and
開始
TimeInterval
早期
TimeInterval
and
TimeInterval
(=>
(
causes
?P1 ?P2)
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2)))
Merge.kif 3795-3797
原因
Process
and
Process
早期
何時
Process
and
何時
Process
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
instance
?TIME2 ?CLASS)
(
not
(
equal
?TIME1 ?TIME2)))
(
or
(
meetsTemporally
?TIME1 ?TIME2)
(
meetsTemporally
?TIME2 ?TIME1)
(
earlier
?TIME1 ?TIME2)
(
earlier
?TIME2 ?TIME1)))))
Merge.kif 9395-9407
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
等於
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
(=>
(
exclusiveEvent
?EXP ?PROC)
(
exists
(?EVP ?AGENT)
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
earlier
(
WhenFn
?EVP)
(
WhenFn
?PROC)))))
UXExperimentalTerms.kif 4345-4355
試驗
causes
Process
Process
Human
例
Process
and
Process
例
Human
and
AutonomousAgent
Human
是個
treated
used
在
試驗
Process
在
試驗
的
process
體驗者
Process
and
Human
體驗者
Process
and
Human
早期
何時
Process
and
何時
Process
(=>
(
holdsDuring
?NOW
(
attribute
?P
Prisoner
))
(
exists
(?BEFORE ?IMPRISONING)
(
and
(
instance
?IMPRISONING
Imprisoning
)
(
earlier
?BEFORE ?NOW)
(
holdsDuring
?BEFORE
(
detainee
?IMPRISONING ?P)))))
MilitaryPersons.kif 242-250
持有期間
TimeInterval
and
attribute
entity
and
囚犯
TimeInterval
Entity
例
Entity
and
監禁
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
entity
是
Entity
的 拘留者
(=>
(
holdsDuring
?NOW
(
attribute
?P
Widowed
))
(
and
(
exists
(?BEFORE ?SPOUSE)
(
and
(
earlier
?BEFORE ?NOW)
(
holdsDuring
?BEFORE
(
spouse
?SPOUSE ?P))
(
holdsDuring
?NOW
(
attribute
?SPOUSE
Dead
))))
(
not
(
exists
(?OTHER)
(
holdsDuring
?NOW
(
spouse
?OTHER ?P))))))
Mid-level-ontology.kif 22307-22321
持有期間
TimeInterval
and
attribute
entity
and
寡
TimeInterval
entity
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
entity
是
entity
的
spouse
持有期間
TimeInterval
and
attribute
entity
and
死
entity
持有期間
TimeInterval
and
entity
是
entity
的
spouse
(=>
(
holdsDuring
?T
(
attribute
?H
PostTraumaticStressDisorder
))
(
exists
(?V)
(
and
(
instance
?V
ViolentContest
)
(
earlier
(
WhenFn
?V) ?T)
(
involvedInEvent
?V ?H))))
Mid-level-ontology.kif 9747-9755
持有期間
TimeInterval
and
attribute
Entity
and
PostTraumaticStressDisorder
Process
例
Process
and
ViolentContest
早期
何時
Process
and
TimeInterval
Entity
是事件
Process
的
involved
(=>
(
holdsDuring
?T
(
attribute
?H
Reinfection
))
(
and
(
holdsDuring
?T
(
and
(
instance
?D
InfectiousDisease
)
(
attribute
?H ?D)))
(
holdsDuring
?TEARLY
(
attribute
?H ?D))
(
earlier
?TEARLY ?T)))
Medicine.kif 5308-5318
持有期間
TimeInterval
and
attribute
entity
and
Reinfection
持有期間
TimeInterval
and
例
entity
and
傳染病
attribute
entity
and
entity
持有期間
TimeInterval
EARLY and
attribute
entity
and
entity
早期
TimeInterval
EARLY and
TimeInterval
(=>
(
holdsDuring
?T
(
attribute
?O
Undamaged
))
(
not
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?O)
(
earlier
(
WhenFn
?D) ?T)))))
Mid-level-ontology.kif 30194-30202
持有期間
TimeInterval
and
attribute
Entity
and
Undamaged
Process
例
Process
and
Damaging
患者
Process
and
Entity
早期
何時
Process
and
TimeInterval
(=>
(
holdsDuring
?T
(
attribute
?P
BereavedFather
))
(
exists
(?BEFORE ?C)
(
and
(
earlier
?BEFORE ?T)
(
holdsDuring
?BEFORE
(
father
?P ?C))
(
holdsDuring
?T
(
attribute
?C
Dead
)))))
ArabicCulture.kif 760-766
持有期間
TimeInterval
and
attribute
entity
and
失去親人的父親
TimeInterval
entity
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
父親
entity
and
entity
持有期間
TimeInterval
and
attribute
entity
and
死
(=>
(
holdsDuring
?T
(
attribute
?P
BereavedMother
))
(
exists
(?BEFORE ?C)
(
and
(
earlier
?BEFORE ?T)
(
holdsDuring
?BEFORE
(
mother
?P ?C))
(
holdsDuring
?T
(
attribute
?C
Dead
)))))
ArabicCulture.kif 774-780
持有期間
TimeInterval
and
attribute
entity
and
失去親人的母親
TimeInterval
entity
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
母親
entity
and
entity
持有期間
TimeInterval
and
attribute
entity
and
死
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