Selling
(Vender)
(=>
(
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
Colecao
e' uma
instancia
de
Organizacao
WaterTransportationIndustry
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
e' um
patient
de
Entidade
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Colecao
possui
Entidade
Entidade
e' uma
instancia
de
WaterVehicle
(=>
(
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
Colecao
e' uma
instancia
de
Organizacao
WholesaleTrade
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Processo
2 and
AutonomousAgent
2
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
AutonomousAgent
Processo
2 e'
membro
de
Colecao
AutonomousAgent
2 e' uma
instancia
de
Vender
AutonomousAgent
2 e' um
agente
de
Processo
2
Entidade
e' um
patient
de
AutonomousAgent
2
(=>
(
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
Colecao
e' uma
instancia
de
Organizacao
WoodProductManufacturing
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Objeto Corpuscular
Processo
2 and
AutonomousAgent
2
AutonomousAgent
e' uma
instancia
de
Manufatura
Objeto Corpuscular
e' uma
instancia
de
Wood
Wood
e'
feito
de
Objeto Corpuscular
Objeto Corpuscular
e' um
patient
de
AutonomousAgent
Processo
2 e'
membro
de
Colecao
AutonomousAgent
2 e' uma
instancia
de
Vender
AutonomousAgent
2 e' um
agente
de
Processo
2
Objeto Corpuscular
e' um
patient
de
AutonomousAgent
2
(=>
(
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
Entidade
e' uma
instancia
de
Prescription
Objeto
e' uma
instancia
de
Medicine
Entidade
inclui uma
referencia
a
Objeto
Entidade
HARM
Transferencia
Transferencia
e' uma
instancia
de
Vender
objectTransferred
Transferencia
and
Objeto
Transferencia
e' um
agente
de
Entidade
HARM
Pharmacist
e' um
atributo
de
Transferencia
(=>
(
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
Processo
e' uma
instancia
de
OfferingForSale
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
e' um
patient
de
Processo
(=>
(
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
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Vender
Objeto
Objeto
e' uma
instancia
de
Area Geopolitica
AutonomousAgent
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Comprar
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
situado
em
Objeto
Sequencia Simbolica
Entidade
and
Entidade
_SALE_AMOUNT
total
a
classe
descrita por
Sequencia Simbolica
and
Entidade
_SALE_AMOUNT
GMVFn
Colecao
e'
igual
a
Entidade
_SALE_AMOUNT
(=>
(
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
Fisico
,
Medida de Divisa
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
imediata de
Fisico
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
termina
em
Agente Cognitivo
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Promise
(=>
(
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
Abstrato
Abstrato
e' uma
instancia
de
Atributo
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Vender
Abstrato
e' um
atributo
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Possibility
(=>
(
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
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Fisico
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
tem a
forca
modal
de
Possibility
(=>
(
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
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Proposicao
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
exprime
o conteudo de
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Possibility
(=>
(
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
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validityPeriod
PricingScheme
and
Intervalo Temporal
o argumento
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Likely
vale
durante
Intervalo Temporal
(=>
(
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
tem um
atributo
de
Option
optionHolder
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
Agente Cognitivo
tem o
direito
de executar a
classe
descrita por
Sequencia Simbolica
(=>
(
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
tem um
atributo
de
Option
optionSeller
Agreement
and
Agente Cognitivo
strikePrice
Agreement
and
Medida de Divisa
agreementExpirationDate
Agreement
and
Intervalo Temporal
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
Medida de Divisa
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Intervalo Temporal
o
fim
de
AutonomousAgent
comeca
antes
de o
comeco
de
Intervalo Temporal
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
webSales
Colecao
,
Humano
and
WebSite
Transacao Financeira
e'
membro
de
Colecao
Transacao Financeira
e' uma
instancia
de
Vender
Transacao Financeira
e' um
agente
de
Humano
eCommerceSite
Transacao Financeira
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
Objeto
,
Medida de Divisa
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Offering
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
e' um
patient
de
Processo
(=>
(
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Objeto
Entidade
e' uma
instancia
de
Ticket
Entidade
termina
em
Entidade
Entidade
tem por
fim
Objeto
autoriza
Entidade
a executar tarefas de tipo
Entidade
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Performance
Entidade
e' uma
instancia
de
Esporte
(=>
(
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
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
RetailStore
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
Objeto
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Objeto
(=>
(
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Fazer
involvedInEvent
Entidade
and
Objeto
Objeto
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Artefato
Entidade
e' o
resultado
de
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
Entidade
e' uma
instancia
de
CommercialService
involvedInEvent
Entidade
and
Objeto
(=>
(
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Newspaper
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Objeto
(=>
(
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Humano
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Objeto
(=>
(
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
,
Organizacao
,
Medida de Divisa
and
Intervalo Temporal
o
valor
de
Fisico
e'
Medida de Divisa
Fisico
e' uma
instancia
de a
classe
descrita por
Sequencia Simbolica
(=>
(
instance
?ADVERT
Advertising
)
(
exists
(?OBJ)
(
and
(
refers
?ADVERT ?OBJ)
(
hasPurpose
?ADVERT
(
exists
(?SALE)
(
and
(
instance
?SALE
Selling
)
(
patient
?SALE ?OBJ)))))))
Merge.kif 13101-13106
Fisico
e' uma
instancia
de
Promover
Entidade
Fisico
inclui uma
referencia
a
Entidade
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
(=>
(
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
Sequencia Simbolica
e' uma
instancia
de
InvoiceNumber
Fisico
AutonomousAgent
and
Processo
Fisico
e' uma
instancia
de
Invoice
Processo
e' uma
instancia
de
Vender
Processo
e' um
agente
de
AutonomousAgent
uniqueIdWithRespectTo
Fisico
,
AutonomousAgent
and
Sequencia Simbolica
(=>
(
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
e' uma
instancia
de
Bakery
Processo
Entidade
and
Processo
Processo
e' uma
instancia
de
Baking
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Humano
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
CommercialService
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Processo
(=>
(
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
e' uma
instancia
de
Restaurant
Processo
Entidade
and
Objeto
Processo
e' uma
instancia
de
CommercialService
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Vender
Objeto
e' uma
instancia
de
RestaurantBuilding
eventLocated
Processo
and
Objeto
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Humano
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