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
ImmediatePastFn
Sigma KEE - ImmediatePastFn
ImmediatePastFn
appearance as argument number 1
(
documentation
ImmediatePastFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
TimePosition
和紧接这个
TimePosition
之前的一个既短而又不确定的
TimeInterval
。")
chinese_format.kif 2741-2742
(
documentation
ImmediatePastFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimePosition
to a short, indeterminate
TimeInterval
that immediately precedes the
TimePosition
.")
Merge.kif 8536-8538
(
documentation
ImmediatePastFn
JapaneseLanguage
"
UnaryFunction
は、
TimePosition
を
TimePosition
の直前にある短い不確定
TimeInterval
にマップする。")
japanese_format.kif 1467-1468
(
domain
ImmediatePastFn
1
TimePosition
)
Merge.kif 8533-8533
ImmediatePastFn
の数値 1 引数は
時間位置
の
instance
では %n
(
instance
ImmediatePastFn
TemporalRelation
)
Merge.kif 8530-8530
ImmediatePastFn
は
時間関係
の
instance
では %n
(
instance
ImmediatePastFn
TotalValuedRelation
)
Merge.kif 8532-8532
ImmediatePastFn
は
合計値関係
の
instance
では %n
(
instance
ImmediatePastFn
UnaryFunction
)
Merge.kif 8531-8531
ImmediatePastFn
は
1変数関数
の
instance
では %n
(
range
ImmediatePastFn
TimeInterval
)
Merge.kif 8534-8534
ImmediatePastFn
の
range
は
時間間隔
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
ImmediatePastFn
"紧接 %1
before
")
chinese_format.kif 459-459
(
format
EnglishLanguage
ImmediatePastFn
"immediately
before
%1")
english_format.kif 465-465
(
format
FrenchLanguage
ImmediatePastFn
"immediatement avant %1")
french_format.kif 266-266
(
format
ItalianLanguage
ImmediatePastFn
"immediatamente prima di %1")
relations-it.txt 139-139
(
format
JapaneseLanguage
ImmediatePastFn
"%1 の immediately
before
")
japanese_format.kif 2056-2056
(
format
PortugueseLanguage
ImmediatePastFn
"imediatemente antes de %1")
portuguese_format.kif 218-218
(
format
cz
ImmediatePastFn
"pr�v� p�ed %1'")
relations-cz.txt 272-272
(
format
de
ImmediatePastFn
"direkt vor %1")
relations-de.txt 600-600
(
format
hi
ImmediatePastFn
"%1 ke tatkaala puurva")
relations-hindi.txt 178-178
(
format
ro
ImmediatePastFn
"imediat
before
%t{înainte de} %1")
relations-ro.kif 287-287
(
format
sv
ImmediatePastFn
"omedelbart före %1")
relations-sv.txt 293-293
(
format
tg
ImmediatePastFn
"bago ng agad sa %1")
relations-tg.txt 282-282
(
termFormat
ChineseLanguage
ImmediatePastFn
"不久的过去")
domainEnglishFormat.kif 29361-29361
(
termFormat
ChineseLanguage
ImmediatePastFn
"紧接过去函数")
chinese_format.kif 460-460
(
termFormat
ChineseTraditionalLanguage
ImmediatePastFn
"不久的過去")
domainEnglishFormat.kif 29360-29360
(
termFormat
EnglishLanguage
ImmediatePastFn
"immediate past")
domainEnglishFormat.kif 29359-29359
(
termFormat
tg
ImmediatePastFn
"tungkulin ng bago ng agad")
relations-tg.txt 283-283
antecedent
(=>
(
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 9866-9888
オブジェクト
は
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 9927-9949
オブジェクト
は
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
?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
?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 7016-7030
工程
は
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
?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
?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 1325-1348
オブジェクト
は
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
?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 10582-10597
工程
は
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 10560-10575
工程
は
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
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
金融取引
は
Payment
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
FinancialAccount
は
FinancialAccount
の
instance
では %n
transactionAmount
金融取引
and
実数
の
測定単位
(s)
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の immediately
before
and
実数
の
測定単位
(s)
実数
は (
実数
+
実数
) と
equal
では %n
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の すぐ
after
and
実数
の
測定単位
(s)
(=>
(
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 1970-1982
エンティティー
は
自己接続オブジェクト
の
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 7068-7082
工程
は
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
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
金融取引
は
Withdrawal
の
instance
では %n
FinancialAccount
は
FinancialAccount
の
instance
では %n
金融取引
は
FinancialAccount
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の immediately
before
and
実数
の
測定単位
(s)
実数
は (
実数
+
実数
) と
equal
では %n
currentAccountBalance
FinancialAccount
,
金融取引
の
after
の すぐ
after
and
実数
の
測定単位
(s)
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 702-717
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
(
instance
?A
Amputating
)
(
patient
?A ?H)
(
instance
?L
Limb
))
(
exists
(?P ?B)
(
and
(
part
?P ?L)
(
part
?B ?P)
(
instance
?B
Bone
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
part
?P ?H))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
not
(
part
?P ?H))))))
Medicine.kif 6257-6275
工程
は
Amputating
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
Limb
の
instance
では %n
オブジェクト
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
骨
の
instance
では %n
オブジェクト
は
エンティティー
の
part
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
エンティティー
の
part
では は
工程
の
time
の existence の immediately
before
の
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
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18706-18722
移動
は
Bequeathing
の
instance
では %n
AutonomousAgent
は
移動
の
agent
では %n
移動
は
エンティティー
に
end
s %n{ない}
objectTransferred
移動
and
AutonomousAgent
ROP
工程
工程
は
死
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
AutonomousAgent
は
AutonomousAgent
ROP を
possess
es %n{ない} は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
confersNorm
AutonomousAgent
,
エンティティー
は
AutonomousAgent
ROP を
possess
es %n{ない} and
Permission
(=>
(
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
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6050-6069
工程
は
Coughing
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Lung
の
instance
では %n
エンティティー
は
Throat
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
は
AutonomousAgent
の
part
では %n
エンティティー
は
AutonomousAgent
の
part
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない} の 目的 %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
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6116-6134
工程
は
Sneezing
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
,
エンティティー
OSE and
エンティティー
エンティティー
は
NasalCavity
の
instance
では %n
エンティティー
OSE は
Nose
の
instance
では %n
エンティティー
OSE は ホール
エンティティー
の
host
と
equal
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
OSE は
AutonomousAgent
の
part
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?Check
Check
)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check))
(
exists
(?Depositing)
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
time
?Depositing
(
ImmediatePastFn
(
WhenFn
?Processing))))))
FinancialOntology.kif 137-146
エンティティー
は
Check
の
instance
では %n
工程
は
ProcessingACheck
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
工程
は
DepositingACheck
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
工程
の
time
の existence の immediately
before
の
during
exists %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
?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 10258-10273
工程
は
死
の
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
?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
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18648-18666
工程
は
Inheriting
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
工程
は
死
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
AutonomousAgent
は
エンティティー
を
possess
es %n{ない} は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
AutonomousAgent
は
認識エージェント
が
認識エージェント
は
エンティティー
を
possess
es %n{ない} のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?IRRIGATION
Irrigating
)
(
patient
?IRRIGATION ?AREA)
(
instance
?AREA
LandArea
))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Dry
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Damp
))))
Geography.kif 5711-5718
工程
は
Irrigating
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
土地面積
の
instance
では %n
Dry
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
Damp
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))))
emotion.kif 1393-1411
工程
は
MovingAwayFromPeople
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
,
実数
and
実数
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
UnitOfLength
の
instance
では %n
工程
と
AutonomousAgent
の
distance
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
工程
と
AutonomousAgent
の
distance
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D1 ?D2))))
emotion.kif 1427-1445
工程
は
MovingTowardsPeople
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
,
実数
and
実数
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
UnitOfLength
の
instance
では %n
工程
と
AutonomousAgent
の
distance
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
工程
と
AutonomousAgent
の
distance
は
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?R
RelievingPain
)
(
patient
?R ?H))
(
and
(
exists
(?P1)
(
and
(
overlapsTemporally
(
WhenFn
?P1)
(
ImmediatePastFn
(
WhenFn
?R)))
(
instance
?P1
Pain
)
(
located
?P1 ?H)))
(
not
(
exists
(?P2)
(
and
(
overlapsTemporally
(
WhenFn
?P2)
(
ImmediateFutureFn
(
WhenFn
?R)))
(
instance
?P2
Pain
)
(
located
?P2 ?H))))))
Mid-level-ontology.kif 5773-5792
工程
は
RelievingPain
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
物理
工程
の
time
の existence の immediately
before
は
物理
の
time
の existence と
overlap
s %n{dない}
物理
は
Pain
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
物理
工程
の
time
の existence の すぐ
after
は
物理
の
time
の existence と
overlap
s %n{dない}
物理
は
Pain
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
(=>
(
and
(
instance
?SALE
BargainSale
)
(
patient
?SALE ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SALE))
(
price
?OBJ
(
MeasureFn
?PRICE1 ?U) ?AGENT1))
(
holdsDuring
(
WhenFn
?SALE)
(
price
?OBJ
(
MeasureFn
?PRICE2 ?U) ?AGENT2))
(
lessThan
?PRICE2 ?PRICE1))))
Mid-level-ontology.kif 7875-7889
工程
は
BargainSale
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
実数
実数
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
UnitOfCurrency
の
instance
では %n
price
エンティティー
,
実数
の
エンティティー
(s) and
エンティティー
は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
price
エンティティー
,
実数
の
エンティティー
(s) and
エンティティー
は
工程
の
time
の existence の
during
holds %n{ない}
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
オブジェクト
は
VentedChestSeal
の
instance
では %n
移動
は
取付け
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
移動
エンティティー
,
エンティティー
and
エンティティー
移動
は
Air
の
instance
では %n
エンティティー
は
Lung
の
instance
では %n
エンティティー
は
Chest
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
移動
は
エンティティー
と
エンティティー
の
between
では %n は
移動
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
移動
は
Outside
対
エンティティー
では %n は
移動
の
time
の existence の すぐ
after
の
during
holds %n{ない} の 目的 %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21174-21204
命題
は
Argument
の
instance
では %n
工程
は
推理
の
instance
では %n
命題
は
Archeology
の
instance
では %n
命題
は
命題
の
sub
-proposition では %n
工程
は
命題
の内容を
express
es %n{ない}
工程
エンティティー
,
物理
,
実数
,
エンティティー
and
エンティティー
工程
は
Discovering
の
instance
では %n
物理
は
オブジェクト
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
は
工程
への
reference
を includes %n{ない}
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
物理
の
age
は
実数
の
YearDuration
(s) では
実数
は 50 より
greater
では %n
エンティティー
は
エンティティー
の
surface
では %n
エンティティー
は
BodyOfWater
の
instance
では %n
物理
は
Below
対
エンティティー
では %n
エンティティー
は
エンティティー
の
surface
では %n
エンティティー
は
土地面積
の
instance
では %n
物理
は
Below
対
エンティティー
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
(=>
(
and
(
status
?Process
ProcessFailure
)
(
hasPurpose
?Process ?Purpose))
(
not
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Process)) ?Purpose)))
QoSontology.kif 802-809
status
ComputerProcess
and
ProcessFailure
ComputerProcess
は
公式
の 目的 %n{ない}
公式
は
ComputerProcess
の
time
の existence の immediately
before
の
during
hold ない
(=>
(
holdsDuring
?TIME
(
confersNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))))
Merge.kif 4001-4011
confersNorm
エンティティー
,
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
には
エンティティー
の
modal
force
が ない %p{ある} は
時間位置
の immediately
before
の
during
holds %n{ない} ステートメント
エンティティー
には
エンティティー
の
modal
force
が ある は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
holdsDuring
?TIME
(
deprivesNorm
?ENTITY ?FORMULA ?NORM))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
modalAttribute
?FORMULA ?NORM))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
modalAttribute
?FORMULA ?NORM)))))
Merge.kif 4023-4032
deprivesNorm
エンティティー
,
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
には
エンティティー
の
modal
force
が ある は
時間位置
の immediately
before
の
during
holds %n{ない} ステートメント
エンティティー
には
エンティティー
の
modal
force
が ない %p{ある} は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
instance
?BA
BleedingAir
)
(
hasPurpose
?BA
(
exists
(?FC ?A)
(
and
(
instance
?FC
FluidContainer
)
(
instance
?A
Air
)
(
holdsDuring
(
ImmediatePastFn
?BA)
(
contains
?FC ?A))
(
holdsDuring
(
ImmediateFutureFn
?BA)
(
not
(
contains
?FC ?A)))))))
Cars.kif 1519-1529
物理
は
BleedingAir
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
FluidContainer
の
instance
では %n
エンティティー
は
Air
の
instance
では %n
エンティティー
は
エンティティー
を
contain
s %n{ない} は
物理
の immediately
before
の
during
holds %n{ない}
エンティティー
は
エンティティー
を
contain
ない は
物理
の すぐ
after
の
during
holds %n{ない} の 目的 %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