origin
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
Local
))
(
exists
(?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
telephoneNumber
?TEL1 ?ORIGIN)
(
telephoneNumber
?TEL2 ?DEST)
(
telecomAreaCode
?CODE ?TEL1)
(
telecomAreaCode
?CODE ?TEL2))))
Mid-level-ontology.kif 27107-27118
オブジェクト
は
TelephoneCommunication
の
instance
では %n
Local
は
オブジェクト
の
attribute
では %n
TelecomNumber
TelecomNumber
,
AutonomousAgent
,
AutonomousAgent
and
記号文字列
オブジェクト
は
AutonomousAgent
から
originate
s %n{ない}
オブジェクト
は
AutonomousAgent
に
end
s %n{ない}
telephoneNumber
TelecomNumber
and
AutonomousAgent
telephoneNumber
TelecomNumber
and
AutonomousAgent
telecomAreaCode
記号文字列
and
TelecomNumber
telecomAreaCode
記号文字列
and
TelecomNumber
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
checkAccount
?Check ?Account)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Withdrawal ?WithdrawalTime)
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instrument
?Withdrawal ?Check)
(
equal
(
WhenFn
?Withdrawal) ?WithdrawalTime)
(
meetsTemporally
?ProcessingTime ?WithdrawalTime)
(
transactionAmount
?Withdrawal ?Amount)
(
origin
?Withdrawal ?Account))))
FinancialOntology.kif 104-118
Check
の
value
は
通貨測定
では %n
checkAccount
Check
and
FinancialAccount
工程
は
ProcessingACheck
の
instance
では %n
Check
は
工程
の
patient
では %n
工程
の
time
の existence は
工程
Time と
equal
では %n
金融取引
金融取引
Time
金融取引
は
Withdrawal
の
instance
では %n
Check
は
金融取引
の
instrument
では %n
金融取引
の
time
の existence は
金融取引
Time と
equal
では %n
工程
Time は
金融取引
Time に
meet
s %n{ない}
transactionAmount
金融取引
and
通貨測定
金融取引
は
FinancialAccount
から
originate
s %n{ない}
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
agreementClause
(
exists
(?B ?ITEM)
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?B ?BUYER)
(
origin
?B ?SELLER)
(
transactionAmount
?B ?PRICE)))
Obligation
?AGREE ?SELLER))
Catalog.kif 311-324
negotiatedPrice
物理
,
通貨測定
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
agreementClause
エンティティー
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
物理
の
immediate
の インスタンス では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
認識エージェント
から
originate
s %n{ない}
transactionAmount
エンティティー
and
通貨測定
,
Obligation
,
Agreement
and
認識エージェント
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
publishedPrice
エンティティー
,
通貨測定
,
認識エージェント
and
PricingScheme
unitPrice
エンティティー
,
関数量
,
認識エージェント
and
PricingScheme
エンティティー
は
物理
の
subclass
では %n
エンティティー
は
エンティティー
の
immediate
の インスタンス では %n
validFor
PricingScheme
and
AutonomousAgent
エンティティー
は
AutonomousAgent
の
instance
では %n
ステートメント
エンティティー
は
購買
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
認識エージェント
から
originate
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
transactionAmount
エンティティー
and
通貨測定
には
Likely
の
modal
force
が ある
(=>
(
and
(
sheddingLeaves
?T ?L)
(
instance
?T
DeciduousTree
)
(
instance
?L
PlantLeaf
))
(
exists
(?SHED ?S)
(
and
(
subclass
?SHED
Removing
)
(
frequency
?SHED
YearDuration
)
(
instance
?S ?SHED)
(
origin
?S ?T)
(
patient
?S ?L))))
Geography.kif 6393-6404
sheddingLeaves
植物
and
PlantLeaf
植物
は
DeciduousTree
の
instance
では %n
PlantLeaf
は
PlantLeaf
の
instance
では %n
工程
工程
工程
は
除却
の
subclass
では %n
工程
は
YearDuration
ごとに
occur
s %n{ない}
工程
は
工程
の
instance
では %n
工程
は
植物
から
originate
s %n{ない}
PlantLeaf
は
工程
の
patient
では %n
(=>
(
attribute
?M
CoinOperated
)
(
hasPurpose
?M
(
exists
(?C ?FT ?A ?ACT)
(
and
(
instance
?C
CurrencyCoin
)
(
instance
?FT
FinancialTransaction
)
(
destination
?FT ?M)
(
patient
?FT ?C)
(
origin
?FT ?A)
(
causes
?FT ?ACT)
(
wants
?A ?ACT)))))
Mid-level-ontology.kif 29474-29485
CoinOperated
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
CT
エンティティー
は
CurrencyCoin
の
instance
では %n
エンティティー
は
金融取引
の
instance
では %n
エンティティー
は
オブジェクト
に
end
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
CT を
cause
s %n{ない}
エンティティー
は
エンティティー
CT を
want
s %n{ない} の 目的 %n{ない}
(=>
(
exportPartner
?AGENT1 ?AGENT2)
(
exists
(?EXPORT)
(
and
(
instance
?EXPORT
Exporting
)
(
origin
?EXPORT ?AGENT1)
(
destination
?EXPORT ?AGENT2))))
Economy.kif 2379-2385
exportPartner
AutonomousAgent
and
AutonomousAgent
工程
工程
は
Exporting
の
instance
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
工程
は
AutonomousAgent
に
end
s %n{ない}
(=>
(
exportPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT1)
(
destination
?EXPORT ?AGENT2))))
Economy.kif 2359-2367
exportPartnerInPeriod
AutonomousAgent
,
AutonomousAgent
and
時間間隔
時間間隔
工程
時間間隔
は
時間間隔
の
instance
では %n
工程
は
Exporting
の
instance
では %n
工程
の
time
の existence は
時間間隔
と
overlap
s %n{dない}
工程
は
AutonomousAgent
から
originate
s %n{ない}
工程
は
AutonomousAgent
に
end
s %n{ない}
(=>
(
holdsDuring
?T
(
and
(
instance
?C
Computer
)
(
attribute
?C
AirplaneMode
)))
(
not
(
holdsDuring
?T
(
capability
(
NetworkCommunicationFn
WirelessNetwork
)
origin
?C))))
ComputingBrands.kif 1820-1827
エンティティー
は
Computer
の
instance
では %n
スタンドアロンモード
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は %1 を介した通信 を
origin
として行う
capable
では %n は
時間位置
の
during
hold ない
(=>
(
importPartner
?AGENT1 ?AGENT2)
(
exists
(?EXPORT)
(
and
(
instance
?EXPORT
Exporting
)
(
origin
?EXPORT ?AGENT2)
(
destination
?EXPORT ?AGENT1))))
Economy.kif 2666-2672
importPartner
AutonomousAgent
and
AutonomousAgent
工程
工程
は
Exporting
の
instance
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
工程
は
AutonomousAgent
に
end
s %n{ない}
(=>
(
importPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT2)
(
destination
?EXPORT ?AGENT1))))
Economy.kif 2647-2655
importPartnerInPeriod
AutonomousAgent
,
AutonomousAgent
and
時間間隔
時間間隔
工程
時間間隔
は
時間間隔
の
instance
では %n
工程
は
Exporting
の
instance
では %n
工程
の
time
の existence は
時間間隔
と
overlap
s %n{dない}
工程
は
AutonomousAgent
から
originate
s %n{ない}
工程
は
AutonomousAgent
に
end
s %n{ない}
(=>
(
instance
?ACT
UploadingOverNetwork
)
(
exists
(?DATA ?COM)
(
and
(
patient
?ACT ?DATA)
(
instance
?COM
Computer
)
(
origin
?ACT ?COM)
(
instance
?DATA
DigitalData
))))
ComputerInput.kif 2779-2786
工程
は
UploadingOverNetwork
の
instance
では %n
エンティティー
オブジェクト
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
Computer
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
DigitalData
の
instance
では %n
(=>
(
instance
?AI
AirIntake
)
(
hasPurpose
?AI
(
exists
(?A ?E ?T)
(
and
(
instance
?A
Air
)
(
instance
?E
Engine
)
(
instance
?T
Transfer
)
(
origin
?T ?AI)
(
destination
?T ?E)
(
patient
?T ?A)))))
Cars.kif 973-983
物理
は
AirIntake
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
Air
の
instance
では %n
エンティティー
は
Engine
の
instance
では %n
エンティティー
は
移動
の
instance
では %n
エンティティー
は
物理
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
instance
?B
Birth
)
(
exists
(?M ?BABY)
(
and
(
attribute
?M
Female
)
(
origin
?B ?M)
(
objectTransferred
?B ?BABY)
(
attribute
?BABY
NonFullyFormed
))))
Mid-level-ontology.kif 24010-24017
移動
は
出生
の
instance
では %n
オブジェクト
移動
ABY
Female
は
オブジェクト
の
attribute
では %n
移動
は
オブジェクト
から
originate
s %n{ない}
objectTransferred
移動
and
移動
ABY
NonFullyFormed
は
移動
ABY の
attribute
では %n
(=>
(
instance
?BEVERAGE
DistilledAlcoholicBeverage
)
(
exists
(?REMOVE ?WATER)
(
and
(
instance
?REMOVE
Removing
)
(
patient
?REMOVE ?WATER)
(
instance
?WATER
FreshWater
)
(
origin
?REMOVE ?BEVERAGE))))
Mid-level-ontology.kif 10925-10932
オブジェクト
は
DistilledAlcoholicBeverage
の
instance
では %n
工程
エンティティー
工程
は
除却
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
FreshWater
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
(=>
(
instance
?C
Catheter
)
(
hasPurpose
?C
(
exists
(?M ?O ?OBJ ?L)
(
and
(
instance
?O
Organism
)
(
instance
?M
Motion
)
(
moves
?M ?OBJ)
(
orientation
?L ?O
Outside
)
(
path
?M ?C)
(
or
(
and
(
origin
?M ?L)
(
destination
?M ?O))
(
and
(
origin
?M ?O)
(
destination
?M ?L)))))))
Medicine.kif 548-564
物理
は
Catheter
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
BJ and
エンティティー
エンティティー
は
物
の
instance
では %n
エンティティー
は
motion
の
instance
では %n
moves
エンティティー
and
エンティティー
BJ
エンティティー
は
Outside
対
エンティティー
では %n
物理
は
エンティティー
が 発生する
path
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3218-3226
エンティティー
は
CommunitySpread
の
instance
では %n
認識エージェント
認識エージェント
は
エンティティー
エンティティー
は
認識エージェント
から
originate
s %n{ない}
認識エージェント
は
エンティティー
の
name
を 持って %n{ない} を
know
s %n{ない}
(=>
(
instance
?CM
CentrifugalMotion
)
(
exists
(?R ?A ?O1 ?O2)
(
and
(
instance
?R
Rotating
)
(
axis
?A ?O1)
(
origin
?CM ?A)
(
experiencer
?R ?O1)
(
experiencer
?CM ?O2)
(
causes
?R ?CM))))
Mid-level-ontology.kif 17487-17496
工程
は
CentrifugalMotion
の
instance
では %n
工程
オブジェクト
,
AutonomousAgent
and
AutonomousAgent
工程
は
Rotating
の
instance
では %n
axis
オブジェクト
and
AutonomousAgent
工程
は
オブジェクト
から
originate
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
instance
?CM
CoffeeMaking
)
(
exists
(?R ?LM ?CG ?W ?F ?C)
(
and
(
subProcess
?R ?CM)
(
instance
?R
Removing
)
(
origin
?R ?LM)
(
instance
?LM
LiquidMixture
)
(
part
?W ?LM)
(
instance
?W
DrinkingWater
)
(
part
?CG ?LM)
(
instance
?CG
CoffeeGrind
)
(
instrument
?R ?F)
(
instance
?F
Filter
)
(
result
?R ?C)
(
instance
?C
Coffee
))))
Food.kif 686-701
工程
は
CoffeeMaking
の
instance
では %n
工程
オブジェクト
,
オブジェクト
,
オブジェクト
,
オブジェクト
and
エンティティー
工程
は
工程
% の
subprocess
では %n
工程
は
除却
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
LiquidMixture
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
DrinkingWater
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
CoffeeGrind
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
Filter
の
instance
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
Coffee
の
instance
では %n
(=>
(
instance
?CP
ComputerProtocol
)
(
hasPurpose
?CP
(
exists
(?P1 ?P2 ?C)
(
and
(
instance
?P1
ComputerProgram
)
(
instance
?P2
ComputerProgram
)
(
instance
?C
DataTransfer
)
(
origin
?C ?P1)
(
destination
?C ?P2)
(
represents
?CP ?C)))))
ComputingBrands.kif 1736-1746
物理
は
コンピュータプロトコル
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
コンピュータープログラム
の
instance
では %n
エンティティー
は
コンピュータープログラム
の
instance
では %n
エンティティー
は
DataTransfer
の
instance
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
物理
は
エンティティー
を
express
es %n{ない} の 目的 %n{ない}
(=>
(
instance
?D
Defrauding
)
(
exists
(?A ?P ?O)
(
and
(
agent
?D ?A)
(
suffers
?D ?P)
(
benefits
?D ?A)
(
objectTransferred
?D ?O)
(
origin
?O ?P)
(
destination
?O ?A))))
Mid-level-ontology.kif 18311-18320
移動
は
Defrauding
の
instance
では %n
AutonomousAgent
AutonomousAgent
and
オブジェクト
AutonomousAgent
は
移動
の
agent
では %n
suffers
移動
and
AutonomousAgent
AutonomousAgent
は
移動
の 受益者では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
AutonomousAgent
から
originate
s %n{ない}
オブジェクト
は
AutonomousAgent
に
end
s %n{ない}
(=>
(
instance
?D
Discharging
)
(
exists
(?B)
(
and
(
instance
?B
Battery
)
(
origin
?D ?B))))
Cars.kif 2424-2429
工程
は
Discharging
の
instance
では %n
オブジェクト
オブジェクト
は
Battery
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
(=>
(
instance
?D
Diuretic
)
(
hasPurpose
?D
(
exists
(?R ?L ?H ?LOC)
(
and
(
instance
?H
Human
)
(
instance
?R
Removing
)
(
instance
?L
Liquid
)
(
experiencer
?R ?H)
(
moves
?R ?L)
(
origin
?L ?H)
(
not
(
contains
?H ?LOC))
(
destination
?R ?LOC)))))
Mid-level-ontology.kif 10010-10023
物理
は
Diuretic
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
OC
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
は
Liquid
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
moves
エンティティー
and
エンティティー
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
OC を
contain
ない
エンティティー
は
エンティティー
OC に
end
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?DETERGENT
Detergent
)
(
hasPurpose
?DETERGENT
(
exists
(?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)
(
and
(
instance
?REMOVE
Removing
)
(
instance
?SUBSTANCE
Substance
)
(
patient
?REMOVE ?SUBSTANCE)
(
origin
?REMOVE ?SURFACE)
(
surface
?SURFACE ?OBJECT)))))
Mid-level-ontology.kif 8848-8857
物理
は
Detergent
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
除却
の
instance
では %n
エンティティー
は
物質
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
の
surface
では %n の 目的 %n{ない}
(=>
(
instance
?E
Elevator
)
(
hasPurpose
?E
(
exists
(?T ?L1 ?L2 ?B)
(
and
(
instance
?T
Transportation
)
(
origin
?T ?L1)
(
instance
?L1
BuildingLevel
)
(
destination
?T ?L2)
(
instance
?L2
BuildingLevel
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?B)
(
part
?L2 ?B)
(
instance
?B
Building
)))))
Mid-level-ontology.kif 15427-15440
物理
は
Elevator
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
交通手段
の
instance
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
BuildingLevel
の
instance
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
BuildingLevel
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
建物
の
instance
では %n の 目的 %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