Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Gouda
Sigma KEE - customer
customer
appearance as argument number 1
(
documentation
customer
EnglishLanguage
"A very general relation that exists whenever there is a
FinancialTransaction
between the two
Agent
s such that the first is the
destination
of the
FinancialTransaction
and the second is the
agent
.")
Mid-level-ontology.kif 7722-7725
(
domain
customer
1
CognitiveAgent
)
Mid-level-ontology.kif 7720-7720
Il numero 1 argomenti di
customer
è un
istanza
di
AgenteCognitivo
(
domain
customer
2
AutonomousAgent
)
Mid-level-ontology.kif 7721-7721
Il numero 2 argomenti di
customer
è un
istanza
di
AutonomousAgent
(
instance
customer
AsymmetricRelation
)
Mid-level-ontology.kif 7713-7713
customer
è un'
istanza
di
RelazioneAsimmetrica
(
instance
customer
BinaryPredicate
)
Mid-level-ontology.kif 7712-7712
customer
è un'
istanza
di
PredicatoBinario
(
instance
customer
IrreflexiveRelation
)
Mid-level-ontology.kif 7711-7711
customer
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
customer
PartialValuedRelation
)
Mid-level-ontology.kif 7714-7714
customer
è un'
istanza
di
RelazioneAValoreParziale
appearance as argument number 2
(
format
ChineseLanguage
customer
"%2 %n 是 %1 的
customer
")
domainEnglishFormat.kif 628-628
(
format
ChineseTraditionalLanguage
customer
"%2 %n 是 %1 的
customer
")
domainEnglishFormat.kif 627-627
(
format
EnglishLanguage
customer
"%2 is %n a
customer
of %1")
domainEnglishFormat.kif 626-626
(
subrelation
guest
customer
)
Hotel.kif 55-55
guest
è una
sottorelazione
di
customer
(
termFormat
ChineseLanguage
customer
"顾客")
domainEnglishFormat.kif 18168-18168
(
termFormat
ChineseTraditionalLanguage
customer
"顧客")
domainEnglishFormat.kif 18167-18167
(
termFormat
EnglishLanguage
customer
"customer")
domainEnglishFormat.kif 18166-18166
antecedent
(<=>
(
customer
?AGENT1 ?AGENT2)
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
FinancialTransaction
)
(
agent
?SERVICE ?AGENT2)
(
destination
?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7727-7733
customer
AgenteCognitivo
and
AutonomousAgent
Processo
Processo
è un'
istanza
di
ScambioFinanziario
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AgenteCognitivo
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20601-20623
attribute
AgenteCognitivo
and
Waiter
AgenteCognitivo
è un'
istanza
di
Umano
AutonomousAgent
impiega
s
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Restaurant
customer
AgenteCognitivo
and
AutonomousAgent
AgenteCognitivo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Table
Oggetto
Entit�
,
Entit�
and
Oggetto
AutonomousAgent
possiede
es
Oggetto
Oggetto
è un'
istanza
di
KitchenArea
Oggetto
è un'
istanza
di
DiningArea
Oggetto
è
localizzato
in
Oggetto
AgenteCognitivo
ha
scopo
Entit�
è un'
istanza
di
Carrying
Entit�
è un
agente
di
AgenteCognitivo
Entit�
si
originas in
Oggetto
Entit�
fine
s in
Oggetto
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
FoodForFn
Umano
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 153-172
Organizzazione
è
capace
di fare
ValetParking
nel ruolo
agent
customer
AgenteCognitivo
and
Organizzazione
Organizzazione
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Arriving
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Oggetto
Umano
Umano
occupa la
posizione
di
Valet
in
Organizzazione
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
ValetParking
Entit�
è un
agente
di
Umano
Entit�
è un
paziente
di
Entit�
Entit�
fine
s in
Entit�
Entit�
è un'
istanza
di
ParkingRegion
ha il modello di forza di
Possibility
(=>
(
and
(
customer
?CUST ?AGENT)
(
corkageFee
?AMT ?ITEM ?AGENT)
(
instance
?X ?ITEM)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
patient
?B ?X)
(
destination
?B ?CUST)
(
origin
?B ?AGENT))))
(
instance
?D
Drinking
)
(
agent
?D ?CUST)
(
resource
?D ?X))
(
exists
(?C)
(
and
(
instance
?C
Corkage
)
(
agent
?C ?CUST)
(
refers
?C ?X)
(
destination
?C ?AGENT))))
Dining.kif 130-150
customer
AgenteCognitivo
and
AutonomousAgent
corkageFee
MisuraMonetaria
,
Oggetto
and
AutonomousAgent
Oggetto
è un'
istanza
di
Oggetto
Processo
Processo
è un'
istanza
di
Acquistare
Oggetto
è un
paziente
di
Processo
Processo
fine
s in
AgenteCognitivo
Processo
si
originas in
AutonomousAgent
Processo
è un'
istanza
di
Bere
Processo
è un
agente
di
AgenteCognitivo
Oggetto
è una
risorsa
per
Processo
Processo
Processo
è un'
istanza
di
Corkage
Processo
è un
agente
di
AgenteCognitivo
Processo
include un
riferimento
a
Oggetto
Processo
fine
s in
AutonomousAgent
(=>
(
and
(
customer
?CUST ?AGENT)
(
employs
?AGENT ?X)
(
attribute
?AGENT
TravelerAccommodation
)
(
attribute
?X
Porter
)
(
possesses
?CUST ?LUGGAGE)
(
instance
?LUGGAGE
TravelContainer
))
(
exists
(?ROOM ?CARRY)
(
and
(
instance
?ROOM
HotelUnit
)
(
instance
?CARRY
Carrying
)
(
agent
?CARRY ?X)
(
or
(
destination
?CARRY ?ROOM)
(
origin
?CARRY ?ROOM)))))
Hotel.kif 2392-2407
customer
AgenteCognitivo
and
AutonomousAgent
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AutonomousAgent
and
TravelerAccommodation
attribute
AgenteCognitivo
and
Porter
AgenteCognitivo
possiede
es
Oggetto
Oggetto
è un'
istanza
di
TravelContainer
Oggetto
Processo
Oggetto
è un'
istanza
di
HotelUnit
Processo
è un'
istanza
di
Carrying
Processo
è un
agente
di
AgenteCognitivo
Processo
fine
s in
Oggetto
Processo
si
originas in
Oggetto
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
customer
AgenteCognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Entit�
è un'
istanza
di
Entit�Concreta
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
risorsa
per
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Entit�
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
customer
AgenteCognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
l'affermazione
Entit�
Entit�
and
Entit�
%è un
elemento
di
Possibility
Entit�
è un
agente
di
AutonomousAgent
AgenteCognitivo
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è
localizzato
in
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
facility
AutonomousAgent
and
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Entit�
è un'
istanza
di
Oggetto
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
ProcessoIntenzionale
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
l'affermazione
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
AgenteCognitivo
usa
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 841-862
freeFunctionRoomAmenity
HotelFunctionRoom
and
Entit�Concreta
Entit�
è un'
istanza
di
HotelFunctionRoom
%è un
elemento
di %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
fine
s in
AgenteCognitivo
Oggetto
è un'
istanza
di
Entit�Concreta
AutonomousAgent
possiede
es
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Oggetto
è un'
istanza
di
Processo
Oggetto
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Oggetto
AutonomousAgent
possiede
es
Oggetto
Oggetto
è un'
istanza
di
Oggetto
AgenteCognitivo
usa
Oggetto
price
Oggetto
, 0
UnitedStatesDollar
(s and
AutonomousAgent
(=>
(
and
(
freePropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 546-561
freePropertyAmenity
AutonomousAgent
and
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
customer
AgenteCognitivo
and
AutonomousAgent
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Processo
AutonomousAgent
possiede
es
Processo
Processo
è un'
istanza
di
Oggetto
AgenteCognitivo
usa
Processo
price
Processo
, 0
UnitedStatesDollar
(s and
AutonomousAgent
(=>
(
and
(
instance
?A
Agency
)
(
customer
?C ?A))
(
instance
?C
CommercialAgent
))
Mid-level-ontology.kif 7107-7111
AutonomousAgent
è un'
istanza
di
Agency
customer
AgenteCognitivo
and
AutonomousAgent
AgenteCognitivo
è un'
istanza
di
CommercialAgent
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
AutonomousAgent
è un'
istanza
di
AutonomousAgent
potentialCustomer
AgenteCognitivo
and
AutonomousAgent
l'affermazione
Entit�
è un'
istanza
di
Reserving
Entit�
fine
s in
AutonomousAgent
ha il modello di forza di
Necessity
probabilit
à di
Entit�
ES1
Entit�
ES1 è un'
istanza
di
Reservation
reservingEntity
AgenteCognitivo
and
Entit�
ES1
fulfillingEntity
AutonomousAgent
and
Entit�
ES1 ammesso che
customer
AgenteCognitivo
and
AutonomousAgent
valga è
NumeroReale
probabilit
à di
Entit�
ES2
Entit�
ES2 è un'
istanza
di
Reservation
reservingEntity
AgenteCognitivo
and
Entit�
ES2
fulfillingEntity
AutonomousAgent
and
Entit�
ES2 ammesso che
customer
AgenteCognitivo
and
AutonomousAgent
valga è
NumeroReale
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
CateringService
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Processo
UST
AutonomousAgent
è
localizzato
in
Oggetto
customer
Processo
UST and
AutonomousAgent
Processo
Entit�
and
Processo
Processo
è un'
istanza
di
Cucinare
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
Processo
UST
eventLocated
Processo
and
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
and
(
instance
?I
HealthInsuranceCompany
)
(
customer
?I ?C))
(
hasPurposeForAgent
?I
(
exists
(?D ?P)
(
and
(
or
(
instance
?D
DiagnosticProcess
)
(
instance
?D
TherapeuticProcess
))
(
experiencer
?D ?C)
(
instance
?P
Payment
)
(
agent
?P ?I)
(
refers
?P ?D))) ?C))
Mid-level-ontology.kif 7159-7172
AgenteCognitivo
è un'
istanza
di
HealthInsuranceCompany
customer
AgenteCognitivo
and
AutonomousAgent
AgenteCognitivo
ha &n
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
ProcessoDiagnostico
Entit�
è un'
istanza
di
ProcessoTerapeutico
AutonomousAgent
esperisce
s
Entit�
Entit�
è un'
istanza
di
Payment
Entit�
è un
agente
di
AgenteCognitivo
Entit�
include un
riferimento
a
Entit�
per
AutonomousAgent
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
è un'
istanza
di
Restaurant
Oggetto
è un'
istanza
di
DiningRoom
attribute
Oggetto
and
PrivateAttribute
AutonomousAgent
possiede
es
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
GroupOfPeople
l'affermazione
Entit�
Entit�
customer
Entit�
and
AutonomousAgent
AgenteCognitivo
is
uguale
a
Entit�
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
Entit�
eventLocated
Entit�
and
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?STORE
WholesaleStore
)
(
customer
?CUSTOMER ?STORE))
(
instance
?CUSTOMER
CommercialAgent
))
Mid-level-ontology.kif 7758-7762
AutonomousAgent
è un'
istanza
di
WholesaleStore
customer
AgenteCognitivo
and
AutonomousAgent
AgenteCognitivo
è un'
istanza
di
CommercialAgent
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
paidFunctionRoomAmenity
HotelFunctionRoom
and
Entit�Concreta
Entit�
è un'
istanza
di
HotelFunctionRoom
%è un
elemento
di %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
fine
s in
AgenteCognitivo
Oggetto
è un'
istanza
di
Entit�Concreta
AutonomousAgent
possiede
es
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Oggetto
è un'
istanza
di
Processo
Oggetto
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Oggetto
AutonomousAgent
possiede
es
Oggetto
Oggetto
è un'
istanza
di
Oggetto
AgenteCognitivo
usa
Oggetto
NumeroReale
Unit�DiMisura
price
Oggetto
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di 0
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
paidPropertyAmenity
AutonomousAgent
and
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
customer
AgenteCognitivo
and
AutonomousAgent
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Processo
AutonomousAgent
possiede
es
Processo
Processo
è un'
istanza
di
Oggetto
AgenteCognitivo
usa
Processo
NumeroReale
Unit�DiMisura
price
Processo
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di 0
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
AgenteCognitivo
possiede
es
Oggetto
AgenteCognitivo
è un'
istanza
di
CommercialAgent
Oggetto
è un'
istanza
di
ParkingLot
Oggetto
è un'
istanza
di
Costruzione
AgenteCognitivo
è
localizzato
in
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
AutonomousAgent
è
localizzato
in
Oggetto
vales
durante
PosizioneTemporale
Processo
è un'
istanza
di
Driving
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Oggetto
AgenteCognitivo
permette
a
AutonomousAgent
di compiere il compito di tipo
Entit�
è un'
istanza
di
Trattenere
Entit�
fine
s in
Oggetto
Entit�
è un
paziente
di
Entit�
vales
durante
PosizioneTemporale
consequent
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
accountHolder
FinancialAccount
and
AgenteCognitivo
accountAt
FinancialAccount
and
FinancialOrganization
customer
AgenteCognitivo
and
FinancialOrganization
(=>
(
and
(
instance
?POLICY
ChildrenPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?CUST1)
(
and
(
customer
?CUST1 ?AGENT)
(
instance
?CUST1
HumanChild
)))
Possibility
))
(
containsInformation
?POLICY
(
not
(
modalAttribute
(
exists
(?CUST2)
(
and
(
customer
?CUST2 ?AGENT)
(
instance
?CUST2
HumanChild
)))
Possibility
)))))
Hotel.kif 2535-2553
Policy
è un'
istanza
di
ChildrenPolicy
policyOwner
Organizzazione
and
Policy
policyLocationCoverage
Policy
and
Oggetto
Policy
contiene
s informazione l'affermazione
Entit�
customer
Entit�
and
Organizzazione
Entit�
è un'
istanza
di
HumanChild
ha il modello di forza di
Possibility
Policy
contiene
s informazione l'affermazione
Entit�
customer
Entit�
and
Organizzazione
Entit�
è un'
istanza
di
HumanChild
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
è un'
istanza
di
Restaurant
Oggetto
è un'
istanza
di
DiningRoom
attribute
Oggetto
and
PrivateAttribute
AutonomousAgent
possiede
es
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
GroupOfPeople
l'affermazione
Entit�
Entit�
customer
Entit�
and
AutonomousAgent
AgenteCognitivo
is
uguale
a
Entit�
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
Entit�
eventLocated
Entit�
and
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
ha il modello di forza di
Likely
(=>
(
attribute
?X
PassengerCarRental
)
(
hasPurpose
?X
(
exists
(?RENT ?CAR ?CUST)
(
and
(
customer
?CUST ?X)
(
instance
?CAR
Automobile
)
(
instance
?RENT
Renting
)
(
possesses
?X ?CAR)
(
agent
?RENT ?CUST)))))
naics.kif 9711-9720
attribute
Oggetto
and
PassengerCarRental
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
customer
Entit�
and
Oggetto
Entit�
è un'
istanza
di
Automobile
Entit�
è un'
istanza
di
Renting
Oggetto
possiede
es
Entit�
Entit�
è un
agente
di
Entit�
(=>
(
dressCode
?CODE ?AGENT)
(
modalAttribute
(
exists
(?OUTFIT ?T)
(
and
(
instance
?OUTFIT
Outfit
)
(
subjectiveAttribute
?OUTFIT ?CODE ?AGENT)
(
holdsDuring
?T
(
forall
(?CUST ?ITEM)
(
and
(
customer
?CUST ?AGENT)
(
locatedAtTime
?CUST ?T ?AGENT)
(
member
?ITEM ?OUTFIT)
(
wears
?CUST ?ITEM))))))
Obligation
))
Dining.kif 492-505
dressCode
AmbienceAttribute
and
AutonomousAgent
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Outfit
subjectiveAttribute
Entit�
,
AmbienceAttribute
and
AutonomousAgent
Entit�
Entit�
customer
Entit�
and
AutonomousAgent
locatedAtTime
Entit�
,
Entit�
and
AutonomousAgent
Entit�
è un
membro
di
Entit�
wears
Entit�
and
Entit�
vales
durante
Entit�
ha il modello di forza di
Obligation
(=>
(
instance
?C
CruiseShip
)
(
hasPurpose
?C
(
exists
(?E ?A ?O)
(
and
(
instance
?E
RecreationOrExercise
)
(
possesses
?O ?C)
(
agent
?E ?A)
(
customer
?O ?A)
(
eventLocated
?E ?C)))))
Transportation.kif 2471-2480
Entit�Concreta
è un'
istanza
di
CruiseShip
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
PassatempoOEsercizio
Entit�
possiede
es
Entit�Concreta
Entit�
è un
agente
di
Entit�
customer
Entit�
and
Entit�
eventLocated
Entit�
and
Entit�Concreta
(=>
(
instance
?CHECK
CheckInService
)
(
exists
(?AGENT ?CUST ?GREET ?SERVICE)
(
and
(
customer
?CUST ?AGENT)
(
serviceProvider
?CHECK ?AGENT)
(
instance
?GREET
Greeting
)
(
agent
?GREET ?CUST)
(
destination
?GREET ?AGENT)
(
subProcess
?GREET ?CHECK)
(
instance
?SERVICE
Process
)
(
agent
?SERVICE ?AGENT)
(
causes
?CHECK ?SERVICE))))
Hotel.kif 2154-2166
ServiceProcess
è un'
istanza
di
CheckInService
AgenteCognitivo
AgenteCognitivo
,
Processo
and
Processo
customer
AgenteCognitivo
and
AgenteCognitivo
serviceProvider
ServiceProcess
and
AgenteCognitivo
Processo
è un'
istanza
di
Greeting
Processo
è un
agente
di
AgenteCognitivo
Processo
fine
s in
AgenteCognitivo
Processo
è un
sottoprocesso
di
ServiceProcess
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
AgenteCognitivo
ServiceProcess
causa
s
Processo
(=>
(
instance
?SVC
RoomService
)
(
exists
(?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
(
and
(
customer
?CUSTOMER ?AGENT)
(
agent
?SVC ?AGENT)
(
instance
?RQST
Requesting
)
(
agent
?RQST ?CUSTOMER)
(
patient
?RQST ?ORDER)
(
represents
?ORDER ?FOOD)
(
instance
?FOOD
PreparedFood
)
(
located
?CUSTOMER ?LOC)
(
instance
?LOC
HotelUnit
)
(
instance
?DELIVERY
DeliveryService
)
(
patient
?DELIVERY ?FOOD)
(
destination
?DELIVERY ?LOC)
(
before
(
BeginFn
(
WhenFn
?RQST))
(
BeginFn
(
WhenFn
?DELIVERY))))))
Hotel.kif 1969-1987
Processo
è un'
istanza
di
RoomService
AutonomousAgent
Entit�
,
AgenteCognitivo
,
Processo
,
Entit�
,
Processo
and
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Richiedere
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Entit�
esprime
Entit�
Entit�
è un'
istanza
di
PreparedFood
AgenteCognitivo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
HotelUnit
Processo
è un'
istanza
di
DeliveryService
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Oggetto
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
(=>
(
instance
?SVC
TransportationService
)
(
exists
(?VEHICLE ?AGENT ?TRANS ?CUST)
(
and
(
agent
?SVC ?AGENT)
(
possesses
?AGENT ?VEHICLE)
(
customer
?CUST ?AGENT)
(
instance
?VEHICLE
Vehicle
)
(
instance
?TRANS
Transportation
)
(
agent
?TRANS ?AGENT)
(
patient
?TRANS ?CUST)
(
instrument
?TRANS ?VEHICLE)
(
subProcess
?TRANS ?SVC))))
Transportation.kif 3340-3352
Processo
è un'
istanza
di
TransportationService
Oggetto
AutonomousAgent
,
Processo
and
AgenteCognitivo
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
possiede
es
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Oggetto
è un'
istanza
di
Vehicle
Processo
è un'
istanza
di
Trasporto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Processo
è un
sottoprocesso
di
Processo
(=>
(
instance
?SVC
ValetLaundryService
)
(
exists
(?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY)
(
and
(
customer
?CUST ?AGENT)
(
stays
?CUST ?LOC)
(
agent
?SVC ?AGENT)
(
instance
?CLOTHES
Clothing
)
(
instance
?PICKUP
Getting
)
(
located
?PICKUP ?LOC)
(
patient
?PICKUP ?CLOTHES)
(
agent
?PICKUP ?AGENT)
(
or
(
instance
?LAUNDRY
LaundryService
)
(
instance
?LAUNDRY
DryCleaningService
))
(
agent
?LAUNDRY ?AGENT)
(
patient
?LAUNDRY ?CLOTHES)
(
instance
?DELIVERY
DeliveryService
)
(
patient
?DELIVERY ?CLOTHES)
(
destination
?DELIVERY ?LOC)
(
before
(
BeginFn
(
WhenFn
?PICKUP))
(
BeginFn
(
WhenFn
?LAUNDRY)))
(
before
(
BeginFn
(
WhenFn
?LAUNDRY))
(
BeginFn
(
WhenFn
?DELIVERY))))))
Hotel.kif 1827-1848
Processo
è un'
istanza
di
ValetLaundryService
Umano
AutonomousAgent
,
TemporaryResidence
,
Entit�
,
Processo
,
Processo
and
Processo
customer
Umano
and
AutonomousAgent
stays
Umano
and
TemporaryResidence
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
Vestito
Processo
è un'
istanza
di
Ottenere
Processo
è
localizzato
in
TemporaryResidence
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
LaundryService
Processo
è un'
istanza
di
DryCleaningService
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
DeliveryService
Entit�
è un
paziente
di
Processo
Processo
fine
s in
TemporaryResidence
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 819-822
potentialCustomer
AgenteCognitivo
and
AutonomousAgent
l'affermazione
customer
AgenteCognitivo
and
AutonomousAgent
ha il modello di forza di
Possibility
(=>
(
standardRetailHours
?TIMEINT ?AGENT)
(
exists
(?FT ?T ?C ?SRH ?NONSRH)
(
and
(
instance
?FT
FinancialTransaction
)
(
agent
?FT ?AGENT)
(
instance
?T ?TIMEINT)
(
destination
?FT ?C)
(
equal
?SRH
(
ProbabilityFn
(
and
(
during
(
WhenFn
?FT) ?T)
(
customer
?C ?AGENT))))
(
equal
?NONSRH
(
ProbabilityFn
(
and
(
not
(
during
(
WhenFn
?FT) ?T))
(
customer
?C ?AGENT))))
(
greaterThan
?SRH ?NONSRH))))
Dining.kif 388-407
standardRetailHours
IntervalloTemporale
and
AutonomousAgent
Processo
Entit�
,
Entit�
,
NumeroReale
and
NumeroReale
Processo
è un'
istanza
di
ScambioFinanziario
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
IntervalloTemporale
Processo
fine
s in
Entit�
NumeroReale
is
uguale
a la
probabilit
à diil
tempo
di esistenza di
Processo
has luogo
durante
Entit�
customer
Entit�
and
AutonomousAgent
NumeroReale
is
uguale
a la
probabilit
à diil
tempo
di esistenza di
Processo
non ha luogo
durante
Entit�
customer
Entit�
and
AutonomousAgent
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
standardRetailHours
?TIMEINT ?AGENT)
(
exists
(?S ?T ?C)
(
and
(
instance
?S
Selling
)
(
instance
?T ?TIMEINT)
(
agent
?S ?AGENT)
(
customer
?C ?AGENT)
(
during
(
WhenFn
?S) ?T))))
Dining.kif 373-382
standardRetailHours
IntervalloTemporale
and
AutonomousAgent
Processo
IntervalloTemporale
and
AgenteCognitivo
Processo
è un'
istanza
di
Vendere
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
è un
agente
di
AutonomousAgent
customer
AgenteCognitivo
and
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
(=>
(
thirdPartyProduct
?ART ?ORG ?AG)
(
customer
?ORG ?AG))
ComputingBrands.kif 3945-3947
thirdPartyProduct
Manufatto
,
Organizzazione
and
AutonomousAgent
customer
Organizzazione
and
AutonomousAgent
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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