BeginFn
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
時間間隔
は
時間間隔
_CLASS の
instance
では %n
時間間隔
_CLASS は
工程
の
subclass
では %n
AccessingWebPage
は
AccessingWebPage
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
AutonomousAgent
は
AccessingWebPage
の
agent
では %n
時間間隔
は
AccessingWebPage
の
during
に takes %n{ない}
物理
は
時間間隔
の
instance
では %n
時間間隔
2
時間間隔
2 は
時間間隔
_CLASS の
instance
では %n
AutonomousAgent
は
時間間隔
2 の
agent
では %n
時間間隔
2 は
AccessingWebPage
の
during
に takes %n{ない}
時間間隔
2 の
time
の existence の
beginning
は
時間間隔
の
time
の existence の
beginning
の
before
に happens %n{ない}
AccessingWebPage
の
time
の existence の
beginning
は
物理
の
time
の existence の
beginning
と
equal
では %n
時間間隔
の
time
の existence の
beginning
は
物理
の
time
の existence の
end
と
equal
では %n
TTFxFn
時間間隔
_CLASS and
AccessingWebPage
は
物理
と
equal
では %n
(=>
(
and
(
instance
?R
ChemicalReduction
)
(
patient
?R ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
electronNumber
?S ?L)))
(
exists
(?G)
(
and
(
greaterThan
?G ?L)
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
electronNumber
?S ?G)))))
Mid-level-ontology.kif 19565-19577
工程
は
ChemicalReduction
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
electronNumber
エンティティー
and
実数
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
実数
実数
は
実数
より
greater
では %n
electronNumber
エンティティー
and
実数
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?REVERSE
Reversing
)
(
patient
?REVERSE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?REVERSE))
(
and
(
top
?TOP ?OBJ)
(
bottom
?BOTTOM ?OBJ))))
(
holdsDuring
(
EndFn
(
WhenFn
?REVERSE))
(
and
(
top
?BOTTOM ?OBJ)
(
bottom
?TOP ?OBJ))))
Mid-level-ontology.kif 17517-17522
工程
は
Reversing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
top
は
エンティティー
では
エンティティー
の
bottom
は
エンティティー
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
の
top
は
エンティティー
では
エンティティー
の
bottom
は
エンティティー
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?TI
TimeInterval
)
(
equal
?S
(
BeginFn
?TI))
(
equal
?E
(
EndFn
?TI)))
(
before
?S ?E))
Merge.kif 8262-8267
時間間隔
は
時間間隔
の
instance
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
時点
は
時間間隔
の
end
と
equal
では %n
時点
は
時点
の
before
に happens %n{ない}
(=>
(
and
(
instance
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8269-8279
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
beginning
は
時間間隔
の
beginning
でもその前でも happens %n{ない}
時間間隔
の
beginning
は
時間間隔
の
end
の
before
に happens %n{ない}
時間間隔
は
時間間隔
と
overlap
s %n{dない}
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
?T1
(
BeginFn
?Y1))
(
equal
?T2
(
BeginFn
?Y2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8690-8697
時間間隔
は
整数
year
目 の
instance
では %n
時間間隔
は
整数
year
目 の
instance
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
整数
は
整数
より
greater
では %n
時点
は
時点
の
before
に happens %n{ない}
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
筋肉
and
体の部分
オブジェクト
は
人[人間]
の
instance
では %n
StandardAnatomicalPosition
は
オブジェクト
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Healthy
は
オブジェクト
の
attribute
では %n
時間間隔
は
MuscularContraction
の
instance
では %n
時間間隔
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
時間間隔
の
instrument
では %n
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
に
located
して は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
筋肉
and
体の部分
オブジェクト
は
人[人間]
の
instance
では %n
StandardAnatomicalPosition
は
オブジェクト
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Healthy
は
オブジェクト
の
attribute
では %n
時間間隔
は
MuscularContraction
の
instance
では %n
時間間隔
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
時間間隔
の
instrument
では %n
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
and
(
patient
?PROCESS ?PATIENT)
(
time
?PATIENT
(
EndFn
(
WhenFn
?PROCESS)))
(
not
(
time
?PATIENT
(
BeginFn
(
WhenFn
?PROCESS)))))
(
instance
?PROCESS
Creation
))
Merge.kif 12804-12810
物理
は
工程
の
patient
では %n
物理
は
工程
の
time
の existence の
end
の
during
exists %n{ない}
物理
は
工程
の
time
の existence の
beginning
の
during
exist ない
工程
は
創造
の
instance
では %n
(=>
(
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
(=>
(
and
(
resource
?PROC ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT2)))
(
greaterThan
?QUANT1 ?QUANT2))
Merge.kif 8025-8030
オブジェクト
は
工程
の
resource
では %n
オブジェクト
の
measure
は
実数
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
オブジェクト
の
measure
は
実数
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
instance
?Account
FinancialAccount
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
amountDue
?Account ?Amount ?DueDate)
(
before
(
EndFn
?Date)
(
BeginFn
?DueDate)))
(
instance
?Payment
Prepayment
))
FinancialOntology.kif 834-842
transactionAmount
金融取引
and
通貨測定
金融取引
の
date
は
日
では
FinancialAccount
は
FinancialAccount
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
amountDue
FinancialAccount
,
通貨測定
and
時間間隔
日
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
金融取引
は
Prepayment
の
instance
では %n
(=>
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
earlier
?INTERVAL1 ?INTERVAL2))
Merge.kif 8382-8384
時間間隔
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 7998-8005
時間間隔
の
beginning
は
時点
と
equal
では %n
時点
時点
は
時間間隔
の
part
では %n
時点
は
時点
と
equal
では
時点
は
時点
の
before
に happens %n{ない}
(=>
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
meetsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8339-8343
時間間隔
の
end
は
時間間隔
の
beginning
と
equal
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1270-1284
時間間隔
時間間隔
dependencyDelay
コンピュータープログラム
and
時間分
dependencyType
コンピュータープログラム
and
ShutdownBlock
hasDependency
コンピュータープログラム
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
finish
es %n{ない}
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
の
beginning
は
時間間隔
の
end
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
StartupBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
starts
?Time2 ?Time)
(
equal
(
WhenFn
?Process1) ?Time1)
(
equal
(
EndFn
?Time)
(
BeginFn
?Time1))))
(
duration
?Time ?Delay))
QoSontology.kif 1254-1268
時間間隔
時間間隔
dependencyDelay
コンピュータープログラム
and
時間分
dependencyType
コンピュータープログラム
and
StartupBlock
hasDependency
コンピュータープログラム
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
の
end
は
時間間隔
の
beginning
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
(=>
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS)))
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
)))
Merge.kif 8212-8221
時点
は
物理
の
time
の existence の
beginning
にも
物理
の
time
の existence の
end
にもその
between
にも %n
物理
は
時点
の
during
exists %n{ない}
時点
は
時点
の
instance
では %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