attribute
(=>
(
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
?O ?P)
(
instance
?P
Fingerprint
)
(
not
(
instance
?O
Finger
)))
(
exists
(?PR ?F)
(
and
(
instrument
?PR ?F)
(
instance
?F
Finger
)
(
attribute
?F ?P)
(
patient
?PR ?O))))
Mid-level-ontology.kif 12537-12547
属性
は
オブジェクト
の
attribute
では %n
属性
は
Fingerprint
の
instance
では %n
オブジェクト
は
Finger
の
instance
では
属性
R
オブジェクト
オブジェクト
は
属性
R の
instrument
では %n
オブジェクト
は
Finger
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
オブジェクト
は
属性
R の
patient
では %n
(=>
(
and
(
attribute
?O
Concave
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Outside
))
ComputingBrands.kif 2693-2704
凹
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
オブジェクト
間のライン と
equal
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Outside
対
自己接続オブジェクト
では %n
(=>
(
and
(
attribute
?O
Convex
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Inside
))
ComputingBrands.kif 2665-2676
凸
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
オブジェクト
間のライン と
equal
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Inside
対
自己接続オブジェクト
では %n
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
result
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17332-17345
属性
は
オブジェクト
の
attribute
では %n
属性
は
主観評価属性
の
instance
では %n
時間位置
工程
and
AutonomousAgent
工程
は
Judging
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
属性
は
オブジェクト
の
attribute
では %n は
工程
の
result
では %n
AutonomousAgent
は
オブジェクト
には
attribute
属性
%n{ない} を
believe
s %n{ない} は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
attribute
?OBJ ?ATTR)
(
instance
?ATTR
FoodAttribute
))
(
instance
?OBJ
PreparedFood
))
Dining.kif 1130-1134
属性
は
オブジェクト
の
attribute
では %n
属性
は
FoodAttribute
の
instance
では %n
オブジェクト
は
PreparedFood
の
instance
では %n
(=>
(
and
(
attribute
?OBJ ?SPHERE)
(
instance
?SPHERE
Sphere
))
(
exists
(?CENTER ?DIST)
(
forall
(?PT)
(=>
(
pointOfFigure
?PT ?OBJ)
(
geometricDistance
?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4990-4998
属性
は
オブジェクト
の
attribute
では %n
属性
は
Sphere
の
instance
では %n
GeometricPoint
長さ測定
GeometricPoint
GeometricPoint
の
vertex
は
オブジェクト
では %n
geometricDistance
GeometricPoint
,
GeometricPoint
and
長さ測定
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17688-17697
Monochromatic
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
の
superficial
部分では %n
属性
は
オブジェクト
の
attribute
では %n
属性
は
原色
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
属性
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
attribute
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
Brushless
))
(
instance
?OBJECT
ElectricalMotor
))
engineering.kif 716-720
属性
は
オブジェクト
の
attribute
では %n
属性
は
Brushless
の
instance
では %n
オブジェクト
は
ElectricalMotor
の
instance
では %n
(=>
(
and
(
attribute
?OFFICER ?COR)
(
instance
?COR
CommissionedOfficerRank
))
(
exists
(?MANAGE ?PATIENT)
(
and
(
instance
?MANAGE
Managing
)
(
agent
?MANAGE ?OFFICER)
(
patient
?MANAGE ?PATIENT)
(
or
(
instance
?PATIENT
MilitaryOrganization
)
(
attribute
?PATIENT
Soldier
)))))
Military.kif 286-297
属性
は
AutonomousAgent
の
attribute
では %n
属性
は
CommissionedOfficerRank
の
instance
では %n
工程
オブジェクト
工程
は
管理
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
MilitaryOrganization
の
instance
では %n
Soldier
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
attribute
?ORG ?ATT)
(
instance
?ATT
BiologicalAttribute
))
(
instance
?ORG
OrganicObject
))
Merge.kif 18036-18040
属性
は
オブジェクト
の
attribute
では %n
属性
は
生物学的属性
の
instance
では %n
オブジェクト
は
有機物
の
instance
では %n
(=>
(
and
(
attribute
?ORG ?ATT)
(
instance
?ATT
DeepSeaCoastalAndGreatLakesWaterTransportation
))
(
instance
?ORG
TransportationCompany
))
naics.kif 8114-8118
属性
は
オブジェクト
の
attribute
では %n
属性
は
DeepSeaCoastalAndGreatLakesWaterTransportation
の
instance
では %n
オブジェクト
は
TransportationCompany
の
instance
では %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
?Order
MarketOrder
)
(
attribute
?Broker
Broker
)
(
partyToAgreement
?Order ?Broker)
(
orderFor
?Order ?TransactionType ?Shares))
(
holdsObligation
(
KappaFn
?Transaction
(
and
(
instance
?Transaction ?TransactionType)
(
patient
?Transaction ?Shares))) ?Broker))
FinancialOntology.kif 1981-1990
MarketOrder
は
金融取引
の
attribute
では %n
Broker
は
Agreement
の
attribute
では %n
partyToAgreement
金融取引
and
Agreement
orderFor
金融取引
,
金融取引
and
Security
Agreement
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
attribute
?P ?R)
(
instance
?R
MilitaryRank
))
(
member
?P
MilitaryService
))
Military.kif 249-253
属性
は
オブジェクト
の
attribute
では %n
属性
は
MilitaryRank
の
instance
では %n
オブジェクト
は
MilitaryService
の
member
では %n
(=>
(
and
(
attribute
?P
CollegeFreshman
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
lessThan
?T 1))))
Mid-level-ontology.kif 18728-18737
CollegeFreshman
は
ポジション
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
実数
student
人[人間]
and
組織
は
実数
の
YearDuration
(s) の
during
holds %n{ない}
実数
は 1 より
less
では %n
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 2)
(
lessThan
?T 3))))
Mid-level-ontology.kif 18743-18753
CollegeJunior
は
ポジション
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
実数
student
人[人間]
and
組織
は
実数
の
YearDuration
(s) の
during
holds %n{ない}
実数
は 2
greater
では %n
実数
は 3 より
less
では %n
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 3)
(
lessThan
?T 4))))
Mid-level-ontology.kif 18759-18769
CollegeSenior
は
ポジション
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
実数
student
人[人間]
and
組織
は
実数
の
YearDuration
(s) の
during
holds %n{ない}
実数
は 3
greater
では %n
実数
は 4 より
less
では %n
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 1)
(
lessThan
?T 2))))
Mid-level-ontology.kif 18775-18785
CollegeSophomore
は
ポジション
の
attribute
では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
実数
student
人[人間]
and
組織
は
実数
の
YearDuration
(s) の
during
holds %n{ない}
実数
は 1
greater
では %n
実数
は 2 より
less
では %n
(=>
(
and
(
attribute
?P
Muslim
)
(
capability
Hajj
agent
?P))
(
modalAttribute
(
exists
(?H)
(
and
(
instance
?H
Hajj
)
(
agent
?H ?P)))
Obligation
))
ArabicCulture.kif 134-143
Muslim
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Hajj
を
agent
として行う
capable
では %n
ステートメント
エンティティー
エンティティー
は
Hajj
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n には
Obligation
の
modal
force
が ある
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