TimeInterval
(時間間隔)
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
UpperMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 9267.0))))
Economy.kif 490-497
時間間隔
は
時間間隔
の
instance
では %n
economyType
地政学的地域
and
UpperMiddleIncomeCountry
は
時間間隔
の
during
holds %n{ない}
実数
perCapitaGDPInPeriod
地政学的地域
,
実数
の
UnitedStatesDollar
(s) and
時間間隔
実数
は 9267.0 より
less
では %n
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
offersAtTime
AutonomousAgent
,
Catalog
and
時間間隔
catalogItem
エンティティー
and
Catalog
エンティティー
は
オブジェクト
の
subclass
では %n
工程
は
工程
の
instance
では %n
工程
は
工程
の
subclass
では %n
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
subclass
では %n
capabilityDuring
工程
,
agent
,
AutonomousAgent
and
時間間隔
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?CLASS
agent
?AGENT ?TIME))
Catalog.kif 130-137
offersAtTime
AutonomousAgent
,
Catalog
and
時間間隔
catalogItem
エンティティー
and
Catalog
エンティティー
は
工程
の
subclass
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
subclass
では %n
capabilityDuring
エンティティー
,
agent
,
AutonomousAgent
and
時間間隔
(=>
(
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 2669-2685
Agreement
には
attribute
Option
%n{ない}
optionHolder
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
underlier
Agreement
and
FinancialInstrument
認識エージェント
は
エンティティー
class
を 実行する
right
を 持って %n{ない}
(=>
(
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 2623-2639
Agreement
には
attribute
Option
%n{ない}
optionHolder
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
認識エージェント
は
エンティティー
class
を 実行する
right
を 持って %n{ない}
(=>
(
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 2687-2703
Agreement
には
attribute
Option
%n{ない}
optionSeller
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
underlier
Agreement
and
FinancialInstrument
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
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 2641-2659
Agreement
には
attribute
Option
%n{ない}
optionSeller
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
instance
?INTERVAL
TimeInterval
)
(
before
(
BeginFn
?INTERVAL)
(
EndFn
?INTERVAL)))
Merge.kif 8132-8134
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
beginning
は
時間間隔
の
end
の
before
に happens %n{ない}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
FutureFn
?INTERVAL)
(
TimeIntervalFn
(
EndFn
?INTERVAL)
PositiveInfinity
)))
Merge.kif 8521-8523
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
after
は
時間間隔
の
end
と
PositiveInfinity
の
interval
と
equal
では %n
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
PastFn
?INTERVAL)
(
TimeIntervalFn
NegativeInfinity
(
BeginFn
?INTERVAL))))
Merge.kif 8490-8492
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
before
は
NegativeInfinity
と
時間間隔
の
beginning
の
interval
と
equal
では %n
(=>
(
instance
?INTERVAL
TimeInterval
)
(
exists
(?POINT)
(
and
(
instance
?POINT
TimePoint
)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 7947-7952
時間位置
は
時間間隔
の
instance
では %n
時間位置
時間位置
は
時点
の
instance
では %n
時間位置
は
時間位置
の
part
では %n
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8504-8506
時間位置
は
時間間隔
の
instance
では %n
時間位置
の immediately
before
は
時間位置
の
before
を
finish
es %n{ない}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
(
PastFn
?INTERVAL) ?INTERVAL))
Merge.kif 8486-8488
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
before
は
時間間隔
に
meet
s %n{ない}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8517-8519
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
after
に
meet
s %n{ない}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
時間位置
は
時間間隔
の
instance
では %n
時間位置
の すぐ
after
は
時間位置
の
after
を
start
s %n{ない}
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