equal
(<=>
(
stringConcatenation
?S1 ?S2 ?S3)
(
equal
?S3
(
StringConcatenateFn
?S1 ?S2)))
Mid-level-ontology.kif 24496-24498
stringConcatenation
記号文字列
,
記号文字列
and
記号文字列
記号文字列
は
StringConcatenateFn
記号文字列
and
記号文字列
と
equal
では %n
(<=>
(
stringLength
?INT ?STRING)
(
equal
?INT
(
StringLengthFn
?STRING)))
Mid-level-ontology.kif 24466-24468
stringLength
非負整数
and
記号文字列
非負整数
は
StringLengthFn
記号文字列
と
equal
では %n
(=>
(<=>
(
element
?ELEMENT ?SET1)
(
element
?ELEMENT ?SET2))
(
equal
?SET1 ?SET2))
Merge.kif 5421-5425
エンティティー
は
セット
の
element
%n
エンティティー
は
セット
の
element
%n
セット
は
セット
と
equal
では %n
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
amount
物質
,
微粒子オブジェクト
and
実数
の
UnitOfMass
(s)
物質
I は
物質
の
instance
では %n
物質
I の
measure
は
実数
2 の
UnitOfMass
(s) では %n
物質
I は
微粒子オブジェクト
の
part
では %n
リスト
実数
2 の
UnitOfMass
(s) は
リスト
の
member
では %n
リスト
は
AmountsFn
物質
,
微粒子オブジェクト
and
UnitOfMass
と
equal
では %n
実数
は
ListSumFn
リスト
と
equal
では %n
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31387-31394
applicableRelation
オブジェクト
and
関係
オブジェクト
は
オブジェクト
C の
instance
では %n
関係
の数値 1 引数は
クラス
の
instance
では %n
オブジェクト
C は
クラス
と
equal
では %n
オブジェクト
C は
クラス
の
subclass
では %n
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17948-17959
approximateDiameter
自己接続オブジェクト
and
実数
の
実数
M(s)
sphereRadius
オブジェクト
and
実数
+ 2.0 の
実数
M(s)
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
自己接続オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
実数
M は
UnitOfLength
の
instance
では %n
測定単位
は
UnitOfVolume
の
instance
では %n
実数
は
実数
と
equal
では %n
(=>
(
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
?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
?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
?M
RemixRecording
)
(
instance
?M
MusicRecording
))
(
exists
(?O ?A)
(
equal
?M
(
RemixFn
?O ?A))))
Music.kif 444-449
RemixRecording
は
MusicRecording
の
attribute
では %n
MusicRecording
は
MusicRecording
の
instance
では %n
MusicRecording
認識エージェント
MusicRecording
は
RemixFn
MusicRecording
and
認識エージェント
と
equal
では %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
?ORG
UnicameralLegislature
)
(
legislativeBranch
?ORG ?AREA)
(
instance
?CHAMBER1
LegislativeChamber
)
(
subOrganization
?CHAMBER1
(
GovernmentFn
?AREA))
(
instance
?CHAMBER2
LegislativeChamber
)
(
subOrganization
?CHAMBER2
(
GovernmentFn
?AREA)))
(
equal
?CHAMBER1 ?CHAMBER2))
Government.kif 1977-1985
UnicameralLegislature
は
組織
の
attribute
では %n
legislativeBranch
組織
and
地政学的地域
組織
は
LegislativeChamber
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
組織
は
LegislativeChamber
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
組織
は
組織
と
equal
では %n
(=>
(
and
(
attribute
?Order
FOKOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2881-2897
FOKOrder
は
Agreement
の
attribute
では %n
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
and
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2917-2933
GTCOrder
は
Agreement
の
attribute
では %n
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
と
overlap
s %n{dない}
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
finish
es %n{ない}
(=>
(
and
(
attribute
?Order
IOCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2854-2870
IOCOrder
は
Agreement
の
attribute
では %n
agreementPeriod
Agreement
and
時間間隔
工程
時間間隔
工程
は
FillingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
工程
時間間隔
工程
は
CancellingAnOrder
の
instance
では %n
Agreement
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
LimitOrder
は
金融取引
の
attribute
では %n
partyToAgreement
金融取引
and
Agreement
Broker
は
Agreement
の
attribute
では %n
orderFor
金融取引
,
購買
and
Security
Security
の
measure
は
物理量
では %n
limitPrice
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
askPrice
Security
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
less
または同等 では %n
Agreement
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
LimitOrder
は
金融取引
の
attribute
では %n
partyToAgreement
金融取引
and
Agreement
Broker
は
Agreement
の
attribute
では %n
orderFor
金融取引
,
販売
and
Security
Security
の
measure
は
物理量
では %n
limitPrice
金融取引
and
実数
の
測定単位
(s)
bidPrice
Security
,
実数
の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
実数
は
実数
greater
では %n
Agreement
はタイプ
エンティティー
class
のタスクを実行する
obliged
%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
?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
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
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
birthdate
人[人間]
and
日
日
は
正の整数
day
目 の
instance
では %n
日
整数
birthday
人[人間]
and
日
日
は
日
の
subclass
では %n
整数
は
整数
の
instance
では %n
日
は
正の整数
day
目 と
equal
では %n
整数
は
整数
より
greater
では %n
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 829-836
chromosomeSetCount
MonoploidChromosomeSet
,
コレクション
and
整数
MonoploidChromosomeSet
は
コレクション
の 適切な
sub
-collection では %n
整数
は
整数
で記述される
class
の
instances
の数 と
equal
では %n
(=>
(
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
して
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