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
BeginFn
Sigma KEE - BeginFn
BeginFn
appearance as argument number 1
(
documentation
BeginFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
TimeInterval
和 这个时段开始的
TimePoint
联系起来。")
chinese_format.kif 2697-2698
(
documentation
BeginFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimeInterval
to the
TimePoint
at which the interval begins.")
Merge.kif 8021-8022
(
documentation
BeginFn
JapaneseLanguage
"
UnaryFunction
は
TimeInterval
を 間隔が開始され る
TimePoint
にマップする。")
japanese_format.kif 1420-1421
(
domain
BeginFn
1
TimeInterval
)
Merge.kif 8018-8018
BeginFn
の数値 1 引数は
時間間隔
の
instance
では %n
(
instance
BeginFn
TemporalRelation
)
Merge.kif 8015-8015
BeginFn
は
時間関係
の
instance
では %n
(
instance
BeginFn
TotalValuedRelation
)
Merge.kif 8017-8017
BeginFn
は
合計値関係
の
instance
では %n
(
instance
BeginFn
UnaryFunction
)
Merge.kif 8016-8016
BeginFn
は
1変数関数
の
instance
では %n
(
range
BeginFn
TimePoint
)
Merge.kif 8019-8019
BeginFn
の
range
は
時点
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
BeginFn
"%1 的开始")
chinese_format.kif 449-449
(
format
EnglishLanguage
BeginFn
"the beginning of %1")
english_format.kif 455-455
(
format
FrenchLanguage
BeginFn
"le d�but de %1")
french_format.kif 261-261
(
format
ItalianLanguage
BeginFn
"l' inizio di %1")
relations-it.txt 34-34
(
format
JapaneseLanguage
BeginFn
"%1 の beginning")
japanese_format.kif 2051-2051
(
format
PortugueseLanguage
BeginFn
"o comeco de %1")
portuguese_format.kif 213-213
(
format
cb
BeginFn
"ang sinugdanan sa %1")
relations-cb.txt 68-68
(
format
cz
BeginFn
"the beginning of %1'")
relations-cz.txt 267-267
(
format
de
BeginFn
"der anfang von %1")
relations-de.txt 586-586
(
format
hi
BeginFn
"%1 kii shuruaata")
relations-hindi.txt 78-78
(
format
ro
BeginFn
"beginning%t{începutul} lui %1")
relations-ro.kif 282-282
(
format
sv
BeginFn
"början på %1")
relations-sv.txt 287-287
(
format
tg
BeginFn
"ang simula sa %1")
relations-tg.txt 84-84
(
termFormat
ChineseLanguage
BeginFn
"开始")
domainEnglishFormat.kif 10559-10559
(
termFormat
ChineseLanguage
BeginFn
"开始函数")
chinese_format.kif 450-450
(
termFormat
ChineseTraditionalLanguage
BeginFn
"開始")
domainEnglishFormat.kif 10558-10558
(
termFormat
EnglishLanguage
BeginFn
"begin")
domainEnglishFormat.kif 10557-10557
(
termFormat
tg
BeginFn
"tungkulin simula")
relations-tg.txt 85-85
antecedent
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8122-8130
時間間隔
の
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 8090-8098
時間間隔
の
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 22972-22977
時点
は
工程
の
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 29646-29655
時点
は
工程
の
time
の existence の
beginning
と
equal
では %n
時点
は
AutonomousAgent
の
time
の existence の
end
と
equal
では %n
suffers
工程
and
AutonomousAgent
時点
は
時点
の
before
に happens %n{ない}
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
instance
?B
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?A1
(
AdditionFn
49 ?Y))
(
equal
?A2
(
AdditionFn
52 ?Y))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23973-23989
Menopausal
は
人[人間]
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
birthdate
人[人間]
and
日
日
は
正の整数
day
目 の
instance
では %n
実数
は (49 +
整数
) と
equal
では %n
実数
は (52 +
整数
) と
equal
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
ステートメント
時点
は
実数
より
greater
では %n
実数
は
時点
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23946-23960
Menopausal
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
実数
は (1 の
YearDuration
(s) +
時間間隔
の
beginning
) と
equal
では %n
時間間隔
は
時間間隔
と
時間間隔
の
beginning
の
interval
と
equal
では %n
工程
工程
は
Menstruation
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 494-507
工程
は
Ambulating
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Stepping
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Stepping
の
instance
では %n
工程
START は
工程
の
time
の existence の
beginning
と
equal
では %n
工程
START は
工程
の
time
の existence の
beginning
と
equal
では %n
工程
START は
工程
START の
before
に happens %n{ない}
工程
START は
工程
START の
before
に happens %n{ない}
工程
は
工程
と
equal
では %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 12429-12443
工程
は
取付け
の
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
?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
?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 11693-11700
工程
は
所有権の変更
の
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 12477-12486
工程
は
取外し
の
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
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?T1
(
BeginFn
?D1))
(
equal
?T2
(
BeginFn
?D2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8758-8765
時間間隔
は
正の整数
day
目 の
instance
では %n
時間間隔
は
正の整数
day
目 の
instance
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
正の整数
は
正の整数
より
greater
では %n
時点
は
時点
の
before
に happens %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
地政学的地域
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
located
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
エンティティー
は
地政学的地域
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
地政学的地域
は
地政学的地域
の
geopolitical
部分では
地政学的地域
は
地政学的地域
の
geopolitical
部分では
エンティティー
は
地政学的地域
に
located
して %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
?H
Hanukkah
)
(
equal
?B
(
BeginFn
?H)))
(
exists
(?M)
(
and
(
temporalPart
?B ?M)
(
instance
?M
Month
)
(
or
(
instance
?M
November
)
(
instance
?M
December
)))))
Media.kif 587-597
時間間隔
は
Hanukkah
の
instance
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
時間位置
時点
は
時間位置
の
part
では %n
時間位置
は
月
の
instance
では %n
時間位置
は
11月
の
instance
では %n
時間位置
は
12月
の
instance
では %n
(=>
(
and
(
instance
?INTERVAL1
TimeInterval
)
(
instance
?INTERVAL2
TimeInterval
)
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
equal
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
equal
?INTERVAL1 ?INTERVAL2))
Merge.kif 8390-8400
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
beginning
は
時間間隔
の
beginning
と
equal
では %n
時間間隔
の
end
は
時間間隔
の
end
と
equal
では %n
時間間隔
は
時間間隔
と
equal
では %n
(=>
(
and
(
instance
?LOAN
Loan
)
(
equal
?START
(
BeginFn
?LOAN))
(
totalBalance
?LOAN ?BAL))
(
currentAccountBalance
?LOAN ?START ?BAL))
FinancialOntology.kif 1399-1404
時間間隔
は
Loan
の
instance
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
totalBalance
時間間隔
and
通貨測定
currentAccountBalance
時間間隔
,
時点
and
通貨測定
(=>
(
and
(
instance
?M1
(
MonthFn
?N1
(
YearFn
?Y)))
(
instance
?M2
(
MonthFn
?N2
(
YearFn
?Y)))
(
equal
?T1
(
BeginFn
?M1))
(
equal
?T2
(
BeginFn
?M2))
(
successorClass
?N1 ?N2))
(
before
?T1 ?T2))
Merge.kif 8742-8749
時間間隔
は
月
month
目 の
instance
では %n
時間間隔
は
月
month
目 の
instance
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
successorClass
月
and
月
時点
は
時点
の
before
に happens %n{ない}
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
MusicalTone
は
MusicalTone
の
instance
では %n
soundFrequency
MusicalTone
and
実数
の
Hertz
(s)
loudness
MusicalTone
and
実数
の
Decibel
(s)
MusicalTone
は
人[人間]
が
MusicalTone
の
time
の existence の
beginning
に
where
場所 に
located
して %n
実数
は
実数
より
greater
では %n
実数
は
実数
より
greater
では %n
実数
は 250 より
greater
では %n 8000 は
実数
より
greater
では %n
人[人間]
は
人[人間]
の
instance
では %n
工程
は
Listening
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
hearingAcuity
人[人間]
,
実数
の
Decibel
(s) and
実数
の
Decibel
(s)
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19610-19622
工程
は
Oxidation
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
electronNumber
エンティティー
and
実数
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
実数
実数
は
実数
より
less
では %n
electronNumber
エンティティー
and
実数
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17665-17683
時間間隔
は
Pulling
の
instance
では %n
時間間隔
は
オブジェクト
から
originate
s %n{ない}
AutonomousAgent
は
時間間隔
の
agent
では %n
AutonomousAgent
は
AutonomousAgent
LOC に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
時間間隔
は
エンティティー
に
end
s %n{ない}
エンティティー
エンティティー
and
エンティティー
AutonomousAgent
LOC と
エンティティー
の
distance
は
エンティティー
の
エンティティー
(s) では %n
AutonomousAgent
LOC と
オブジェクト
の
distance
は
エンティティー
の
エンティティー
(s) では %n
エンティティー
は
エンティティー
より
greater
では %n は
時間間隔
の
beginning
の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17643-17661
時間間隔
は
Pushing
の
instance
では %n
時間間隔
は
オブジェクト
から
originate
s %n{ない}
AutonomousAgent
は
時間間隔
の
agent
では %n
AutonomousAgent
は
AutonomousAgent
LOC に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
時間間隔
は
エンティティー
に
end
s %n{ない}
エンティティー
エンティティー
and
エンティティー
AutonomousAgent
LOC と
エンティティー
の
distance
は
エンティティー
の
エンティティー
(s) では %n
AutonomousAgent
LOC と
オブジェクト
の
distance
は
エンティティー
の
エンティティー
(s) では %n
エンティティー
は
エンティティー
より
greater
では %n は
時間間隔
の
beginning
の すぐ
after
の
during
holds %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 12512-12519
工程
は
組み合わせ
の
instance
では %n
オブジェクト
は
工程
の
resource
では %n
エンティティー
は
工程
の
result
では %n
オブジェクト
は
エンティティー
の
part
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
の
part
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6225-6238
allergic
人[人間]
and
物質
物質
UB は
物質
の
instance
では %n
物質
UB は
人[人間]
と
meet
s %n{ない} は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
エンティティー
は
AllergicReaction
の
instance
では %n
人[人間]
が
エンティティー
を
experience
s %n{ない}
エンティティー
の
time
の existence は
時間位置
と
overlap
s %n{dない}
時間位置
の
beginning
は
エンティティー
の
time
の existence の
beginning
の
before
に happens %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
checkOutTime
認識エージェント
and
時点
guest
認識エージェント
and
認識エージェント
expects
認識エージェント
and
エンティティー
エンティティー
エンティティー
は
時点
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
エンティティー
は
CheckOutService
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
before
に happens %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
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
工程
は
オブジェクト
に
end
s %n{ない}
工程
は
Messaging
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
Telex
の
instance
では %n
工程
エンティティー
オブジェクト
は
工程
の
instrument
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
テキスト
の
instance
では %n
工程
の
time
の existence の
beginning
は
工程
の
time
の existence の
beginning
の
before
に happens %n{ない}
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30716-30722
firstInstanceCreated
物理
and
時点
物理
は
物理
の
instance
では %n
時点
は
物理
の
time
の existence の
beginning
でもその前でも happens %n{ない}
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3837-3844
公式
は
時間間隔
の
during
holds %n{ない}
公式
は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
causesProposition
公式
and
公式
時間間隔
の
beginning
は
時間間隔
の
beginning
でもその前でも happens %n{ない}
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1949-1956
エンティティー
は
ConsecutiveTimeIntervalList
の
member
では %n
ConsecutiveTimeIntervalList
は
TimeIntervalListFn
時間間隔
and
時間分
と
equal
では %n
時間間隔
の
beginning
は
FirstFn
ConsecutiveTimeIntervalList
の
beginning
と
equal
では %n
(=>
(
and
(
initialPart
?C2 ?C1)
(
instance
?PART ?C2))
(
exists
(?WHOLE)
(
and
(
instance
?WHOLE ?C1)
(
holdsDuring
(
BeginFn
(
WhenFn
?PART))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23767-23776
initialPart
オブジェクト
and
オブジェクト
物理
は
オブジェクト
の
instance
では %n
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
物理
は
エンティティー
の
part
では %n は
物理
の
time
の existence の
beginning
の
during
holds %n{ない}
(=>
(
and
(
initiallyContainsPart
?C2 ?C1)
(
instance
?WHOLE ?C1))
(
exists
(?PART)
(
and
(
instance
?PART ?C2)
(
holdsDuring
(
BeginFn
(
WhenFn
?WHOLE))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23794-23802
initiallyContainsPart
オブジェクト
and
オブジェクト
物理
は
オブジェクト
の
instance
では %n
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
物理
の
part
では %n は
物理
の
time
の existence の
beginning
の
during
holds %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 21522-21533
工程
は
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
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 1035-1048
工程
は
Appointing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
エンティティー
は
エンティティー
の
エンティティー
の
position
を hold ない は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
エンティティー
の
position
を holds %n{ない} は
工程
の
time
の existence の すぐ
after
の
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 17170-17191
工程
は
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
?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 12702-12715
工程
は
形状変化
の
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 12662-12675
工程
は
表面変化
の
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 12406-12413
工程
は
取付け
の
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 16370-16380
工程
は
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 17413-17424
工程
は
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 17454-17466
工程
は
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
SoberingUp
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Sober
))))
Mid-level-ontology.kif 16390-16400
工程
は
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 21422-21430
工程
は
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{ない}
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