Selling
(Vendere)
(=>
(
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
WaterTransportationIndustry
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
è un
paziente
di
Entit�
AgenteCognitivo
possiede
es
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Oggetto
InsiemeConcreto
possiede
es
Entit�
Entit�
è un'
istanza
di
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
WholesaleTrade
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
AutonomousAgent
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
Vendere
AutonomousAgent
2 è un
agente
di
Processo
2
Entit�
è un
paziente
di
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
WoodProductManufacturing
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
OggettoCorpuscolare
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Lavorazione
OggettoCorpuscolare
è un'
istanza
di
Wood
Wood
è
fatto
di
OggettoCorpuscolare
OggettoCorpuscolare
è un
paziente
di
AutonomousAgent
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
Vendere
AutonomousAgent
2 è un
agente
di
Processo
2
OggettoCorpuscolare
è un
paziente
di
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 9277-9287
Entit�
è un'
istanza
di
Prescription
Oggetto
è un'
istanza
di
Medicine
Entit�
include un
riferimento
a
Oggetto
Entit�
HARM
Trasferimento
Trasferimento
è un'
istanza
di
Vendere
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
è un
agente
di
Entit�
HARM
attribute
Trasferimento
and
Pharmacist
(=>
(
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 7829-7838
Processo
è un'
istanza
di
OfferingForSale
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AutonomousAgent
è un
paziente
di
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Vendere
Oggetto
Oggetto
è un'
istanza
di
AreaGeopolitica
AutonomousAgent
Processo
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
Acquistare
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
Oggetto
Stringa
Entit�
and
Entit�
_SALE_AMOUNT
total
la
classe
descritta da
Stringa
and
Entit�
_SALE_AMOUNT
GMVFn
InsiemeConcreto
is
uguale
a
Entit�
_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
Entit�Concreta
,
MisuraMonetaria
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
%è una
istanza
immediata
Promise
Entit�
è un
agente
di
AgenteCognitivo
Entit�
fine
s in
AgenteCognitivo
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
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
Astratto
Astratto
è un'
istanza
di
Attributo
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Vendere
attribute
Entit�
and
Astratto
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AutonomousAgent
ha il modello di forza di
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
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Entit�Concreta
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
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
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Proposizione
l'affermazione
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
esprime
il contenuto di
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AutonomousAgent
ha il modello di forza di
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
Entit�
,
MisuraMonetaria
,
AgenteCognitivo
and
PricingScheme
unitPrice
Entit�
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Entit�
è una
sottoclasse
di
Entit�Concreta
%è una
istanza
immediata %2
validityPeriod
PricingScheme
and
IntervalloTemporale
l'affermazione
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
Likely
vales
durante
IntervalloTemporale
(=>
(
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
ha un
attributo
Option
optionHolder
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
AgenteCognitivo
ha il
diritto
di compiere la
classe
descritta da
Stringa
(=>
(
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
ha un
attributo
Option
optionSeller
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
webSales
InsiemeConcreto
,
Umano
and
WebSite
ScambioFinanziario
è un
membro
di
InsiemeConcreto
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
Umano
eCommerceSite
ScambioFinanziario
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
Oggetto
,
MisuraMonetaria
and
AutonomousAgent
Processo
Processo
è un'
istanza
di
Offering
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
è un
paziente
di
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
attribute
Oggetto
and
ArtsAndRecreationTicketingServices
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Oggetto
Entit�
è un'
istanza
di
Ticket
Entit�
fine
s in
Entit�
Entit�
ha
scopo
Oggetto
permette
a
Entit�
di compiere il compito di tipo
Entit�
Entit�
Entit�
è un'
istanza
di
Vista
Entit�
è un
agente
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Performance
Entit�
è un'
istanza
di
Sport
(=>
(
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
attribute
Oggetto
and
GiftNoveltyAndSouvenirStores
Oggetto
è un'
istanza
di
RetailStore
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
Oggetto
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Oggetto
(=>
(
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
attribute
Oggetto
and
MeanOfProduction
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Fabbricazione
involvedInEvent
Entit�
and
Oggetto
Oggetto
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
Manufatto
Entit�
è un
risultato
di
Entit�
Entit�
ha
scopo
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
Entit�
Entit�
è un'
istanza
di
CommercialService
involvedInEvent
Entit�
and
Oggetto
(=>
(
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
attribute
Oggetto
and
NewsDealersAndNewsstands
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Newspaper
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Oggetto
(=>
(
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
attribute
Oggetto
and
SnackAndNonalcoholicBeverageBars
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
FoodForFn
Umano
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Oggetto
(=>
(
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
,
Organizzazione
,
MisuraMonetaria
and
IntervalloTemporale
valore
di
Entit�Concreta
è
MisuraMonetaria
Entit�Concreta
è un'
istanza
di la
classe
descritta da
Stringa
(=>
(
instance
?ADVERT
Advertising
)
(
exists
(?OBJ)
(
and
(
refers
?ADVERT ?OBJ)
(
hasPurpose
?ADVERT
(
exists
(?SALE)
(
and
(
instance
?SALE
Selling
)
(
patient
?SALE ?OBJ)))))))
Merge.kif 13123-13128
Entit�Concreta
è un'
istanza
di
Pubblicit�
Entit�
Entit�Concreta
include un
riferimento
a
Entit�
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
(=>
(
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 29929-29936
Stringa
è un'
istanza
di
InvoiceNumber
Entit�Concreta
AutonomousAgent
and
Processo
Entit�Concreta
è un'
istanza
di
Invoice
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
AutonomousAgent
uniqueIdWithRespectTo
Entit�Concreta
,
AutonomousAgent
and
Stringa
(=>
(
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
è un'
istanza
di
Bakery
Processo
Entit�
and
Processo
Processo
è un'
istanza
di
Baking
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
FoodForFn
Umano
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
CommercialService
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
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 7280-7290
AutonomousAgent
è un'
istanza
di
Restaurant
Processo
Entit�
and
Oggetto
Processo
è un'
istanza
di
CommercialService
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Vendere
Oggetto
è un'
istanza
di
RestaurantBuilding
eventLocated
Processo
and
Oggetto
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
FoodForFn
Umano
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