Selling
(販売)
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8080-8105
コレクション
は
組織
の
instance
では %n
WaterTransportationIndustry
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
and
エンティティー
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
WaterVehicle
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WholesaleTrade
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 6375-6391
コレクション
は
組織
の
instance
では %n
WholesaleTrade
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
販売
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
AutonomousAgent
の
patient
では %n
工程
2 は
コレクション
の
member
では %n
AutonomousAgent
2 は
販売
の
instance
では %n
工程
2 は
AutonomousAgent
2 の
agent
では %n
エンティティー
は
AutonomousAgent
2 の
patient
では %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WoodProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Wood
)
(
material
Wood
?THING))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2563-2581
コレクション
は
組織
の
instance
では %n
WoodProductManufacturing
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
微粒子オブジェクト
工程
2 and
AutonomousAgent
2
AutonomousAgent
は
製造
の
instance
では %n
微粒子オブジェクト
は
Wood
の
instance
では %n
Wood
は
微粒子オブジェクト
で
made
%n
微粒子オブジェクト
は
AutonomousAgent
の
patient
では %n
工程
2 は
コレクション
の
member
では %n
AutonomousAgent
2 は
販売
の
instance
では %n
工程
2 は
AutonomousAgent
2 の
agent
では %n
微粒子オブジェクト
は
AutonomousAgent
2 の
patient
では %n
(=>
(
and
(
instance
?P
Prescription
)
(
instance
?M
Medicine
)
(
refers
?P ?M))
(
exists
(?PHARM ?S)
(
and
(
instance
?S
Selling
)
(
objectTransferred
?S ?M)
(
agent
?S ?PHARM)
(
attribute
?S
Pharmacist
))))
Mid-level-ontology.kif 9278-9288
エンティティー
は
Prescription
の
instance
では %n
オブジェクト
は
Medicine
の
instance
では %n
エンティティー
は
オブジェクト
への
reference
を includes %n{ない}
エンティティー
HARM
移動
移動
は
販売
の
instance
では %n
objectTransferred
移動
and
オブジェクト
エンティティー
HARM は
移動
の
agent
では %n
Pharmacist
は
移動
の
attribute
では %n
(=>
(
and
(
instance
?SALE
OfferingForSale
)
(
agent
?SALE ?AGENT))
(
patient
?SALE
(
exists
(?SELL ?OBJ)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))))
Mid-level-ontology.kif 7830-7839
工程
は
OfferingForSale
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n は
工程
の
patient
では %n
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
販売
の
instance
では %n
オブジェクト
オブジェクト
は
地政学的地域
の
instance
では %n
AutonomousAgent
工程
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
オブジェクト
に
located
して %n
記号文字列
エンティティー
and
エンティティー
_SALE_AMOUNT
total
記号文字列
で記述される
class
and
エンティティー
_SALE_AMOUNT
GMVFn
コレクション
は
エンティティー
_SALE_AMOUNT と
equal
では %n
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
modalAttribute
(
exists
(?S ?ITEM)
(
and
(
instance
?S
Selling
)
(
patient
?S ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
transactionAmount
?S ?PRICE)))
Promise
))
Catalog.kif 276-289
negotiatedPrice
物理
,
通貨測定
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
ステートメント
エンティティー
エンティティー
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
物理
の
immediate
の インスタンス では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
認識エージェント
に
end
s %n{ない}
transactionAmount
エンティティー
and
通貨測定
には
Promise
の
modal
force
が ある
(=>
(
and
(
offers
?AGENT ?ATTR)
(
instance
?ATTR
Attribute
))
(
modalAttribute
(
exists
(?OBJ ?SELL)
(
and
(
instance
?SELL
Selling
)
(
attribute
?OBJ ?ATTR)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))
Possibility
))
Catalog.kif 109-119
offers
AutonomousAgent
and
抽象的な
抽象的な
は
属性
の
instance
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
販売
の
instance
では %n
抽象的な
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
の
patient
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
物理
の
subclass
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
販売
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
命題
の
subclass
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
エンティティー
の内容を
express
es %n{ない}
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
publishedPrice
エンティティー
,
通貨測定
,
認識エージェント
and
PricingScheme
unitPrice
エンティティー
,
関数量
,
認識エージェント
and
PricingScheme
エンティティー
は
物理
の
subclass
では %n
エンティティー
は
エンティティー
の
immediate
の インスタンス では %n
validityPeriod
PricingScheme
and
時間間隔
ステートメント
エンティティー
は
販売
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
transactionAmount
エンティティー
and
通貨測定
には
Likely
の
modal
force
が ある は
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
Agreement
には
attribute
Option
%n{ない}
optionHolder
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
underlier
Agreement
and
FinancialInstrument
認識エージェント
は
エンティティー
class
を 実行する
right
を 持って %n{ない}
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
Agreement
には
attribute
Option
%n{ない}
optionSeller
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
webSales
コレクション
,
人[人間]
and
WebSite
金融取引
は
コレクション
の
member
では %n
金融取引
は
販売
の
instance
では %n
人[人間]
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
(=>
(
askPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Selling)
(
and
(
instance
?Selling
Selling
)
(
agent
?Selling ?Agent)
(
patient
?Selling ?Obj)
(
transactionAmount
?Selling ?Money)))))))
FinancialOntology.kif 1933-1943
askPrice
オブジェクト
,
通貨測定
and
AutonomousAgent
工程
工程
は
Offering
の
instance
では %n
エンティティー
エンティティー
は
販売
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
オブジェクト
は
エンティティー
の
patient
では %n
transactionAmount
エンティティー
and
通貨測定
は
工程
の
patient
では %n
(=>
(
attribute
?X
ArtsAndRecreationTicketingServices
)
(
hasPurpose
?X
(
exists
(?SELL ?TICKET ?CUST)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?TICKET)
(
agent
?SELL ?X)
(
instance
?TICKET
Ticket
)
(
destination
?SELL ?CUST)
(
hasPurpose
?TICKET
(
confersRight
(
exists
(?WATCH ?PERF)
(
and
(
instance
?WATCH
Seeing
)
(
agent
?WATCH ?CUST)
(
patient
?WATCH ?PERF)
(
or
(
instance
?PERF
Performance
)
(
instance
?PERF
Sport
)))) ?X ?CUST))))))
Hotel.kif 2353-2372
ArtsAndRecreationTicketingServices
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
Ticket
の
instance
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
オブジェクト
は
エンティティー
が
エンティティー
エンティティー
エンティティー
は
見ること
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
Performance
の
instance
では %n
エンティティー
は
スポーツ
の
instance
では %n のタスクを実行することはを
allow
s %n{ない} の 目的 %n{ない} の 目的 %n{ない}
(=>
(
attribute
?X
GiftNoveltyAndSouvenirStores
)
(
and
(
instance
?X
RetailStore
)
(
hasPurpose
?X
(
exists
(?SELL ?OBJ)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?X)
(
patient
?SELL ?OBJ)
(
instance
?OBJ
Object
))))))
naics.kif 7805-7815
GiftNoveltyAndSouvenirStores
は
オブジェクト
の
attribute
では %n
オブジェクト
は
RetailStore
の
instance
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
販売
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
オブジェクト
の
instance
では %n の 目的 %n{ない}
(=>
(
attribute
?X
MeanOfProduction
)
(
hasPurpose
?X
(
or
(
exists
(?MAKE ?PRODUCT)
(
and
(
instance
?MAKE
Making
)
(
involvedInEvent
?MAKE ?X)
(
not
(
result
?MAKE ?X))
(
instance
?PRODUCT
Artifact
)
(
result
?MAKE ?PRODUCT)
(
hasPurpose
?PRODUCT
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?PRODUCT))))))
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
CommercialService
)
(
involvedInEvent
?SERVICE ?X))))))
Economy.kif 5747-5767
MeanOfProduction
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
作る
の
instance
では %n
involvedInEvent
エンティティー
and
オブジェクト
オブジェクト
は
エンティティー
の
result
では
エンティティー
は
アーチファクト
の
instance
では %n
エンティティー
は
エンティティー
の
result
では %n
エンティティー
は
エンティティー
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
エンティティー
エンティティー
は
CommercialService
の
instance
では %n
involvedInEvent
エンティティー
and
オブジェクト
の 目的 %n{ない}
(=>
(
attribute
?X
NewsDealersAndNewsstands
)
(
hasPurpose
?X
(
exists
(?SELL ?NEWS)
(
and
(
instance
?NEWS
Newspaper
)
(
instance
?SELL
Selling
)
(
patient
?SELL ?NEWS)
(
agent
?SELL ?X)))))
naics.kif 7678-7686
NewsDealersAndNewsstands
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
Newspaper
の
instance
では %n
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
オブジェクト
は
エンティティー
の
agent
では %n の 目的 %n{ない}
(=>
(
attribute
?X
SnackAndNonalcoholicBeverageBars
)
(
hasPurpose
?X
(
exists
(?SELL ?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
instance
?SELL
Selling
)
(
patient
?SELL ?FOOD)
(
agent
?SELL ?X)))))
naics.kif 11668-11676
SnackAndNonalcoholicBeverageBars
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
FoodForFn
人[人間]
の
instance
では %n
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
オブジェクト
は
エンティティー
の
agent
では %n の 目的 %n{ない}
(=>
(
grossMerchandiseSoldInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?S
Selling
)
(
instance
?ITEM ?COL)
(
agent
?S ?A)
(
patient
?S ?ITEM)
(
patient
?S ?O)
(
during
?S ?TP))))))
ComputerInput.kif 2998-3010
grossMerchandiseSoldInPeriod
AutonomousAgent
,
組織
,
通貨測定
and
時間間隔
物理
の
value
は
通貨測定
では %n
物理
は
エンティティー
class
の
instance
では %n
(=>
(
instance
?ADVERT
Advertising
)
(
exists
(?OBJ)
(
and
(
refers
?ADVERT ?OBJ)
(
hasPurpose
?ADVERT
(
exists
(?SALE)
(
and
(
instance
?SALE
Selling
)
(
patient
?SALE ?OBJ)))))))
Merge.kif 13101-13106
物理
は
広告
の
instance
では %n
エンティティー
物理
は
エンティティー
への
reference
を includes %n{ない}
物理
は
エンティティー
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
instance
?AN
InvoiceNumber
)
(
exists
(?INVOICE ?SELLER ?SELLING)
(
and
(
instance
?INVOICE
Invoice
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
uniqueIdWithRespectTo
?INVOICE ?SELLER ?AN))))
Mid-level-ontology.kif 29941-29948
記号文字列
は
InvoiceNumber
の
instance
では %n
物理
AutonomousAgent
and
工程
物理
は
Invoice
の
instance
では %n
工程
は
販売
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
uniqueIdWithRespectTo
物理
,
AutonomousAgent
and
記号文字列
(=>
(
instance
?BAKERY
Bakery
)
(
exists
(?SERVICE ?FOOD ?BAKE)
(
and
(
instance
?BAKE
Baking
)
(
result
?BAKE ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
))
(
agent
?BAKE ?BAKERY)
(
instance
?SERVICE
CommercialService
)
(
agent
?SERVICE ?BAKERY)
(
instance
?SERVICE
Selling
)
(
patient
?SERVICE ?FOOD))))
Dining.kif 70-81
AutonomousAgent
は
Bakery
の
instance
では %n
工程
エンティティー
and
工程
工程
は
Baking
の
instance
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
FoodForFn
人[人間]
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
CommercialService
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
販売
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
instance
?C
Restaurant
)
(
exists
(?S ?F ?B)
(
and
(
instance
?S
CommercialService
)
(
agent
?S ?C)
(
instance
?S
Selling
)
(
instance
?B
RestaurantBuilding
)
(
eventLocated
?S ?B)
(
patient
?S ?F)
(
instance
?F
(
FoodForFn
Human
)))))
Mid-level-ontology.kif 7281-7291
AutonomousAgent
は
Restaurant
の
instance
では %n
工程
エンティティー
and
オブジェクト
工程
は
CommercialService
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
販売
の
instance
では %n
オブジェクト
は
RestaurantBuilding
の
instance
では %n
eventLocated
工程
and
オブジェクト
エンティティー
は
工程
の
patient
では %n
エンティティー
は
FoodForFn
人[人間]
の
instance
では %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