property
(=>
(
and
(
instance
?Y
NitricOxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7553-7559
エンティティー
は
NitricOxide
の
instance
では
エンティティー
には
attribute
StandardAmbientTemperaturePressure
は
時間位置
の
during
holds
Gas
は
エンティティー
の
attribute
では は
時間位置
の
during
holds
(=>
(
and
(
instance
?Y
NitrogenDioxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7578-7584
エンティティー
は
NitrogenDioxide
の
instance
では
エンティティー
には
attribute
StandardAmbientTemperaturePressure
は
時間位置
の
during
holds
Gas
は
エンティティー
の
attribute
では は
時間位置
の
during
holds
(=>
(
and
(
instance
?Y
SulphurDioxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7518-7524
エンティティー
は
SulphurDioxide
の
instance
では
エンティティー
には
attribute
StandardAmbientTemperaturePressure
は
時間位置
の
during
holds
Gas
は
エンティティー
の
attribute
では は
時間位置
の
during
holds
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 15520-15534
Agreement
には
attribute
Contract
partyToAgreement
認識エージェント
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
工程
は
意図的なプロセス
の
instance
では
認識エージェント
は
工程
の
agent
では
工程
は
命題
の内容を
express
es
consistent
命題
and
Agreement
ステートメント
エンティティー
エンティティー
は
訴訟
の
instance
では
plaintiff
エンティティー
and
認識エージェント
defendant
エンティティー
and
認識エージェント
には
Possibility
の
modal
force
が ある
(=>
(
and
(
property
?ITEM ?VALUE)
(
instance
?VALUE
TruthValue
))
(
or
(
instance
?ITEM
Sentence
)
(
instance
?ITEM
Proposition
)))
Merge.kif 17148-17154
エンティティー
には
attribute
属性
属性
は
真理値
の
instance
では
エンティティー
は
文
の
instance
では
エンティティー
は
命題
の
instance
では
(=>
(
and
(
property
?OBJ ?SHAPE)
(
instance
?OBJ
Physical
)
(
instance
?SHAPE
ShapeAttribute
))
(
shape
?OBJ ?SHAPE))
Merge.kif 7675-7680
物理
には
attribute
形状属性
物理
は
物理
の
instance
では
形状属性
は
形状属性
の
instance
では
shape
物理
and
形状属性
(=>
(
and
(
property
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
AlgebroDifferentialAttribute
))
(
instance
?OBJECT
SetOfEquations
))
engineering.kif 229-233
エンティティー
には
attribute
属性
属性
は
AlgebroDifferentialAttribute
の
instance
では
エンティティー
は
SetOfEquations
の
instance
では
(=>
(
and
(
property
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
EquationAttribute
))
(
or
(
instance
?OBJECT
Equation
)
(
instance
?OBJECT
SetOfEquations
)))
engineering.kif 210-216
エンティティー
には
attribute
属性
属性
は
EquationAttribute
の
instance
では
エンティティー
は
Equation
の
instance
では
エンティティー
は
SetOfEquations
の
instance
では
(=>
(
and
(
property
?Option
AmericanStyleOption
)
(
optionHolder
?Option ?Agent)
(
agreementExpirationDate
?Option ?Day))
(
holdsRight
(
exists
(?Exercise)
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
before
(
EndFn
(
WhenFn
?Exercise))
(
EndFn
?Day)))) ?Agent))
FinancialOntology.kif 2805-2817
Agreement
には
attribute
AmericanStyleOption
optionHolder
Agreement
and
認識エージェント
agreementExpirationDate
Agreement
and
時点
認識エージェント
は
エンティティー
エンティティー
は
ExerciseAnOption
の
instance
では
Agreement
は
エンティティー
の
patient
では
エンティティー
の
time
の existence の
end
は
時点
の
end
の
before
に happens を 実行する
right
を 持って
(=>
(
and
(
property
?Option
EuropeanStyleOption
)
(
agreementExpirationDate
?Option ?Date))
(
exists
(?Period ?Time ?Exercise)
(
and
(
instance
?Period
TimeInterval
)
(
equal
(
EndFn
?Period) ?Date)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
equal
(
WhenFn
?Exercise) ?Time))
(
temporalPart
?Time ?Period)))))
FinancialOntology.kif 2825-2837
Agreement
には
attribute
EuropeanStyleOption
agreementExpirationDate
Agreement
and
時点
時間間隔
時間間隔
and
物理
時間間隔
は
時間間隔
の
instance
では
equal
時間間隔
の
end
and
時点
物理
は
ExerciseAnOption
の
instance
では
equal
物理
の
time
の existence and
時間間隔
時間間隔
は
時間間隔
の
part
では
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2686-2702
Agreement
には
attribute
Option
optionHolder
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens
underlier
Agreement
and
FinancialInstrument
認識エージェント
は
エンティティー
class
を 実行する
right
を 持って
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsRight
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2640-2656
Agreement
には
attribute
Option
optionHolder
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens
認識エージェント
は
エンティティー
class
を 実行する
right
を 持って
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2704-2720
Agreement
には
attribute
Option
optionSeller
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens
underlier
Agreement
and
FinancialInstrument
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2658-2676
Agreement
には
attribute
Option
optionSeller
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2729-2733
Agreement
には
attribute
StockOption
underlier
Agreement
and
FinancialInstrument
FinancialInstrument
には
attribute
CommonStock
(=>
(
and
(
property
?THING ?ATTR)
(
instance
?ATTR
ContestAttribute
))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
or
(
agent
?CONTEST ?THING)
(
patient
?CONTEST ?THING)
(
subProcess
?THING ?CONTEST)))))
Merge.kif 17567-17577
AutonomousAgent
には
attribute
属性
属性
は
コンテスト属性
の
instance
では
工程
工程
は
コンテスト
の
instance
では
AutonomousAgent
は
工程
の
agent
では
AutonomousAgent
は
工程
の
patient
では
AutonomousAgent
は
工程
% の
subprocess
では
(=>
(
and
(
property
?THING ?ATTR)
(
instance
?ATTR
GameAttribute
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Game
)
(
or
(
agent
?GAME ?THING)
(
patient
?GAME ?THING)
(
subProcess
?THING ?GAME)))))
Mid-level-ontology.kif 21070-21080
AutonomousAgent
には
attribute
属性
属性
は
GameAttribute
の
instance
では
工程
工程
は
ゲーム
の
instance
では
AutonomousAgent
は
工程
の
agent
では
AutonomousAgent
は
工程
の
patient
では
AutonomousAgent
は
工程
% の
subprocess
では
(=>
(
and
(
property
?THING ?ATTR)
(
instance
?ATTR
SportsAttribute
))
(
exists
(?SPORT)
(
and
(
instance
?SPORT
Game
)
(
or
(
agent
?SPORT ?THING)
(
patient
?SPORT ?THING)
(
subProcess
?THING ?SPORT)))))
Mid-level-ontology.kif 21086-21096
AutonomousAgent
には
attribute
属性
属性
は
SportsAttribute
の
instance
では
工程
工程
は
ゲーム
の
instance
では
AutonomousAgent
は
工程
の
agent
では
AutonomousAgent
は
工程
の
patient
では
AutonomousAgent
は
工程
% の
subprocess
では
(=>
(
and
(
property
?X
Booting
)
(
instance
?X
Computer
))
(
exists
(?CD ?OS ?DT)
(
and
(
instance
?CD
DigitalData
)
(
instance
?OS
OperatingSystem
)
(
instance
?DT
DataTransfer
)
(
during
(
WhenFn
?DT)
(
WhenFn
?X))
(
destination
?DT ?X)
(
part
?CD ?OS)
(
objectTransferred
?DT ?CD))))
ComputingBrands.kif 3213-3225
物理
には
attribute
起動
物理
は
Computer
の
instance
では
オブジェクト
オブジェクト
and
移動
オブジェクト
は
DigitalData
の
instance
では
オブジェクト
は
OperatingSystem
の
instance
では
移動
は
DataTransfer
の
instance
では
移動
の
time
の existence は
物理
の
time
の existence の
during
に takes
移動
は
物理
に
end
s
オブジェクト
は
オブジェクト
の
part
では
objectTransferred
移動
and
オブジェクト
(=>
(
property
?A
CompilationAlbum
)
(
exists
(?A1 ?A2)
(
and
(
albumArtist
?A ?A1)
(
albumArtist
?A ?A2)
(
not
(
equal
?A1 ?A2)))))
Music.kif 492-499
Album
には
attribute
CompilationAlbum
Album
1
Album
2
albumArtist
Album
and
Album
1
albumArtist
Album
and
Album
2
equal
Album
1 and
Album
2
(=>
(
property
?AGREEMENT
ActiveAgreement
)
(
instance
?AGREEMENT
Agreement
))
Mid-level-ontology.kif 15484-15486
エンティティー
には
attribute
ActiveAgreement
エンティティー
は
Agreement
の
instance
では
(=>
(
property
?AGREEMENT
ActiveAgreement
)
(
modalAttribute
(
exists
(?PROC)
(
realization
?PROC ?AGREEMENT))
Obligation
))
Mid-level-ontology.kif 15488-15492
エンティティー
には
attribute
ActiveAgreement
ステートメント
エンティティー
エンティティー
は
エンティティー
の内容を
express
es には
Obligation
の
modal
force
が ある
(=>
(
property
?AGREEMENT
Contract
)
(
forall
(?X)
(=>
(
subProposition
?X ?AGREEMENT)
(
modalAttribute
?X
Legal
))))
Mid-level-ontology.kif 15513-15518
命題
には
attribute
Contract
公式
公式
は
命題
の
sub
-proposition では
ステートメント
公式
には
Legal
の
modal
force
が ある
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 15541-15547
Agreement
には
attribute
MarriageContract
人[人間]
人[人間]
partyToAgreement
人[人間]
and
Agreement
partyToAgreement
人[人間]
and
Agreement
spouse
人[人間]
and
人[人間]
(=>
(
property
?C
PurchaseContract
)
(
exists
(?S ?SELLER ?BUYER)
(
and
(
instance
?S
Selling
)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
realization
?S ?C)
(
partyToAgreement
?C ?SELLER)
(
partyToAgreement
?C ?BUYER))))
Mid-level-ontology.kif 15554-15563
命題
には
attribute
PurchaseContract
工程
工程
ELLER and
Agreement
工程
は
販売
の
instance
では
工程
ELLER は
工程
の
agent
では
工程
は
Agreement
に
end
s
工程
は
命題
の内容を
express
es
partyToAgreement
命題
and
工程
ELLER
partyToAgreement
命題
and
Agreement
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