attribute
(<=>
(
attribute
?INDIVIDUAL
Taoist
)
(
member
?INDIVIDUAL
Taoism
))
People.kif 1502-1504
attribute
Object
and
道
會員
Object
and
道教
(<=>
(
attribute
?INDIVIDUAL
Zoroastrian
)
(
member
?INDIVIDUAL
Zoroastrianism
))
People.kif 1517-1519
attribute
Object
and
拜火教
會員
Object
and
拜火教
(<=>
(
attribute
?MUSIC
PolyphonicMusic
)
(
exists
(?PART1 ?PART2)
(
and
(
instance
?MUSIC
MakingMusic
)
(
instance
?PART1
MakingMusic
)
(
instance
?PART2
MakingMusic
)
(
subProcess
?PART1 ?MUSIC)
(
subProcess
?PART2 ?MUSIC)
(
not
(
equal
?PART1 ?PART2))
(
cooccur
?PART1 ?MUSIC)
(
cooccur
?PART2 ?MUSIC))))
Mid-level-ontology.kif 751-762
attribute
Object
and
和弦音樂
Process
Process
例
Object
and
MakingMusic
例
Process
and
MakingMusic
例
Process
and
MakingMusic
子過程
Process
and
Object
子過程
Process
and
Object
等於
Process
and
Process
一同發生
Process
and
Object
一同發生
Process
and
Object
(<=>
(
attribute
?Q
Queen
)
(
or
(
attribute
?Q
QueenRegnant
)
(
attribute
?Q
QueenConsort
)))
Government.kif 1400-1404
attribute
Object
and
女王
attribute
Object
and
QueenRegnant
attribute
Object
and
QueenConsort
(<=>
(
attribute
?WATER
OpenSea
)
(
exists
(?LAND ?DIST)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0))))
Geography.kif 4711-4720
attribute
Object
and
公海
Physical
RealNumber
例
Object
and
SaltWaterArea
例
Object
and
內陸水域
距離
Physical
,
Object
and
測量
RealNumber
and
海裡
比較多
RealNumber
and 5.0
(<=>
(
holdsDuring
?T
(
attribute
?A
Barefoot
))
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
wears
?A ?S))))))
Mid-level-ontology.kif 30132-30140
持有期間
TimePosition
and
attribute
entity
and
Barefoot
持有期間
TimePosition
and
entity
例
entity
and
鞋
穿
entity
and
entity
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 30145-30153
持有期間
TimePosition
and
attribute
entity
and
Naked
持有期間
TimePosition
and
entity
例
entity
and
Clothing
穿
entity
and
entity
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
AutonomousAgent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 30223-30236
持有期間
TimeInterval
and
attribute
Entity
and
Alone
Entity
2
Process
等於
Entity
and
Entity
2
例
Entity
2 and
AutonomousAgent
例
Process
and
SocialInteraction
期間
何時
Process
and
TimeInterval
Entity
是事件
Process
的
involved
Entity
2 是事件
Process
的
involved
(<=>
(
holdsDuring
?T
(
attribute
?P
Mute
))
(
not
(
exists
(?S)
(
and
(
instance
?S
Speaking
)
(
during
(
WhenFn
?S) ?T)
(
agent
?S ?P)))))
Mid-level-ontology.kif 30271-30279
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Mute
Process
例
Process
and
說話
期間
何時
Process
and
TimeInterval
agent
Process
and
AutonomousAgent
(<=>
(
holdsDuring
?TIME
(
attribute
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1601-1607
持有期間
TimePosition
and
attribute
entity
and
LegalAgent
持有期間
TimePosition
and
能力
LegalAction
,
agent
and
entity
能力
LegalAction
,
患者
and
entity
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
attribute
政府
GeopoliticalArea
and
政體
例
政體
and
政體
%2 是 1% 的
government
類別
(=>
(
and
(
attribute
?A ?ATTR)
(
instance
?ATTR
AlbumAttribute
))
(
instance
?A
Album
))
Music.kif 478-482
attribute
Object
and
Object
TTR
例
Object
TTR and
AlbumAttribute
例
Object
and
Album
(=>
(
and
(
attribute
?A
AppraisalAsJustTreatment
)
(
instance
?AJT
AppraisalProcess
)
(
agent
?AJT ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AJT ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
wants
?A ?P))))
emotion.kif 374-387
attribute
CognitiveAgent
and
AppraisalAsJustTreatment
例
CognitiveAgent
JT and
AppraisalProcess
agent
CognitiveAgent
JT and
CognitiveAgent
Process
CognitiveAgent
例
Process
and
Process
參照
CognitiveAgent
JT and
Process
agent
Process
and
CognitiveAgent
等於
CognitiveAgent
and
CognitiveAgent
患者
Process
and
CognitiveAgent
想要
CognitiveAgent
and
Process
(=>
(
and
(
attribute
?A
AppraisalAsUnjustTreatment
)
(
instance
?AUJ
AppraisalProcess
)
(
agent
?AUJ ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AUJ ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
not
(
wants
?A ?P)))))
emotion.kif 349-363
attribute
CognitiveAgent
and
AppraisalAsUnjustTreatment
例
CognitiveAgent
UJ and
AppraisalProcess
agent
CognitiveAgent
UJ and
CognitiveAgent
Process
CognitiveAgent
例
Process
and
Process
參照
CognitiveAgent
UJ and
Process
agent
Process
and
CognitiveAgent
等於
CognitiveAgent
and
CognitiveAgent
患者
Process
and
CognitiveAgent
想要
CognitiveAgent
and
Process
(=>
(
and
(
attribute
?A
Founder
)
(
instance
?A
Human
))
(
exists
(?PROC)
(
and
(
instance
?PROC
Founding
)
(
agent
?PROC ?A))))
Biography.kif 223-230
attribute
AutonomousAgent
and
Founder
例
AutonomousAgent
and
Human
Process
例
Process
and
創建
agent
Process
and
AutonomousAgent
(=>
(
and
(
attribute
?AC
TwoFactorAuthentication
)
(
loggedInDuring
?A ?AC ?T))
(
exists
(?TF)
(
and
(
instance
?TF
TwoFactorLoggingIn
)
(
agent
?TF ?A)
(
accountUsed
?TF ?AC)
(
earlier
(
WhenFn
?TF) ?T))))
ComputingBrands.kif 4373-4382
attribute
用戶帳號
and
TwoFactorAuthentication
loggedInDuring
AutonomousAgent
,
用戶帳號
and
TimeInterval
TimeInterval
F
例
TimeInterval
F and
TwoFactorLoggingIn
agent
TimeInterval
F and
AutonomousAgent
accountUsed
TimeInterval
F and
用戶帳號
早期
何時
TimeInterval
F and
TimeInterval
(=>
(
and
(
attribute
?ACCT ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?ACCT
UserAccount
))
UXExperimentalTerms.kif 648-652
attribute
Object
and
Attribute
例
Attribute
and
AccountAttribute
例
Object
and
用戶帳號
(=>
(
and
(
attribute
?ACTOR
VoiceActor
)
(
instance
?DRAMA
DramaticActing
)
(
agent
?DRAMA ?ACTOR)
(
instance
?SPEAK
LinguisticCommunication
)
(
agent
?SPEAK ?ACTOR)
(
subProcess
?SPEAK ?DRAMA))
(
and
(
not
(
exists
(?S ?VIEWER)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?ACTOR)
(
agent
?S ?VIEWER))))
(
exists
(?H ?VIEWER)
(
and
(
instance
?H
Hearing
)
(
patient
?H ?ACTOR)
(
agent
?H ?VIEWER)))))
Biography.kif 757-776
attribute
AutonomousAgent
and
配音演員
例
Process
and
戲劇表演
agent
Process
and
AutonomousAgent
例
Process
and
語言交流
agent
Process
and
AutonomousAgent
子過程
Process
and
Process
Process
AutonomousAgent
例
Process
and
Seeing
患者
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
Process
AutonomousAgent
例
Process
and
Hearing
患者
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
(=>
(
and
(
attribute
?AGENT
(
MemberFn
?ORG))
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
))
(
member
?AGENT ?ORG))
Government.kif 1774-1779
attribute
Object
and
Organization
的
member
例
Object
and
AutonomousAgent
例
Organization
and
Organization
會員
Object
and
Organization
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
attribute
AutonomousAgent
and
共產主義國家
例
AutonomousAgent
and
Nation
中央計劃經濟
是
AutonomousAgent
的
economy
類別
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1754-1759
attribute
Object
and
平坦的地形
部分
LandArea
and
Object
NonnegativeRealNumber
是
LandArea
的
slope
梯度
比較多
0.005 and
NonnegativeRealNumber
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
attribute
AutonomousAgent
and
高收入國家
會員
AutonomousAgent
and
石油輸出國組織
發達國家
是
AutonomousAgent
的
economy
類別
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1766-1771
attribute
Object
and
低地形
部分
LandArea
and
Object
NonnegativeRealNumber
是
LandArea
的
slope
梯度
比較多
0.03 and
NonnegativeRealNumber
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Sport
)
(
contestParticipant
?GAME ?ATHLETE))))
Sports.kif 1363-1370
attribute
AutonomousAgent
and
Attribute
例
Attribute
and
ProfessionalAthlete
Contest
例
Contest
and
Sport
AutonomousAgent
participates
在
Contest
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1357-1361
attribute
AutonomousAgent
and
Attribute
例
Attribute
and
ProfessionalAthlete
有技巧
Sport
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