attribute
(<=>
(
attribute
?INDIVIDUAL
Sikh
)
(
member
?INDIVIDUAL
Sikhism
))
People.kif 1488-1490
Sikh
は
オブジェクト
の
attribute
では
オブジェクト
は
Sikhism
の
member
では
(<=>
(
attribute
?INDIVIDUAL
SunniMuslim
)
(
member
?INDIVIDUAL
SunniSect
))
People.kif 1397-1399
SunniMuslim
は
オブジェクト
の
attribute
では
オブジェクト
は
SunniSect
の
member
では
(<=>
(
attribute
?INDIVIDUAL
Taoist
)
(
member
?INDIVIDUAL
Taoism
))
People.kif 1503-1505
Taoist
は
オブジェクト
の
attribute
では
オブジェクト
は
Taoism
の
member
では
(<=>
(
attribute
?INDIVIDUAL
Zoroastrian
)
(
member
?INDIVIDUAL
Zoroastrianism
))
People.kif 1518-1520
Zoroastrian
は
オブジェクト
の
attribute
では
オブジェクト
は
Zoroastrianism
の
member
では
(<=>
(
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 744-755
PolyphonicMusic
は
オブジェクト
の
attribute
では
工程
工程
オブジェクト
は
MakingMusic
の
instance
では
工程
は
MakingMusic
の
instance
では
工程
は
MakingMusic
の
instance
では
工程
は
オブジェクト
% の
subprocess
では
工程
は
オブジェクト
% の
subprocess
では
equal
工程
and
工程
工程
は
オブジェクト
と同時に
occur
s
工程
は
オブジェクト
と同時に
occur
s
(<=>
(
attribute
?Q
Queen
)
(
or
(
attribute
?Q
QueenRegnant
)
(
attribute
?Q
QueenConsort
)))
Government.kif 1362-1366
Queen
は
オブジェクト
の
attribute
では
QueenRegnant
は
オブジェクト
の
attribute
では
QueenConsort
は
オブジェクト
の
attribute
では
(<=>
(
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 4951-4960
OpenSea
は
オブジェクト
の
attribute
では
物理
実数
オブジェクト
は
塩水地域
の
instance
では
オブジェクト
は
LandlockedWater
の
instance
では
物理
と
オブジェクト
の
distance
は
実数
の
NauticalMile
(s) では
実数
は 5.0 より
greater
では
(<=>
(
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 32141-32154
Alone
は
エンティティー
の
attribute
では は
時間間隔
の
during
holds
エンティティー
2
工程
equal
エンティティー
and
エンティティー
2
エンティティー
2 は
AutonomousAgent
の
instance
では
工程
は
社会的交流
の
instance
では
工程
の
time
の existence は
時間間隔
の
during
に takes
involvedInEvent
工程
and
エンティティー
involvedInEvent
工程
and
エンティティー
2
(<=>
(
holdsDuring
?T
(
attribute
?P
Mute
))
(
not
(
exists
(?S)
(
and
(
instance
?S
Speaking
)
(
during
(
WhenFn
?S) ?T)
(
agent
?S ?P)))))
Mid-level-ontology.kif 32189-32197
Mute
は
AutonomousAgent
の
attribute
では は
時間間隔
の
during
holds
工程
工程
は
Speaking
の
instance
では
工程
の
time
の existence は
時間間隔
の
during
に takes
AutonomousAgent
は
工程
の
agent
では
(<=>
(
holdsDuring
?TIME
(
attribute
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1611-1617
LegalAgent
は
エンティティー
の
attribute
では は
時間位置
の
during
holds
エンティティー
は
訴訟
を
agent
として行う
capable
では
エンティティー
は
訴訟
を
patient
として行う
capable
では は
時間位置
の
during
holds
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
FormOfGovernment
は
地政学的地域
の
government
の
attribute
では
FormOfGovernment
は
FormOfGovernment
の
instance
では
governmentType
地政学的地域
and
FormOfGovernment
(=>
(
and
(
attribute
?A ?ATTR)
(
instance
?ATTR
AlbumAttribute
))
(
instance
?A
Album
))
Music.kif 480-484
属性
は
オブジェクト
の
attribute
では
属性
は
AlbumAttribute
の
instance
では
オブジェクト
は
Album
の
instance
では
(=>
(
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
AppraisalAsJustTreatment
は
認識エージェント
の
attribute
では
認識エージェント
JT は
AppraisalProcess
の
instance
では
認識エージェント
は
認識エージェント
JT の
agent
では
工程
認識エージェント
2
工程
は
工程
の
instance
では
認識エージェント
JT は
工程
への
reference
を includes
認識エージェント
2 は
工程
の
agent
では
equal
認識エージェント
and
認識エージェント
2
認識エージェント
は
工程
の
patient
では
認識エージェント
は
工程
を
want
s
(=>
(
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
AppraisalAsUnjustTreatment
は
認識エージェント
の
attribute
では
認識エージェント
UJ は
AppraisalProcess
の
instance
では
認識エージェント
は
認識エージェント
UJ の
agent
では
工程
認識エージェント
2
工程
は
工程
の
instance
では
認識エージェント
UJ は
工程
への
reference
を includes
認識エージェント
2 は
工程
の
agent
では
equal
認識エージェント
and
認識エージェント
2
認識エージェント
は
工程
の
patient
では
認識エージェント
は
工程
を
want
ない
(=>
(
and
(
attribute
?A
Founder
)
(
instance
?A
Human
))
(
exists
(?PROC)
(
and
(
instance
?PROC
Founding
)
(
agent
?PROC ?A))))
Biography.kif 229-236
Founder
は
AutonomousAgent
の
attribute
では
AutonomousAgent
は
人[人間]
の
instance
では
工程
工程
は
Founding
の
instance
では
AutonomousAgent
は
工程
の
agent
では
(=>
(
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 4368-4377
TwoFactorAuthentication
は
UserAccount
の
attribute
では
loggedInDuring
AutonomousAgent
,
UserAccount
and
時間間隔
時間間隔
F
時間間隔
F は
TwoFactorLoggingIn
の
instance
では
AutonomousAgent
は
時間間隔
F の
agent
では
accountUsed
時間間隔
F and
UserAccount
時間間隔
F の
time
の existence は
時間間隔
より
earlier
happens
(=>
(
and
(
attribute
?ACCT ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?ACCT
UserAccount
))
UXExperimentalTerms.kif 648-652
属性
は
オブジェクト
の
attribute
では
属性
は
AccountAttribute
の
instance
では
オブジェクト
は
UserAccount
の
instance
では
(=>
(
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 765-784
VoiceActor
は
AutonomousAgent
の
attribute
では
工程
は
DramaticActing
の
instance
では
AutonomousAgent
は
工程
の
agent
では
工程
は
LinguisticCommunication
の
instance
では
AutonomousAgent
は
工程
の
agent
では
工程
は
工程
% の
subprocess
では
工程
AutonomousAgent
工程
は
見ること
の
instance
では
AutonomousAgent
は
工程
の
patient
では
AutonomousAgent
は
工程
の
agent
では
工程
AutonomousAgent
工程
は
聴覚
の
instance
では
AutonomousAgent
は
工程
の
patient
では
AutonomousAgent
は
工程
の
agent
では
(=>
(
and
(
attribute
?AGENT
(
MemberFn
?ORG))
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
))
(
member
?AGENT ?ORG))
Government.kif 1736-1741
MemberFn
組織
は
オブジェクト
の
attribute
では
オブジェクト
は
AutonomousAgent
の
instance
では
組織
は
組織
の
instance
では
オブジェクト
は
組織
の
member
では
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
CommunistState
は
AutonomousAgent
の
attribute
では
AutonomousAgent
は
国民
の
instance
では
economyType
AutonomousAgent
and
CentrallyPlannedEconomy
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1912-1917
FlatTerrain
は
オブジェクト
の
attribute
では
土地面積
は
オブジェクト
の
part
では
slopeGradient
土地面積
and
非負実数
0.005 は
非負実数
より
greater
では
(=>
(
and
(
attribute
?AREA
HighIncomeCountry
)
(
not
(
member
?AREA
OrganizationOfPetroleumExportingCountries
)))
(
economyType
?AREA
DevelopedCountry
))
Economy.kif 506-510
HighIncomeCountry
は
AutonomousAgent
の
attribute
では
AutonomousAgent
は
OrganizationOfPetroleumExportingCountries
の
member
では
economyType
AutonomousAgent
and
DevelopedCountry
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1924-1929
LowTerrain
は
オブジェクト
の
attribute
では
土地面積
は
オブジェクト
の
part
では
slopeGradient
土地面積
and
非負実数
0.03 は
非負実数
より
greater
では
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Sport
)
(
contestParticipant
?GAME ?ATHLETE))))
Sports.kif 1377-1384
属性
は
AutonomousAgent
の
attribute
では
属性
は
ProfessionalAthlete
の
instance
では
コンテスト
コンテスト
は
スポーツ
の
instance
では
contestParticipant
コンテスト
and
AutonomousAgent
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1371-1375
属性
は
AutonomousAgent
の
attribute
では
属性
は
ProfessionalAthlete
の
instance
では
AutonomousAgent
は
スポーツ
をする
skill
が
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