Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
EndFn
Sigma KEE - EndFn
EndFn
appearance as argument number 1
(
documentation
EndFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
TimeInterval
和 这个时段结束的
TimePoint
联系起来。")
chinese_format.kif 2699-2700
(
documentation
EndFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimeInterval
to the
TimePoint
at which the interval ends.")
Merge.kif 8013-8014
(
documentation
EndFn
JapaneseLanguage
"
UnaryFunction
は、
TimeInterval
を間隔が終了する
TimePoint
にマップする。")
japanese_format.kif 1422-1423
(
domain
EndFn
1
TimeInterval
)
Merge.kif 8010-8010
EndFn
の数値 1 引数は
時間間隔
の
instance
では %n
(
instance
EndFn
TemporalRelation
)
Merge.kif 8007-8007
EndFn
は
時間関係
の
instance
では %n
(
instance
EndFn
TotalValuedRelation
)
Merge.kif 8009-8009
EndFn
は
合計値関係
の
instance
では %n
(
instance
EndFn
UnaryFunction
)
Merge.kif 8008-8008
EndFn
は
1変数関数
の
instance
では %n
(
range
EndFn
TimePoint
)
Merge.kif 8011-8011
EndFn
の
range
は
時点
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
EndFn
"%1 的结束")
chinese_format.kif 451-451
(
format
EnglishLanguage
EndFn
"the end of %1")
english_format.kif 457-457
(
format
FrenchLanguage
EndFn
"la fin de %1")
french_format.kif 262-262
(
format
ItalianLanguage
EndFn
"la fine di %1")
relations-it.txt 92-92
(
format
JapaneseLanguage
EndFn
"%1 の end")
japanese_format.kif 2052-2052
(
format
PortugueseLanguage
EndFn
"o fim de %1")
portuguese_format.kif 214-214
(
format
cz
EndFn
"the end of %1'")
relations-cz.txt 268-268
(
format
de
EndFn
"das ende von %1")
relations-de.txt 589-589
(
format
hi
EndFn
"%1 kii samaapti")
relations-hindi.txt 132-132
(
format
ro
EndFn
"the end%t{sfânceputul} lui %1")
relations-ro.kif 283-283
(
format
sv
EndFn
"slutet på %1")
relations-sv.txt 288-288
(
format
tg
EndFn
"ang dulo sa %1")
relations-tg.txt 199-199
(
termFormat
ChineseLanguage
EndFn
"结束")
domainEnglishFormat.kif 22042-22042
(
termFormat
ChineseLanguage
EndFn
"结束函数")
chinese_format.kif 452-452
(
termFormat
ChineseTraditionalLanguage
EndFn
"結束")
domainEnglishFormat.kif 22041-22041
(
termFormat
EnglishLanguage
EndFn
"end")
domainEnglishFormat.kif 22040-22040
(
termFormat
tg
EndFn
"tungkulin ng dulo")
relations-tg.txt 200-200
antecedent
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8086-8094
時間間隔
の
beginning
は
時間間隔
の
beginning
の
before
に happens %n{ない}
時間間隔
の
end
は
時間間隔
の
end
と
equal
では %n
時間間隔
は
時間間隔
を
finish
es %n{ない}
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8054-8062
時間間隔
の
beginning
は
時間間隔
の
beginning
と
equal
では %n
時間間隔
の
end
は
時間間隔
の
end
の
before
に happens %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22920-22925
時点
は
工程
の
time
の existence の
beginning
と
equal
では %n
時点
は
AutonomousAgent
の
time
の existence の
end
と
equal
では %n
AutonomousAgent
は
工程
の 受益者では %n
時点
は
時点
の
before
に happens %n{ない}
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29595-29604
時点
は
工程
の
time
の existence の
beginning
と
equal
では %n
時点
は
AutonomousAgent
の
time
の existence の
end
と
equal
では %n
suffers
工程
and
AutonomousAgent
時点
は
時点
の
before
に happens %n{ない}
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
工程
は
取付け
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
objectAttached
工程
and
エンティティー
objectAttached
工程
and
エンティティー
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3759-3784
AccessingWebPage
は
AccessingWebPage
の
instance
では %n
エンティティー
は
WebPage
の
instance
では %n
工程
は
DataTransfer
の
instance
では %n
オブジェクト
は
Server
の
instance
では %n
工程
は
要求
の
instance
では %n
AutonomousAgent
は
WebBrowser
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
エンティティー
は
AccessingWebPage
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
オブジェクト
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
は
AccessingWebPage
% の
subprocess
では %n
工程
は
AccessingWebPage
% の
subprocess
では %n
工程
の
time
の existence の
end
は
時間間隔
の
beginning
と
equal
では %n
工程
の
time
の existence の
end
は
時間間隔
の
end
と
equal
では %n
SiteSpeedFn
AccessingWebPage
は
時間間隔
と
equal
では %n
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
FinancialAccount
は
CertificateOfDeposit
の
instance
では %n
maturityDate
FinancialAccount
and
日
工程
は
Withdrawal
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
の
date
は
日
では
日
の
end
は
日
の
beginning
の
before
に happens %n{ない}
工程
工程
は
Penalty
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
patient
?CHANGE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ)))
(
not
(
equal
?AGENT1 ?AGENT2)))
Merge.kif 11647-11654
工程
は
所有権の変更
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
equal
では
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
工程
は
取外し
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
objectDetached
工程
and
エンティティー
objectDetached
工程
and
エンティティー
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
地政学的地域
の
instance
では %n
物理
は
地政学的地域
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
物理
に
located
して %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
物理
は
オブジェクト
に
located
して
(=>
(
and
(
instance
?INTERVAL1
TimeInterval
)
(
instance
?INTERVAL2
TimeInterval
)
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
equal
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
equal
?INTERVAL1 ?INTERVAL2))
Merge.kif 8354-8364
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
beginning
は
時間間隔
の
beginning
と
equal
では %n
時間間隔
の
end
は
時間間隔
の
end
と
equal
では %n
時間間隔
は
時間間隔
と
equal
では %n
(=>
(
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
?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
(
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
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8016-8023
時間間隔
の
end
は
時点
と
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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?COMBINE
Combining
)
(
resource
?COMBINE ?OBJ1)
(
result
?COMBINE ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COMBINE))
(
not
(
part
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?COMBINE))
(
part
?OBJ1 ?OBJ2))))
Merge.kif 12466-12473
工程
は
組み合わせ
の
instance
では %n
オブジェクト
は
工程
の
resource
では %n
エンティティー
は
工程
の
result
では %n
オブジェクト
は
エンティティー
の
part
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
の
part
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
amountDue
FinancialAccount
,
通貨測定
and
時間位置
accountHolder
FinancialAccount
and
認識エージェント
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
birthdate
JesusOfNazareth
and
日
時間間隔
は -6
year
目 の
instance
では %n
時間間隔
は 4
year
目 の
instance
では %n
日
は
時間間隔
の
beginning
と
時間間隔
の
end
の
interval
の
part
では %n
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1943-1948
deathdate
JesusOfNazareth
and
日
時間間隔
は 29
year
目 の
instance
では %n
時間間隔
は 36
year
目 の
instance
では %n
日
は
時間間隔
の
beginning
と
時間間隔
の
end
の
interval
の
part
では %n
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15515-15532
コンテンツベアリングオブジェクト
の
edition
正の整数
は
コンテンツベアリングオブジェクト
と
equal
では %n
コンテンツベアリングオブジェクト
の
edition
正の整数
は
コンテンツベアリングオブジェクト
と
equal
では %n
正の整数
は
正の整数
より
greater
では %n
工程
は
出版
の
instance
では %n
工程
は
出版
の
instance
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
date
は
日
では
工程
の
date
は
日
では
日
の
end
は
日
の
end
の
before
に happens %n{ない}
(=>
(
and
(
instance
?A
Aborting
)
(
patient
?A ?W)
(
instance
?W
Woman
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
attribute
?W
Pregnant
))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
attribute
?W
Pregnant
)))))
Mid-level-ontology.kif 21495-21506
工程
は
Aborting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
Woman
の
instance
では %n
Pregnant
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Pregnant
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
工程
は
Accelerating
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
実数
実数
,
実数
,
実数
,
エンティティー
and
エンティティー
AutonomousAgent
の
measure
は
実数
の
エンティティー
(s)
per
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
の
measure
は
実数
の
エンティティー
(s)
per
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?ACT
ActivatingUIElement
)
(
patient
?ACT ?GUIE)
(
instance
?GUIE
GUIElement
))
(
and
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?GUIE
GUE_ActiveState
))
(
holdsDuring
(
BeginFn
?ACT)
(
not
(
hasGUEState
?GUIE
GUE_ActiveState
)))))
ComputerInput.kif 2268-2277
時間間隔
は
ActivatingUIElement
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
エンティティー
は
GUIElement
の
instance
では %n
hasGUEState
エンティティー
and
GUE_ActiveState
は
時間間隔
の
end
の
during
holds %n{ない}
hasGUEState
エンティティー
and
GUE_ActiveState
は
時間間隔
の
beginning
の
during
holds %n{ない}
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
holdsDuring
(
BeginFn
?ACT)
(
hasGUEState
?WINDOW ?STATE))
(
contraryAttribute
?STATE
GUE_UncoveredState
))
(
holdsDuring
(
EndFn
?ACT)
(
not
(
hasGUEState
?WINDOW ?STATE))))
ComputerInput.kif 2332-2343
時間間隔
は
BringingGEToFront
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
エンティティー
は
InterfaceWindow
の
instance
では %n
hasGUEState
エンティティー
and
属性
は
時間間隔
の
beginning
の
during
holds %n{ない}
属性
は
GUE_UncoveredState
の
disjoint
では %n
hasGUEState
エンティティー
and
属性
は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
時間間隔
は
BringingGEToFront
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
エンティティー
は
InterfaceWindow
の
instance
では %n
hasGUEState
エンティティー
and
GUE_UncoveredState
は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12656-12669
工程
は
形状変化
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
は
形状属性
の
instance
では %n
エンティティー
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12616-12629
工程
は
表面変化
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
エンティティー
オブジェクト
は
オブジェクト
の
superficial
部分では %n
エンティティー
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
オブジェクト
の
attribute
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
オブジェクト
の
attribute
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?OBJ
Object
)
(
patient
?ATC ?OBJ)
(
agent
?ATC ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
webcart
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?ATC))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1326-1342
時間間隔
は
AddToCart
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
コレクション
WebSite
,
時間位置
and
時間間隔
コレクション
は
コレクション
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
webcart
AutonomousAgent
,
コレクション
and
WebSite
時間間隔
の
beginning
は
時間間隔
の
end
と
equal
では %n
エンティティー
は
コレクション
の
member
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12360-12367
工程
は
取付け
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?B
BecomingDrunk
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Sober
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))))
Mid-level-ontology.kif 16343-16353
工程
は
BecomingDrunk
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
Sober
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Drunk
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?B
Boarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
onboard
?A ?V))))
Mid-level-ontology.kif 17386-17397
工程
は
Boarding
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
onboard
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
onboard
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?B
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 17427-17439
工程
は
Deboarding
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
onboard
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
onboard
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?B
Object
)
(
roastedToTemperature
?B ?T))
(
exists
(?H)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
measure
?B
(
MeasureFn
?T
CelsiusDegree
))))))
Food.kif 468-478
Food
は
オブジェクト
の
instance
では %n
roastedToTemperature
Food
and
実数
工程
工程
は
加熱
の
instance
では %n
Food
は
工程
の
patient
では %n
Food
の
measure
は
実数
の
CelsiusDegree
(s) では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?B
SoberingUp
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Sober
))))
Mid-level-ontology.kif 16363-16373
工程
は
SoberingUp
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
Drunk
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Sober
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 21395-21403
工程
は
Bleeding
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
エンティティー
は
血
の
instance
では %n
エンティティー
は
AutonomousAgent
の
part
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
part
では は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
工程
は
沸騰
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
Liquid
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Gas
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Happiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Happiness
))))
Mid-level-ontology.kif 23768-23779
工程
は
CausingHappiness
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
Happiness
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Happiness
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
CausingUnhappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Unhappiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Unhappiness
))))
Mid-level-ontology.kif 23789-23800
工程
は
CausingUnhappiness
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
Unhappiness
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Unhappiness
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
ChurningButter
)
(
instance
?E
Emulsion
)
(
patient
?C ?E))
(
exists
(?M ?B)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
and
(
equal
?E ?M)
(
instance
?M
Milk
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
and
(
equal
?E ?B)
(
instance
?B
Butter
))))))
Food.kif 3076-3094
工程
は
ChurningButter
の
instance
では %n
エンティティー
は
Emulsion
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
エンティティー
は
エンティティー
と
equal
では %n
エンティティー
は
Milk
の
instance
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
equal
では %n
エンティティー
は
Butter
の
instance
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
工程
は
Cricothyroidotomy
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
は
HoleRegion
の
instance
では %n
エンティティー
は ホール
エンティティー
の
host
と
equal
では %n
エンティティー
は
Throat
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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