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
ImmediateFutureFn
Sigma KEE - ImmediateFutureFn
ImmediateFutureFn
appearance as argument number 1
(
documentation
ImmediateFutureFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
TimePosition
和紧随这个
TimePosition
的一个既短而又不确定的
TimeInterval
。")
chinese_format.kif 2745-2746
(
documentation
ImmediateFutureFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimePosition
to a short, indeterminate
TimeInterval
that immediately follows the
TimePosition
.")
Merge.kif 8531-8533
(
documentation
ImmediateFutureFn
JapaneseLanguage
"
UnaryFunction
は、
TimePosition
を、
TimePosition
の直後に続く短い不確定
TimeInterval
にマップする。")
japanese_format.kif 1471-1472
(
domain
ImmediateFutureFn
1
TimePosition
)
Merge.kif 8528-8528
ImmediateFutureFn
の数値 1 引数は
時間位置
の
instance
では %n
(
instance
ImmediateFutureFn
TemporalRelation
)
Merge.kif 8525-8525
ImmediateFutureFn
は
時間関係
の
instance
では %n
(
instance
ImmediateFutureFn
TotalValuedRelation
)
Merge.kif 8527-8527
ImmediateFutureFn
は
合計値関係
の
instance
では %n
(
instance
ImmediateFutureFn
UnaryFunction
)
Merge.kif 8526-8526
ImmediateFutureFn
は
1変数関数
の
instance
では %n
(
range
ImmediateFutureFn
TimeInterval
)
Merge.kif 8529-8529
ImmediateFutureFn
の
range
は
時間間隔
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
ImmediateFutureFn
"紧接 %1 after")
chinese_format.kif 463-463
(
format
EnglishLanguage
ImmediateFutureFn
"immediately after %1")
english_format.kif 469-469
(
format
FrenchLanguage
ImmediateFutureFn
"immediatement apr�s %1")
french_format.kif 268-268
(
format
ItalianLanguage
ImmediateFutureFn
"immediatamente dopo %1")
relations-it.txt 137-137
(
format
JapaneseLanguage
ImmediateFutureFn
"%1 の すぐ after")
japanese_format.kif 2058-2058
(
format
PortugueseLanguage
ImmediateFutureFn
"imediatemente apos %1")
portuguese_format.kif 220-220
(
format
cz
ImmediateFutureFn
"pr�v� po %1'")
relations-cz.txt 274-274
(
format
de
ImmediateFutureFn
"sofort nach %1")
relations-de.txt 605-605
(
format
hi
ImmediateFutureFn
"%1 ke tatkaala baada")
relations-hindi.txt 176-176
(
format
ro
ImmediateFutureFn
"imediat after%t{dupã} %1")
relations-ro.kif 289-289
(
format
sv
ImmediateFutureFn
"omedelbart efter %1")
relations-sv.txt 295-295
(
format
tg
ImmediateFutureFn
"pagkatopos ng agad sa %1")
relations-tg.txt 278-278
(
termFormat
ChineseLanguage
ImmediateFutureFn
"眼前的未来")
domainEnglishFormat.kif 29355-29355
(
termFormat
ChineseLanguage
ImmediateFutureFn
"紧接未来函数")
chinese_format.kif 464-464
(
termFormat
ChineseTraditionalLanguage
ImmediateFutureFn
"眼前的未來")
domainEnglishFormat.kif 29354-29354
(
termFormat
EnglishLanguage
ImmediateFutureFn
"immediate future")
domainEnglishFormat.kif 29353-29353
(
termFormat
tg
ImmediateFutureFn
"tungkulin ng pagkatopos ng agad")
relations-tg.txt 279-279
antecedent
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
起動
は
エンジニアリング部品
の
attribute
では %n は
物理
の
during
holds %n{ない}
HostReady
は
エンジニアリング部品
の
attribute
では %n は
物理
2 の
during
holds %n{ない}
物理
2 は
物理
の
time
の existence の すぐ
after
と
equal
では %n
エンジニアリング部品
は
ComputerDisplay
の
instance
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
ステートメント
エンティティー
エンティティー
は
ホームスクリーン
の
instance
では %n
displayedUpon
エンティティー
and
エンジニアリング部品
には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9811-9833
オブジェクト
は
Antacid
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の すぐ
after
の
during
holds %n{ない}
phMeasure
オブジェクト
and
実数
phMeasure
オブジェクト
and
実数
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9872-9894
オブジェクト
は
ProtonPumpInhibitor
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の すぐ
after
の
during
holds %n{ない}
phMeasure
オブジェクト
and
実数
phMeasure
オブジェクト
and
実数
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
ComputerProcess
は
DataCompression
の
instance
では %n
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
実数
の
エンティティー
(s) は
ComputerProcess
の
time
の existence の immediately
before
の
during
holds %n{ない}
memorySize
DigitalData
and
実数
の
エンティティー
(s) は
ComputerProcess
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 6994-7008
工程
は
Deposition
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
measure
は
実数
の
Joule
(s) では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
の
measure
は
実数
の
Joule
(s) では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
工程
は
motion
の
instance
では %n
工程
は
Tremor
の
instance
では %n
オブジェクト
は
Damper
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
工程
を
cause
s %n{ない}
エンティティー
は
UnitOfLength
の
instance
では %n
physicalAmplitude
工程
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
during
holds %n{ない}
physicalAmplitude
工程
and
実数
の
エンティティー
(s) は
工程
の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
工程
は
衝撃
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
ImpairedBodyPartFn
Brain
は
エンティティー
の
attribute
では %n は
工程
の すぐ
after
の
during
holds %n{ない}
ステートメント
Concussion
は
エンティティー
の
attribute
では %n は
工程
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1304-1327
オブジェクト
は
Lever
の
instance
では %n
工程
は
Pushing
の
instance
では %n
物理
は
motion
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
physicalEnd
オブジェクト
and
オブジェクト
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
工程
1 に
located
して %n は
物理
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
工程
2 に
located
して %n は
物理
の
time
の existence の すぐ
after
の
during
holds %n{ない}
オブジェクト
は
工程
3 に
located
して %n は
物理
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
工程
4 に
located
して %n は
物理
の
time
の existence の すぐ
after
の
during
holds %n{ない}
工程
1 と
工程
2 の
distance
は
実数
の
測定単位
(s) では %n
工程
3 と
工程
4 の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
工程
は
LoggingIn
の
instance
では %n
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
時間間隔
は
工程
の
time
の existence の すぐ
after
と
equal
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
WebSite
は
エンティティー
の
patient
では %n は
時間間隔
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
工程
は
LoggingIn
の
instance
では %n
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
時間間隔
は
工程
の
time
の existence の すぐ
after
と
equal
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
Computer
は
エンティティー
の
instrument
では %n は
時間間隔
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10527-10542
工程
は
MuscleRelaxing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
筋肉
の
instance
では %n
エンティティー
の
length
は
実数
の
エンティティー
(s) では は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
の
length
は
実数
の
エンティティー
(s) では は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10505-10520
工程
は
MuscularContraction
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
筋肉
の
instance
では %n
エンティティー
の
length
は
実数
の
エンティティー
(s) では は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
の
length
は
実数
の
エンティティー
(s) では は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?SCO
SelfConnectedObject
)
(
instance
?C
Compressing
)
(
patient
?C ?SCO)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N1 ?V)))
(
instance
?V
UnitOfVolume
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N2 ?V))))
(
greaterThan
?N1 ?N2))
Cars.kif 1987-1999
エンティティー
は
自己接続オブジェクト
の
instance
では %n
工程
は
Compressing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
measure
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
は
UnitOfVolume
の
instance
では %n
エンティティー
の
measure
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?SUBLIMATION
Sublimation
)
(
patient
?SUBLIMATION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
greaterThan
?Y ?X))
Geography.kif 7046-7060
工程
は
Sublimation
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
measure
は
実数
の
Joule
(s) では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
の
measure
は
実数
の
Joule
(s) では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
consequent
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 738-753
agreementRevisionDate
命題
,
時間位置
and
命題
時間位置
時間位置
は
時間位置
の
instance
では %n
命題
は
命題
の
sub
-proposition では は
時間位置
の immediately
before
の
during
holds %n{ない}
命題
は
命題
の
sub
-proposition では %n は
時間位置
の すぐ
after
の
during
holds %n{ない}
命題
は
命題
の
sub
-proposition では %n は
時間位置
の immediately
before
の
during
holds %n{ない}
命題
は
命題
の
sub
-proposition では は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
agreementEffectiveDate
Agreement
and
時点
Agreement
は
認識エージェント
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
時間位置
は
時点
の
instance
では %n
認識エージェント
はタイプ
公式
のタスクを実行する
obliged
%n は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
agreementEffectiveDate
Agreement
and
時点
Agreement
は
認識エージェント
が
公式
のタスクを実行することはを
allow
s %n{ない}
時間位置
は
時点
の
instance
では %n
認識エージェント
は
公式
を 実行する
right
を 持って %n{ない} は
時間位置
の すぐ
after
の
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 1014-1027
工程
は
Appointing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
エンティティー
は
エンティティー
の
エンティティー
の
position
を hold ない は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
エンティティー
の
position
を holds %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?ACT
ActivatingADeactivatedAccount
)
(
instance
?AC
UserAccount
)
(
patient
?ACT ?AC))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4482-4491
工程
は
ActivatingADeactivatedAccount
の
instance
では %n
エンティティー
は
UserAccount
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AccountDeactivated
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
AccountActive
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
工程
は
Braking
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
実数
の
MilesPerHour
(s) は
AccelerationFn
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
と
equal
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
実数
の
MilesPerHour
(s) は
AccelerationFn
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
と
equal
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
FinancialAccount
は
SecuredBond
の
instance
では %n
securedBy
FinancialAccount
and
Collateral
AutonomousAgent
は
FinancialAccount
を
possess
es %n{ない}
工程
は
FinancialDefault
の
instance
では %n
FinancialAccount
は
工程
の
patient
では %n
AutonomousAgent
は
Collateral
を
possess
es %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29675-29682
工程
は
覆い
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
covers
オブジェクト
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 767-785
工程
は
Cricothyroidotomy
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
エンティティー
は
ImpairmentFn
呼吸
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
エンティティー
は
ImpairmentFn
呼吸
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n は
工程
の
time
の existence の すぐ
after
の
during
hold ない の 目的 %n{ない}
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
エンティティー
は
COVIDAntibody
の
instance
では %n
Covid19
は
エンティティー
の
attribute
では
エンティティー
は
エンティティー
の
part
では %n は
時間位置
の
during
holds %n{ない}
ステートメント
Covid19
は
エンティティー
の
attribute
では %n には
Unlikely
の
modal
force
が ある は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?CP
ChangingAccountInfo
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
accountInformation
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
not
(
equal
?N2 ?N1))
(
accountInformation
?UA ?N2)))))
ComputingBrands.kif 4123-4135
工程
は
ChangingAccountInfo
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
hasAccount
AutonomousAgent
and
UserAccount
accountInformation
UserAccount
and
命題
エンティティー
エンティティー
は
命題
と
equal
では
accountInformation
UserAccount
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4079-4092
工程
は
ChangingPassword
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
hasAccount
AutonomousAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
エンティティー
エンティティー
は
ComputerPassword
の
instance
では %n
エンティティー
は
ComputerPassword
と
equal
では
password
エンティティー
and
UserAccount
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?CP
ChangingUserName
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
userName
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
instance
?N2
UserName
)
(
not
(
equal
?N2 ?N1))
(
userName
?UA ?N2)))))
ComputingBrands.kif 4101-4114
工程
は
ChangingUserName
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
hasAccount
AutonomousAgent
and
UserAccount
userName
UserAccount
and
UserName
エンティティー
エンティティー
は
UserName
の
instance
では %n
エンティティー
は
UserName
と
equal
では
userName
UserAccount
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?CP
CreatingAnAccount
)
(
agent
?CP ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?UA ?P1 ?N)
(
and
(
hasAccount
?A ?UA)
(
password
?P1 ?UA)
(
userName
?UA ?N)))))
ComputingBrands.kif 4143-4153
工程
は
CreatingAnAccount
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
and
エンティティー
hasAccount
AutonomousAgent
and
エンティティー
password
エンティティー
and
エンティティー
userName
エンティティー
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?Closing
ClosingAnAccount
)
(
patient
?Closing ?Account))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Closing))
(
instance
?Account
FinancialAccount
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Closing))
(
not
(
instance
?Account
FinancialAccount
)))))
FinancialOntology.kif 391-401
工程
は
ClosingAnAccount
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
FinancialAccount
の
instance
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
は
FinancialAccount
の
instance
では は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4566-4576
工程
は
DeletingAnAccount
の
instance
では %n
エンティティー
は
Account
の
instance
では %n
hasAccount
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
hasAccount
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?DAM
Damaging
)
(
instance
?OBJ
Device
)
(
patient
?DAM ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DAM))
(
attribute
?OBJ
DeviceDamaged
)))
Mid-level-ontology.kif 29996-30004
工程
は
損害を与える
の
instance
では %n
エンティティー
は
デバイス
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
DeviceDamaged
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?DEACT
DeactivatingAnAccount
)
(
instance
?AC
UserAccount
)
(
patient
?DEACT ?AC))
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4498-4507
工程
は
DeactivatingAnAccount
の
instance
では %n
エンティティー
は
UserAccount
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AccountDeactivated
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
AccountActive
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10222-10237
工程
は
死
の
instance
では %n
AutonomousAgent
は
物
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
エンティティー
エンティティー
は
工程
の
result
では %n
エンティティー
は
有機物
の
instance
では %n
Dead
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
after
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
part
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
エンティティー
は
AutonomousAgent
の
part
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
金融取引
は
Deposit
の
instance
では %n
FinancialAccount
は
FinancialAccount
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の immediately
before
and
実数
の
測定単位
(s)
実数
は (
実数
+
実数
) と
equal
では %n
currentAccountBalance
FinancialAccount
,
金融取引
の
after
の すぐ
after
and
実数
の
測定単位
(s)
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?EV))
(
attribute
?P
Evacuee
)))
MilitaryPersons.kif 133-140
工程
は
Evacuation
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
MilitaryOrganization
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
Evacuee
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?F
Faucet
)
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?L)
(
located
?LM ?F))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?LM))
(
not
(
exists
(?T)
(
and
(
instance
?T
Tube
)
(
contains
?T ?L))))))
engineering.kif 941-954
オブジェクト
は
Faucet
の
instance
では %n
工程
は
LiquidMotion
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
に
located
して %n
エンティティー
エンティティー
は
Tube
の
instance
では %n
エンティティー
は
エンティティー
を
contain
s %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?F
Forgetting
)
(
experiencer
?F ?A))
(
exists
(?P)
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?F))
(
not
(
knows
?A ?P)))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?F))
(
knows
?A ?P)))))
ComputingBrands.kif 4451-4461
工程
は
Forgetting
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
エンティティー
AutonomousAgent
は
エンティティー
を
know
ない は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
を
know
s %n{ない} は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25025-25046
TelecomNumber
は
Hotline
の
instance
では %n
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
は
組織
の
instance
では %n
TelecomNumber
は
エンティティー
エンティティー
は
Telephoning
の
instance
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない} ステートメント
エンティティー
エンティティー
は
コミュニケーション
の
instance
では %n
TelecomNumber
は
エンティティー
の
instrument
では %n
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
time
の existence の すぐ
after
の
beginning
と
equal
では %n には
Likely
の
modal
force
が ある の 目的 %n{ない}
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
工程
は
衝撃
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
ImpairedBodyPartFn
Brain
は
エンティティー
の
attribute
では %n は
工程
の すぐ
after
の
during
holds %n{ない}
ステートメント
Concussion
は
エンティティー
の
attribute
では %n は
工程
の すぐ
after
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?T
(
DayFn
1
(
MonthFn
October
(
YearFn
1992))))
(
conventionalLongName
"Andean Community of Nations"
AndeanCommunityOfNations
)))
Government.kif 2791-2794
時間位置
は 1
day
目 の
instance
では %n
conventionalLongName
"Andean Community of Nations" and
AndeanCommunityOfNations
は
時間位置
の すぐ
after
の
during
holds %n{ない}
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
and
(
instance
?TIME
(
YearFn
1996))
(
conventionalLongName
"Agency for the French-Speaking Community"
AgencyForTheFrenchSpeakingCommunity
)))
Government.kif 2765-2769
時間位置
は 1996
year
目 の
instance
では %n
conventionalLongName
"Agency for the French-Speaking Community" and
AgencyForTheFrenchSpeakingCommunity
は
時間位置
の すぐ
after
の
during
holds %n{ない}
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