Human
(=>
(
and
(
instance
?R
TrueRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 492-503
例
BodyPart
and
TrueRibBone
部分
BodyPart
and
Object
例
Object
and
Human
attribute
Object
and
DiseaseOrSyndrome
BodyPart
例
BodyPart
and
Sternum
部分
BodyPart
and
Object
connectedBodyPart
BodyPart
and
BodyPart
(=>
(
and
(
instance
?RC
RibCage
)
(
part
?RC ?H)
(
instance
?H
Human
)
(
attribute
?H
Living
)
(
not
(
and
(
instance
?P
PathologicProcess
)
(
located
?P ?H))))
(
exists
(?HT ?LG)
(
and
(
instance
?HT
Heart
)
(
instance
?HT
Lung
)
(
contains
?RC ?LG)
(
contains
?RC ?HT))))
Mid-level-ontology.kif 11247-11262
例
SelfConnectedObject
and
RibCage
部分
SelfConnectedObject
and
Object
例
Object
and
Human
attribute
Object
and
活的
~{
例
Physical
and
PathologicProcess
} ~{
位於
Physical
and
Object
}
Object
T
Object
例
Object
T and
心
例
Object
T and
肺
包含
SelfConnectedObject
and
Object
包含
SelfConnectedObject
and
Object
T
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
exists
(?R)
(
and
(
instance
?R
Requesting
)
(
patient
?R ?SPAM)))))
ComputingBrands.kif 4197-4208
例
Process
and
Spamming
結果
Process
and
Process
PAM
例
Process
and
Spam
例
Entity
and
Human
目的地
Process
and
Entity
Process
例
Process
and
Requesting
患者
Process
and
Process
PAM
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
例
Process
and
Spamming
結果
Process
and
Process
PAM
例
Process
and
Spam
例
Entity
and
Human
目的地
Process
and
Entity
模態屬性
想要
Entity
and
Process
PAM and
容易
(=>
(
and
(
instance
?S
Strangling
)
(
patient
?S ?V)
(
instance
?V
Human
))
(
hasPurpose
?S
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
agent
?B ?V))))))
Mid-level-ontology.kif 6537-6547
例
Process
and
絞殺
患者
Process
and
Entity
例
Entity
and
Human
有目的
Process
and
entity
例
entity
and
Breathing
agent
entity
and
Entity
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
例
Object
and
禮堂座位
部分
Object
and
Object
部分
Object
and
Object
例
Object
and
禮堂
例
Object
and
表演階段
位於
Object
and
Object
例
Object
and
Human
子類
Process
and
Seeing
Process
例
Process
and
Process
患者
Process
and
Object
能力
Process
,
agent
and
Object
(=>
(
and
(
instance
?SENDER
Nation
)
(
instance
?RECEIVER
Nation
)
(
instance
?PERSON
Human
)
(
attribute
?PERSON ?ROLE)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
representativeAgentToAgent
?SENDER ?PERSON ?RECEIVER))
(
diplomaticRepresentationType
?SENDER ?ROLE ?RECEIVER))
Government.kif 4621-4629
例
AutonomousAgent
and
Nation
例
AutonomousAgent
and
Nation
例
AutonomousAgent
and
Human
attribute
AutonomousAgent
and
Position
子屬性
Position
and
外交代表
%1 是 對於 %3 給代理 %2 的
representative
代理
%
AutonomousAgent
%3
(=>
(
and
(
instance
?SERVICE
ChristianService
)
(
agent
?SERVICE ?PERSON)
(
instance
?PERSON
Human
))
(
member
?PERSON
Christianity
))
People.kif 783-788
例
Process
and
基督徒服務
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
Human
會員
AutonomousAgent
and
基督教
(=>
(
and
(
instance
?STRIKE
LaborStriking
)
(
agent
?STRIKE ?PERSON)
(
instance
?PERSON
Human
)
(
patient
?STRIKE ?ORG)
(
instance
?ORG
Organization
))
(
employs
?ORG ?PERSON))
Mid-level-ontology.kif 16916-16923
例
Process
and
勞工引人注目
agent
Process
and
CognitiveAgent
例
CognitiveAgent
and
Human
患者
Process
and
AutonomousAgent
例
AutonomousAgent
and
Organization
採用
AutonomousAgent
and
CognitiveAgent
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
例
TimeInterval
and
TimePeriod
持續時間
TimeInterval
and
測量
RealNumber
and
分鐘
比較多
RealNumber
and 5.0
例
Entity
and
Human
Process
例
Process
and
Breathing
期間
何時
Process
and
TimeInterval
患者
Process
and
Entity
模態屬性
entity
例
entity
and
Death
體驗者
entity
and
Entity
短暫相遇
TimeInterval
and
何時
entity
and
容易
(=>
(
and
(
instance
?TEXT
BirthCertificate
)
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N)
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
Day
)
(
birthplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)))))
Biography.kif 250-264
例
內容承載物理
and
出生證明
例
Process
and
Birth
例
AutonomousAgent
and
Human
體驗者
Process
and
AutonomousAgent
containsFormula
內容承載物理
and
entity
entity
and
entity
entity
是
AutonomousAgent
的
birthdate
例
entity
and
Day
entity
是
AutonomousAgent
的
birthplace
例
entity
and
GeographicArea
代表
entity
and
AutonomousAgent
例
entity
and
Name
(=>
(
and
(
instance
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
例
內容承載物理
and
DeathCertificate
例
Process
and
Death
例
AutonomousAgent
and
Human
體驗者
Process
and
AutonomousAgent
containsFormula
內容承載物理
and
Process
AY
entity
,
entity
and
entity
ROC
Process
AY 是
AutonomousAgent
的
deathdate
例
Process
AY and
Day
entity
是
AutonomousAgent
的
deathplace
例
entity
and
GeographicArea
代表
entity
and
AutonomousAgent
例
entity
and
Name
原因
entity
ROC and
Process
例
entity
ROC and
Process
(=>
(
and
(
instance
?TEXT
MarriageCertificate
)
(
instance
?A
Human
)
(
instance
?B
Human
)
(
spouse
?A ?B))
(
containsFormula
?TEXT
(
exists
(?DAY)
(
and
(
weddingdate
?A ?B ?DAY)
(
instance
?DAY
Day
)))))
Biography.kif 307-317
例
內容承載物理
and
MarriageCertificate
例
Human
and
Human
例
Human
and
Human
Human
是
Human
的
spouse
containsFormula
內容承載物理
and
entity
Human
和
Human
之前是
married
在
entity
例
entity
and
Day
(=>
(
and
(
instance
?VEHICLE
CargoVehicle
)
(
instance
?O
Human
))
(
not
(
modalAttribute
(
exists
(?T)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?O)
(
instrument
?T ?VEHICLE)))
Possibility
)))
Transportation.kif 1766-1776
例
Entity
and
貨車
例
Entity
and
Human
模態屬性
entity
例
entity
and
Transportation
患者
entity
and
Entity
儀器
entity
and
Entity
and
可能性
(=>
(
and
(
instance
?VEHICLE
PassengerVehicle
)
(
instance
?HUMAN
Human
))
(
modalAttribute
(
exists
(?T)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?HUMAN)
(
instrument
?T ?VEHICLE)))
Possibility
))
Transportation.kif 1748-1758
例
Entity
and
乘用車
例
Entity
and
Human
模態屬性
entity
例
entity
and
Transportation
患者
entity
and
Entity
儀器
entity
and
Entity
and
可能性
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENT ?EVENT)
(=>
(
exists
(?CLASS)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
instance
?EVENT ?CLASS)
(
capability
?CLASS
experiencer
?VISITOR)))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP ?PROCESS)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
instance
?PROC ?PROCESS)
(
capability
?PROCESS
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4241-4267
例
Human
and
Human
例
Collection
and
Collection
試驗
Physical
Process
例
試驗
and
試驗
例
Physical
and
Process
會員
Physical
and
events
在
試驗
例
Physical
and
Process
能力
Process
,
體驗者
and
Human
會員
Physical
and
Collection
會員
Physical
and
Collection
例
Physical
and
Process
試驗
Physical
ESS
例
試驗
and
試驗
會員
Physical
and
events
在
試驗
例
Physical
and
Physical
ESS
能力
Physical
ESS,
體驗者
and
Human
等於
所有流程
Human
是
qualified
對於 and
Collection
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?QPVIEWS
Collection
)
(
forall
(?PAGE ?ACCESSING ?EXPERIMENT)
(=>
(
and
(
instance
?PAGE
WebPage
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?EXPERIMENT
Experimenting
)
(
agent
?ACCESSING ?VISITOR)
(
patient
?ACCESSING ?PAGE)
(
treatedPage
?PAGE ?EXPERIMENT))
(
member
?ACCESSING ?QPVIEWS))))
(
equal
?QPVIEWS
(
QPViewsFn
?VISITOR)))
UXExperimentalTerms.kif 4175-4190
例
Human
and
Human
例
Collection
and
Collection
WebPage
Process
and
試驗
例
WebPage
and
WebPage
例
Process
and
AccessingWebPage
例
試驗
and
試驗
agent
Process
and
Human
患者
Process
and
WebPage
WebPage
是
試驗
的 研究對象
會員
Process
and
Collection
等於
Collection
and 所有的
treated
web
page
瀏覽從
Human
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
例
Collection
and
Collection
例
Collection
and
Collection
子集合
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
AccessingWebPage
Process
AutonomousAgent
,
Process
,
Process
and
Object
例
AutonomousAgent
and
Human
例
Process
and
Buying
例
Process
and
AccessingWebPage
例
Object
and
WebPage
會員
Process
and
Collection
目的地
Process
and
Object
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
期間
何時
Process
and
何時
Process
儀器
Process
and
Object
會員
Process
and
Collection
TimeInterval
entity
_IN_INTERVAL and
entity
_IN_INTERVAL
等於
purchases
花在
Collection
期間
TimeInterval
and
部
基數
卡帕
entity
_IN_INTERVAL and
會員
entity
_IN_INTERVAL and
Collection
期間
何時
entity
_IN_INTERVAL and
TimeInterval
and
基數
卡帕
entity
_IN_INTERVAL and
會員
entity
_IN_INTERVAL and
Collection
期間
何時
entity
_IN_INTERVAL and
TimeInterval
(=>
(
and
(
instance
?W
WorkLeave
)
(
instance
?WORK
Working
)
(
agent
?W ?PERSON)
(
agent
?WORK ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
overlapsTemporally
(
WhenFn
?W)
(
WhenFn
?WORK))))
Mid-level-ontology.kif 20426-20436
例
Process
and
WorkLeave
例
Process
ORK and
工作的
agent
Process
and
AutonomousAgent
agent
Process
ORK and
AutonomousAgent
例
AutonomousAgent
and
Human
暫時重疊
何時
Process
and
何時
Process
ORK
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
attribute
?H
Healthy
))
(
exists
(?M ?BP)
(
and
(
instance
?M ?MC)
(
instance
?BP ?BPC)
(
part
?M ?H)
(
part
?BP ?H)
(
connects
?M ?BP))))
Anatomy.kif 1745-1756
muscleInsertion
Muscle
and
BodyPart
例
Object
and
Human
attribute
Object
and
Healthy
Object
Object
例
Object
and
Muscle
例
Object
and
BodyPart
部分
Object
and
Object
部分
Object
and
Object
連接
Object
and
Object
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
Muscle
and
BodyPart
例
Object
and
Human
持有期間
TimeInterval
and
attribute
Object
and
StandardAnatomicalPosition
attribute
Object
and
Healthy
例
TimeInterval
and
MuscularContraction
期間
何時
TimeInterval
and
TimeInterval
例
Object
and
Muscle
部分
Object
and
Object
儀器
TimeInterval
and
Object
physicalEnd
Object
and
Object
空間的符合
Object
and
Object
持有期間
開始
TimeInterval
and
位於
Object
and
entity
持有期間
結束
TimeInterval
and
位於
Object
and
entity
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
attribute
?H
Healthy
))
(
exists
(?M ?BP)
(
and
(
instance
?M ?MC)
(
instance
?BP ?BPC)
(
part
?M ?H)
(
part
?BP ?H)
(
connects
?M ?BP))))
Anatomy.kif 1695-1706
muscleOrigin
Muscle
and
BodyPart
例
Object
and
Human
attribute
Object
and
Healthy
Object
Object
例
Object
and
Muscle
例
Object
and
BodyPart
部分
Object
and
Object
部分
Object
and
Object
連接
Object
and
Object
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
Muscle
and
BodyPart
例
Object
and
Human
持有期間
TimeInterval
and
attribute
Object
and
StandardAnatomicalPosition
attribute
Object
and
Healthy
例
TimeInterval
and
MuscularContraction
期間
何時
TimeInterval
and
TimeInterval
例
Object
and
Muscle
部分
Object
and
Object
儀器
TimeInterval
and
Object
physicalEnd
Object
and
Object
空間的符合
Object
and
Object
持有期間
開始
TimeInterval
and
位於
Object
and
entity
持有期間
結束
TimeInterval
and
位於
Object
and
entity
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3446-3450
名
SymbolicString
and
Human
例
Human
and
Human
Human
是
called
SymbolicString
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
Collection
和
Collection
是
orthogonal
tests
例
Object
and
Human
例
Physical
and
Process
子類
Process
and
試驗
會員
Physical
and
Collection
能力
Process
,
experimentalSubject
and
Object
Physical
Process
例
Physical
and
Process
會員
Physical
and
Collection
子類
Process
and
試驗
能力
Process
,
experimentalSubject
and
Object
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