not
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 738-753
agreementRevisionDate
命題
,
時間位置
and
命題
時間位置
時間位置
は
時間位置
の
instance
では %n
命題
は
命題
の
sub
-proposition では は
時間位置
の immediately
before
の
during
holds %n{ない}
命題
は
命題
の
sub
-proposition では %n は
時間位置
の すぐ
after
の
during
holds %n{ない}
命題
は
命題
の
sub
-proposition では %n は
時間位置
の immediately
before
の
during
holds %n{ない}
命題
は
命題
の
sub
-proposition では は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
albumRelease
?A ?T)
(
and
(
exists
(?R1 ?DS1)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS1) ?R1 ?T))
(
not
(
exists
(?B ?R2 ?DS2)
(
and
(
before
?B ?T)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS2) ?R2 ?B))))))
Music.kif 261-270
albumRelease
Album
and
時点
地理的地域
DataStorageDevice
releaseForSale
AlbumCopiesFn
Album
and
DataStorageDevice
,
地理的地域
and
時点
時点
地理的地域
and
DataStorageDevice
時点
は
時点
の
before
に happens %n{ない}
releaseForSale
AlbumCopiesFn
Album
and
DataStorageDevice
,
地理的地域
and
時点
(=>
(
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
では %n
認識エージェント
JT は
AppraisalProcess
の
instance
では %n
認識エージェント
は
認識エージェント
JT の
agent
では %n
工程
認識エージェント
2
工程
は
工程
の
instance
では %n
認識エージェント
JT は
工程
への
reference
を includes %n{ない}
認識エージェント
2 は
工程
の
agent
では %n
認識エージェント
は
認識エージェント
2 と
equal
では
認識エージェント
は
工程
の
patient
では %n
認識エージェント
は
工程
を
want
s %n{ない}
(=>
(
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
では %n
認識エージェント
UJ は
AppraisalProcess
の
instance
では %n
認識エージェント
は
認識エージェント
UJ の
agent
では %n
工程
認識エージェント
2
工程
は
工程
の
instance
では %n
認識エージェント
UJ は
工程
への
reference
を includes %n{ない}
認識エージェント
2 は
工程
の
agent
では %n
認識エージェント
は
認識エージェント
2 と
equal
では
認識エージェント
は
工程
の
patient
では %n
認識エージェント
は
工程
を
want
ない
(=>
(
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
VoiceActor
は
AutonomousAgent
の
attribute
では %n
工程
は
DramaticActing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
LinguisticCommunication
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
工程
% の
subprocess
では %n
工程
AutonomousAgent
工程
は
見ること
の
instance
では %n
AutonomousAgent
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
AutonomousAgent
工程
は
聴覚
の
instance
では %n
AutonomousAgent
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29507-29519
Collectible
は
オブジェクト
の
attribute
では %n
オブジェクト
は
公式
の 目的 %n{ない}
認識エージェント
公式
2
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
オブジェクト
を
want
s %n{ない}
認識エージェント
が
公式
2 を
desire
s %n{ない}
公式
2 は
認識エージェント
は
オブジェクト
を
possess
es %n{ない} を
entail
s %n{ない}
公式
は
公式
2 と
equal
では
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29458-29463
DeviceDamaged
は
オブジェクト
の
attribute
では %n
オブジェクト
は
公式
の 目的 %n{ない}
ステートメント
公式
には
Possibility
の
modal
force
が ない %p{ある}
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
DecafAttribute
は
物質
の
attribute
では %n
物質
は
Food
の
instance
では %n
物質
物質
は
Caffeine
の
instance
では %n
物質
は
物質
の
piece
では %n
(=>
(
and
(
attribute
?M
MashupRecording
)
(
instance
?M
Recording
))
(
exists
(?M1 ?M2 ?S1 ?S2)
(
and
(
musicInterpretation
?M1 ?S1)
(
musicInterpretation
?M2 ?S2)
(
not
(
equal
?S1 ?S2))
(
part
?M1 ?M)
(
part
?M2 ?M))))
Music.kif 426-436
MashupRecording
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Recording
の
instance
では %n
オブジェクト
1
オブジェクト
2,
音楽
and
音楽
musicInterpretation
オブジェクト
1 and
音楽
musicInterpretation
オブジェクト
2 and
音楽
音楽
は
音楽
と
equal
では
オブジェクト
1 は
オブジェクト
の
part
では %n
オブジェクト
2 は
オブジェクト
の
part
では %n
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
CoverRecording
は
MusicRecording
の
attribute
では %n
MusicRecording
は
MusicRecording
の
instance
では %n
songArtist
MusicRecording
and
認識エージェント
musicInterpretation
MusicRecording
and
音楽
record
MusicRecording
and
音楽
M
MusicRecording
認識エージェント
RTIST and
音楽
USIC
musicInterpretation
MusicRecording
and
音楽
songArtist
MusicRecording
and
認識エージェント
RTIST
認識エージェント
は
認識エージェント
RTIST と
equal
では
record
MusicRecording
and
音楽
USIC
音楽
USIC の
time
の existence は
音楽
M の
time
の existence の
before
に happens %n{ない}
(=>
(
and
(
attribute
?SYLLABLE
Stressed
)
(
instance
?WORD
Word
)
(
part
?SYLLABLE ?WORD))
(
not
(
exists
(?SYLLABLE2)
(
and
(
instance
?SYLLABLE2
Syllable
)
(
part
?SYLLABLE2 ?WORD)
(
attribute
?SYLLABLE2
Stressed
)
(
not
(
equal
?SYLLABLE2 ?SYLLABLE))))))
Mid-level-ontology.kif 19443-19453
Stressed
は
オブジェクト
の
attribute
では %n
オブジェクト
は
単語
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
2
オブジェクト
2 は
Syllable
の
instance
では %n
オブジェクト
2 は
オブジェクト
の
part
では %n
Stressed
は
オブジェクト
2 の
attribute
では %n
オブジェクト
2 は
オブジェクト
と
equal
では
(=>
(
and
(
attribute
?U
Uninhabited
)
(
instance
?U
Region
))
(
not
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?U)))))
Mid-level-ontology.kif 30104-30112
Uninhabited
は
オブジェクト
の
attribute
では %n
オブジェクト
は
地域
の
instance
では %n
物
物
は
人[人間]
の
instance
では %n
物
は
オブジェクト
に
live
s %n{ない}
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
CommunalAttribute
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Table
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
GroupOfPeople
の
instance
では %n
eventLocated
工程
and
オブジェクト
ステートメント
エンティティー
エンティティー
and
オブジェクト
2
エンティティー
は
摂食
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
AutonomousAgent
は
エンティティー
と
equal
では
エンティティー
は
GroupOfPeople
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
2
工程
の
time
の existence は
エンティティー
の
time
の existence に
meet
s %n{ない}
オブジェクト
は
オブジェクト
2 と
equal
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Product
))
(
not
(
exists
(?DUTY)
(
and
(
instance
?DUTY
DutyTax
)
(
patient
?DUTY ?X)))))
Hotel.kif 1466-1474
DutyFree
は
オブジェクト
の
attribute
では %n
オブジェクト
は
製品
の
instance
では %n
工程
工程
は
DutyTax
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
(=>
(
and
(
attribute
?X
Multilingual
)
(
instance
?SPEAK
Speaking
)
(
agent
?SPEAK ?X))
(
modalAttribute
(
exists
(?LANG1 ?LANG2)
(
and
(
instance
?LANG1
SpokenHumanLanguage
)
(
instance
?LANG2
SpokenHumanLanguage
)
(
not
(
equal
?LANG1 ?LANG2))
(
or
(
patient
?SPEAK ?LANG1)
(
patient
?SPEAK ?LANG2))))
Possibility
))
Mid-level-ontology.kif 25748-25761
Multilingual
は
AutonomousAgent
の
attribute
では %n
工程
は
Speaking
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
SpokenHumanLanguage
の
instance
では %n
エンティティー
は
SpokenHumanLanguage
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
attribute
?X
Suite
)
(
instance
?X
HotelUnit
))
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
HotelRoom
)
(
instance
?R2
HotelRoom
)
(
orientation
?R1 ?X
Inside
)
(
orientation
?R2 ?X
Inside
)
(
not
(
equal
?R1 ?R2)))))
Hotel.kif 1003-1014
Suite
は
オブジェクト
の
attribute
では %n
オブジェクト
は
HotelUnit
の
instance
では %n
オブジェクト
オブジェクト
オブジェクト
は
HotelRoom
の
instance
では %n
オブジェクト
は
HotelRoom
の
instance
では %n
オブジェクト
は
Inside
対
オブジェクト
では %n
オブジェクト
は
Inside
対
オブジェクト
では %n
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
時間間隔
and
整数
時間間隔
は
分
の
instance
では %n
整数
整数
は
レクリエーションまたは運動
の
instance
では %n
AutonomousAgent
は
整数
の
agent
では %n
時間間隔
は
整数
の
time
の existence の
during
に takes %n{ない}
HumanAdult
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
整数
は 16 より
greater
では %n
整数
は 12 より
less
では %n
Healthy
は
AutonomousAgent
の
attribute
では は
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
commemoratesDate
Holiday
and
正の整数
day
目
時間間隔
は
Holiday
の
instance
では %n
時間間隔
は
整数
year
目 の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happen ない
(=>
(
and
(
connectedBodyPartTypes
?P1 ?P2 ?O)
(
instance
?OC ?O)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?PC1 ?PC2)
(
and
(
instance
?PC1 ?P1)
(
instance
?PC2 ?P2)
(
not
(
equal
?PC1 ?PC2))
(
part
?PC1 ?OC)
(
part
?PC2 ?OC)
(
connected
?PC1 ?PC2))))
Anatomy.kif 32-46
connectedBodyPartTypes
体の部分
,
体の部分
and
物
物
C は
物
の
instance
では %n
病気または症候群
は
オブジェクト
の
attribute
では
オブジェクト
オブジェクト
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
物
C の
part
では %n
オブジェクト
は
物
C の
part
では %n
オブジェクト
は
オブジェクト
と
connected
して
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
@ROW は の
disjoint
では %n
属性
は (@ROW) の
エンティティー
element
と
equal
では %n
属性
は (@ROW) の
エンティティー
element
と
equal
では %n
正の整数
は
正の整数
と
equal
では
エンティティー
には
attribute
属性
%n{ない}
エンティティー
には
attribute
属性
ない
(=>
(
and
(
defenseLawyer
?P ?A)
(
defendant
?P ?D))
(
desires
?A
(
not
(
exists
(?L)
(
and
(
instance
?L
LegalDecision
)
(
refers
?L ?P)
(
not
(
wants
?D ?L)))))))
Law.kif 295-306
defenseLawyer
訴訟
and
認識エージェント
defendant
訴訟
and
認識エージェント
認識エージェント
が
エンティティー
エンティティー
は
LegalDecision
の
instance
では %n
エンティティー
は
訴訟
への
reference
を includes %n{ない}
認識エージェント
は
エンティティー
を
want
ない を
desire
s %n{ない}
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
オブジェクト
は
組織
の
belongings
の
element
%n
AnnexRoom
は
オブジェクト
の
attribute
では %n
オブジェクト
は
HotelRoom
の
instance
では %n
オブジェクト
オブジェクト
and
組織
組織
は組織
組織
の一部では %n
組織
は
HotelFrontDesk
の
instance
では %n
組織
は
オブジェクト
に
located
して %n
オブジェクト
は
組織
の
belongings
の
element
%n
オブジェクト
は
組織
の
belongings
の
element
%n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
@ROW の
Greatest
公約数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
整数
は
整数
より
greater
では %n
整数
整数
は (@ROW) の
member
では %n
整数
を
整数
で割った剰余数 は 0 と
equal
では %n
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
@ROW の
Least
公倍数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
整数
は
整数
より
less
では %n
整数
整数
は (@ROW) の
member
では %n
整数
を
整数
で割った剰余数 は 0 と
equal
では %n
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))
Media.kif 2093-2103
exactCardinality
関係
,
正の整数
and 1
関係
は
述語
の
instance
では %n
関係
@ARGS
エンティティー
は (@ARGS) の
正の整数
th
element
と
equal
では %n
エンティティー
エンティティー
は (@ARGS) の
正の整数
th
element
と
equal
では %n
エンティティー
は
エンティティー
と
equal
では
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