ImmediateFutureFn
(=>
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
工程
は
けが
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
Injury
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %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
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?JOIN))
(
employs
?ORG ?PERSON)))
Merge.kif 10620-10629
工程
は
雇用
の
instance
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
エンティティー
を
employ
s %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Kill))
(
not
(
attribute
?Order
ActiveAgreement
))))
FinancialOntology.kif 2835-2842
工程
は
CancellingAnOrder
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
ActiveAgreement
は
エンティティー
の
attribute
では は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
Loan
は
CallableLoan
の
instance
では %n
lender
Loan
and
認識エージェント
borrower
Loan
and
認識エージェント
totalBalance
Loan
and
通貨測定
工程
は
Call
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
Loan
は
工程
の
patient
では %n
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Security)
(
lender
?Loan ?Bank)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Loan))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Bank ?Security)))
FinancialOntology.kif 1334-1343
Loan
は
Loan
の
instance
では %n
securedBy
Loan
and
Collateral
lender
Loan
and
認識エージェント
工程
は
FinancialDefault
の
instance
では %n
Loan
は
工程
の
patient
では %n
認識エージェント
は
Collateral
を
possess
es %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?MB
MeasuringBreathing
)
(
agent
?MB ?A)
(
instance
?L
Lung
)
(
part
?L ?P)
(
instance
?T
TimeInterval
)
(
during
?T
(
WhenFn
?MB))
(
duration
?T
MinuteDuration
)
(
patient
?MB ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MB))
(
exists
(?BR)
(
knows
?A
(
breathingRate
?L ?T ?BR)))))
Medicine.kif 466-482
工程
は
MeasuringBreathing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
は
工程
の
time
の existence の
during
に takes %n{ない}
時間間隔
の
duration
は
MinuteDuration
では %n
オブジェクト
は
工程
の
patient
では %n
エンティティー
AutonomousAgent
は
breathingRate
オブジェクト
,
時間間隔
and
エンティティー
を
know
s %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?MIT
BarMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Boy
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 69-85
工程
は
BarMitzvah
の
instance
では %n
人[人間]
は
工程
の
patient
では %n
人[人間]
は
Boy
の
instance
では %n
人[人間]
は
コレクション
の
member
では %n
コレクション
は
Judaism
の
instance
では %n
birthdate
人[人間]
and
日
日
は
正の整数
day
目 の
instance
では %n
整数
時間位置
整数
は
整数
の
instance
では %n
整数
は (
整数
+ 13) と
equal
では %n
時間位置
は
正の整数
day
目 の
instance
では %n
工程
の
time
の existence は
時間位置
の すぐ
after
と
equal
では %n
(=>
(
and
(
instance
?MIT
BatMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Girl
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 99-115
工程
は
BatMitzvah
の
instance
では %n
人[人間]
は
工程
の
patient
では %n
人[人間]
は
Girl
の
instance
では %n
人[人間]
は
コレクション
の
member
では %n
コレクション
は
Judaism
の
instance
では %n
birthdate
人[人間]
and
日
日
は
正の整数
day
目 の
instance
では %n
整数
時間位置
整数
は
整数
の
instance
では %n
整数
は (
整数
+ 13) と
equal
では %n
時間位置
は
正の整数
day
目 の
instance
では %n
工程
の
time
の existence は
時間位置
の すぐ
after
と
equal
では %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
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21432-21443
工程
は
Nausea
の
instance
では %n
認識エージェント
が
工程
を
experience
s %n{ない}
認識エージェント
は
エンティティー
エンティティー
は
Vomiting
の
instance
では %n
認識エージェント
が
エンティティー
を
experience
s %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない} を
believe
s %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 17638-17656
時間間隔
は
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 17616-17634
時間間隔
は
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{ない}
(=>
(
and
(
instance
?PROCESS
FreezingRain
)
(
patient
?PROCESS ?STUFF)
(
instance
?STUFF
Water
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROCESS))
(
attribute
?STUFF
Solid
)))
Weather.kif 1091-1096
工程
は
FreezingRain
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
水
の
instance
では %n
Solid
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %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
?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 5779-5798
工程
は
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
?SINKING
LandSubsidence
)
(
patient
?SINKING ?LAND)
(
instance
?LAND
LandArea
)
(
instance
?U
UnitOfLength
)
(
elevation
?LAND
(
MeasureFn
?HEIGHT1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SINKING))
(
exists
(?HEIGHT2)
(
and
(
elevation
?LAND
(
MeasureFn
?HEIGHT2 ?U))
(
lessThan
?HEIGHT2 ?HEIGHT1)))))
Geography.kif 6779-6792
工程
は
LandSubsidence
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
土地面積
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
elevation
オブジェクト
and
実数
の
測定単位
(s)
エンティティー
elevation
オブジェクト
and
エンティティー
の
測定単位
(s)
エンティティー
は
実数
より
less
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
exists
(?VAC)
(
and
(
instance
?VAC
Vaccine
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?V)
(
contains
?H ?VAC))))))
WMD.kif 1071-1081
工程
は
Vaccination
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
AC
工程
AC は
Vaccine
の
instance
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %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
?WEARING
Erosion
)
(
instance
?LAND
LandForm
)
(
patient
?WEARING ?LAND)
(
instance
?U
UnitOfVolume
)
(
measure
?LAND
(
MeasureFn
?SIZE1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WEARING))
(
exists
(?SIZE2)
(
and
(
measure
?LAND
(
MeasureFn
?SIZE2 ?U))
(
lessThan
?SIZE2 ?SIZE1)))))
Geography.kif 2689-2702
工程
は
Erosion
の
instance
では %n
物理
は
LandForm
の
instance
では %n
物理
は
工程
の
patient
では %n
測定単位
は
UnitOfVolume
の
instance
では %n
物理
の
measure
は
実数
の
測定単位
(s) では %n
エンティティー
物理
の
measure
は
エンティティー
の
測定単位
(s) では %n
エンティティー
は
実数
より
less
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %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)
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
エンティティー
は
ReadOnlyMemoryDataStorage
の
instance
では %n
工程
は
製造
の
instance
では %n
エンティティー
は
工程
の
result
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
コンテンツ開発
の
instance
では %n
エンティティー
は
DeletingData
の
instance
では %n
工程
の
time
の existence は
エンティティー
の
time
の existence より
earlier
happens %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
patient
では %n
stored
エンティティー
and
エンティティー
は
エンティティー
の
time
の existence の すぐ
after
の
during
holds %n{ない} には
Possibility
の
modal
force
が ない %p{ある}
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?BDE))
(
instance
?OBJ ?LST)))
VirusProteinAndCellPart.kif 228-235
lifeStageAchieved
生物学的プロセス
and
発達属性
AutonomousAgent
が
生物学的プロセス
を
experience
s %n{ない}
AutonomousAgent
は
発達属性
の
instance
では %n は
生物学的プロセス
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
の
measure
は
実数
の
ShareUnit
(s) では %n
splitFor
StockSplit
,
整数
and
整数
エンティティー
は
実数
+
整数
と
equal
では %n
エンティティー
は
エンティティー
+
整数
と
equal
では %n
オブジェクト
の
measure
は
エンティティー
の
ShareUnit
(s) では %n は
StockSplit
の
time
の existence の すぐ
after
の
during
holds %n{ない}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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