patient
(=>
(
and
(
instance
?B
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 17427-17439
工程
は
Deboarding
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
onboard
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
onboard
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?B
Deboarding
)
(
patient
?B ?VEHICLE))
(
instance
?VEHICLE
Vehicle
))
Mid-level-ontology.kif 17421-17425
工程
は
Deboarding
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
Vehicle
の
instance
では %n
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
工程
は
沸騰
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
Liquid
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Gas
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13831-13839
工程
は
沸騰
の
instance
では %n
boilingPoint
純物質
and
実数
の
測定単位
(s)
エンティティー
は
純物質
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
measure
は
実数
の
測定単位
(s) では %n は
工程
の
time
の existence の
during
holds %n{ない}
測定単位
は
UnitOfTemperature
の
instance
では %n
実数
は
実数
greater
では %n
(=>
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 11731-11742
工程
は
借り
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
工程
は
貸し
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?BP
BrakePad
)
(
instance
?BR
BrakeRotor
)
(
instance
?R
Rotating
)
(
patient
?R ?BR)
(
instance
?F
Friction
)
(
resource
?F ?BP)
(
patient
?F ?BR))
(
not
(
patient
?R ?BP)))
Cars.kif 617-627
オブジェクト
は
BrakePad
の
instance
では %n
エンティティー
は
BrakeRotor
の
instance
では %n
工程
は
Rotating
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
Friction
の
instance
では %n
オブジェクト
は
工程
の
resource
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
工程
の
patient
では
(=>
(
and
(
instance
?BS
BrakeShoe
)
(
instance
?BD
BrakeDrum
)
(
instance
?R
Rotating
)
(
patient
?R ?BD)
(
instance
?F
Friction
)
(
resource
?F ?BS)
(
patient
?F ?BD))
(
not
(
patient
?R ?BS)))
Cars.kif 639-649
オブジェクト
は
BrakeShoe
の
instance
では %n
エンティティー
は
BrakeDrum
の
instance
では %n
工程
は
Rotating
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
Friction
の
instance
では %n
オブジェクト
は
工程
の
resource
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
工程
の
patient
では
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11905-11916
工程
は
購買
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
工程
は
販売
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?BUYINGS
Collection
)
(
instance
?GMB
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMB
(
GMBFn
?BUYINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?BUYING)
(
and
(
member
?BUYING ?BUYINGS)
(
patient
?BUYING ?ITEM))))))))
(
equal
(
ABPFn
?BUYINGS)
(
DivisionFn
?GMB ?TOTAL)))
UXExperimentalTerms.kif 3239-3259
コレクション
は
コレクション
の
instance
では %n
実数
は
通貨測定
の
instance
では %n
整数
は
実数
の
instance
では %n
実数
は
GMBFn
コレクション
と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n
ABPFn
コレクション
は
実数
+
整数
と
equal
では %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
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
工程
は
CateringService
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
工程
UST に
end
s %n{ない}
AutonomousAgent
は
オブジェクト
に
located
して %n
customer
工程
UST and
AutonomousAgent
工程
エンティティー
and
工程
工程
は
料理
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
摂食
の
instance
では %n
工程
UST は
工程
の
agent
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
and
(
instance
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Happiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Happiness
))))
Mid-level-ontology.kif 23768-23779
工程
は
CausingHappiness
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
Happiness
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Happiness
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
CausingUnhappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Unhappiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Unhappiness
))))
Mid-level-ontology.kif 23789-23800
工程
は
CausingUnhappiness
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
Unhappiness
は
エンティティー
の
attribute
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Unhappiness
は
エンティティー
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
Medicine.kif 6505-6529
工程
は
CheckingVitals
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
Heart
は
Heart
の
instance
では %n
Heart
は
オブジェクト
の
part
では %n
Lung
は
Lung
の
instance
では %n
Lung
は
オブジェクト
の
part
では %n
systolicBloodPressure
オブジェクト
and
エンティティー
diastolicBloodPressure
オブジェクト
and
エンティティー
オブジェクト
の
measure
は
エンティティー
の
FahrenheitDegree
(s) では %n は
工程
の
time
の existence の
during
holds %n{ない}
heartRate
Heart
,
工程
の
time
の existence and
整数
breathingRate
Lung
,
工程
の
time
の existence and
整数
認識エージェント
は
systolicBloodPressure
オブジェクト
and
エンティティー
diastolicBloodPressure
オブジェクト
and
エンティティー
オブジェクト
の
measure
は
エンティティー
の
FahrenheitDegree
(s) では %n は
工程
の
time
の existence の
during
holds %n{ない}
heartRate
Heart
,
工程
の
time
の existence and
整数
breathingRate
Lung
,
工程
の
time
の existence and
整数
を
know
s %n{ない}
(=>
(
and
(
instance
?C
ChurningButter
)
(
instance
?E
Emulsion
)
(
patient
?C ?E))
(
exists
(?M ?B)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
and
(
equal
?E ?M)
(
instance
?M
Milk
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
and
(
equal
?E ?B)
(
instance
?B
Butter
))))))
Food.kif 3076-3094
工程
は
ChurningButter
の
instance
では %n
エンティティー
は
Emulsion
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
エンティティー
は
エンティティー
と
equal
では %n
エンティティー
は
Milk
の
instance
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
equal
では %n
エンティティー
は
Butter
の
instance
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOff
))
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2))))
Cars.kif 1838-1856
オブジェクト
は
Clutch
の
instance
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
Engine
の
instance
では %n
オブジェクト
は
Gearbox
の
instance
では %n
オブジェクト
EAR は
Gear
の
instance
では %n
オブジェクト
EAR は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
motion
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
DeviceOff
は
オブジェクト
の
attribute
では %n
工程
2
工程
2 は
motion
の
instance
では %n
オブジェクト
は
工程
2 の
patient
では %n
工程
は
工程
2 を
cause
s %n{ない}
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOn
))
(
not
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2)))))
Cars.kif 1817-1836
オブジェクト
は
Clutch
の
instance
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
Engine
の
instance
では %n
オブジェクト
は
Gearbox
の
instance
では %n
オブジェクト
EAR は
Gear
の
instance
では %n
オブジェクト
EAR は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
motion
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
DeviceOn
は
オブジェクト
の
attribute
では %n
工程
2
工程
2 は
motion
の
instance
では %n
オブジェクト
は
工程
2 の
patient
では %n
工程
は
工程
2 を
cause
s %n{ない}
(=>
(
and
(
instance
?C
Concealing
)
(
patient
?C ?OBJ))
(
hasPurpose
?C
(
not
(
exists
(?S)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?OBJ))))))
Mid-level-ontology.kif 5489-5498
工程
は
Concealing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
エンティティー
は
見ること
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29758-29765
工程
は
覆い
の
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
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
工程
は
Cricothyroidotomy
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
は
HoleRegion
の
instance
では %n
エンティティー
は ホール
エンティティー
の
host
と
equal
では %n
エンティティー
は
Throat
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?B ?SC)
(
and
(
instance
?B
Breaking
)
(
causes
?C ?B)
(
subProcess
?B ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?B ?O)
(
patient
?SC ?O))))
Food.kif 980-992
工程
は
Crushing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
工程
工程
工程
は
Breaking
の
instance
では %n
工程
は
工程
を
cause
s %n{ない}
工程
は
工程
% の
subprocess
では %n
工程
は
形状変化
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?SC)
(
and
(
result
?C ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?SC ?O))))
Food.kif 994-1003
工程
は
Crushing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
工程
工程
は
工程
の
result
では %n
工程
は
形状変化
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?C
Curdling
)
(
patient
?C ?X)
(
instance
?X
Colloid
))
(
exists
(?S ?A)
(
and
(
instance
?S
Separating
)
(
subProcess
?S ?C)
(
patient
?S ?X)
(
result
?S ?A)
(
piece
?A ?X)
(
instance
?A
Substance
))))
Food.kif 3199-3211
工程
は
Curdling
の
instance
では %n
物質
は
工程
の
patient
では %n
物質
は
Colloid
の
instance
では %n
工程
物質
工程
は
分離
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
物質
は
工程
の
patient
では %n
物質
は
工程
の
result
では %n
物質
は
物質
の
piece
では %n
物質
は
物質
の
instance
では %n
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
工程
は
CurdlingMilk
の
instance
では %n
物理
は
Milk
の
instance
では %n
物理
は
工程
の
patient
では %n
実数
工程
,
エンティティー
and
エンティティー
物理
の
measure
は
実数
の
PHValue
(s) では %n
工程
は
減少
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
実数
は
工程
の
patient
では %n
実数
は
エンティティー
と
equal
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
実数
は
エンティティー
と
equal
では %n は
工程
の
time
の existence の
end
の
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