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
customer
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 7721-7724
(
domain
customer
1
CognitiveAgent
)
Mid-level-ontology.kif 7719-7719
O argumento numero 1 de
customer
e' uma
instancia
de
Agente Cognitivo
(
domain
customer
2
AutonomousAgent
)
Mid-level-ontology.kif 7720-7720
O argumento numero 2 de
customer
e' uma
instancia
de
AutonomousAgent
(
instance
customer
AsymmetricRelation
)
Mid-level-ontology.kif 7712-7712
customer
e' uma
instancia
de
Relacao Assimetrica
(
instance
customer
BinaryPredicate
)
Mid-level-ontology.kif 7711-7711
customer
e' uma
instancia
de
Predicado Binario
(
instance
customer
IrreflexiveRelation
)
Mid-level-ontology.kif 7710-7710
customer
e' uma
instancia
de
Relacao Irreflexiva
(
instance
customer
PartialValuedRelation
)
Mid-level-ontology.kif 7713-7713
customer
e' uma
instancia
de
Relacao Parcial
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
e' uma
sub
-relacao de
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 7726-7732
customer
Agente Cognitivo
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Transacao Financeira
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Agente Cognitivo
(=>
(
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 20600-20622
Waiter
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Humano
AutonomousAgent
emprega
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Restaurant
customer
Agente Cognitivo
and
AutonomousAgent
Agente Cognitivo
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Table
Objeto
Entidade
,
Entidade
and
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
KitchenArea
Objeto
e' uma
instancia
de
DiningArea
Objeto
e'
situado
em
Objeto
Agente Cognitivo
tem por
fim
Entidade
e' uma
instancia
de
Carrying
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
tem como
origem
Objeto
Entidade
termina
em
Objeto
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Humano
(=>
(
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
Organizacao
e'
capaz
de fazer
ValetParking
no role
agent
customer
Agente Cognitivo
and
Organizacao
Organizacao
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Arriving
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Objeto
Humano
Humano
ocupa a
posicao
de
Valet
Organizacao
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
ValetParking
Entidade
e' um
agente
de
Humano
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
ParkingRegion
tem a
forca
modal
de
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
Agente Cognitivo
and
AutonomousAgent
corkageFee
Medida de Divisa
,
Objeto
and
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
Processo
Processo
e' uma
instancia
de
Comprar
Objeto
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Processo
tem como
origem
AutonomousAgent
Processo
e' uma
instancia
de
Beber
Processo
e' um
agente
de
Agente Cognitivo
Objeto
e' um
recurso
para
Processo
Processo
Processo
e' uma
instancia
de
Corkage
Processo
e' um
agente
de
Agente Cognitivo
Processo
inclui uma
referencia
a
Objeto
Processo
termina
em
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
Agente Cognitivo
and
AutonomousAgent
AutonomousAgent
emprega
Agente Cognitivo
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
Porter
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
possui
Objeto
Objeto
e' uma
instancia
de
TravelContainer
Objeto
Processo
Objeto
e' uma
instancia
de
HotelUnit
Processo
e' uma
instancia
de
Carrying
Processo
e' um
agente
de
Agente Cognitivo
Processo
termina
em
Objeto
Processo
tem como
origem
Objeto
(=>
(
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
Agente Cognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Entidade
e' uma
instancia
de
Fisico
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
recurso
para
Entidade
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Entidade
(=>
(
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
Agente Cognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Entidade
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Fisico
Entidade
e' um
sub
-processo de
Entidade
Entidade
e'
situado
em
Entidade
tem a
forca
modal
de
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
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
o argumento
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Agente Cognitivo
usa
Entidade
tem a
forca
modal
de
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
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Objeto
e' uma
instancia
de
Fisico
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Processo
Objeto
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Objeto
price
Objeto
, 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
Fisico
Processo
e' uma
instancia
de
Fisico
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
AutonomousAgent
possui
Processo
Processo
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Processo
price
Processo
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
(=>
(
and
(
instance
?A
Agency
)
(
customer
?C ?A))
(
instance
?C
CommercialAgent
))
Mid-level-ontology.kif 7106-7110
AutonomousAgent
e' uma
instancia
de
Agency
customer
Agente Cognitivo
and
AutonomousAgent
Agente Cognitivo
e' uma
instancia
de
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
e' uma
instancia
de
AutonomousAgent
potentialCustomer
Agente Cognitivo
and
AutonomousAgent
o argumento
Entidade
e' uma
instancia
de
Reserving
Entidade
termina
em
AutonomousAgent
tem a
forca
modal
de
Necessity
a
probabilidade
de
Entidade
ES1
Entidade
ES1 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES1
fulfillingEntity
AutonomousAgent
and
Entidade
ES1 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
a
probabilidade
de
Entidade
ES2
Entidade
ES2 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES2
fulfillingEntity
AutonomousAgent
and
Entidade
ES2 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
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
e' uma
instancia
de
CateringService
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Processo
UST
AutonomousAgent
e'
situado
em
Objeto
customer
Processo
UST and
AutonomousAgent
Processo
Entidade
and
Processo
Processo
e' uma
instancia
de
Cozinhar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
Processo
UST
eventLocated
Processo
and
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
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 7158-7171
Agente Cognitivo
e' uma
instancia
de
HealthInsuranceCompany
customer
Agente Cognitivo
and
AutonomousAgent
Agente Cognitivo
tem
finalidade
Entidade
Entidade
Entidade
e' uma
instancia
de
Processo de Diagnostico
Entidade
e' uma
instancia
de
Processo Terapeutico
AutonomousAgent
experimenta
Entidade
Entidade
e' uma
instancia
de
Payment
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
inclui uma
referencia
a
Entidade
para
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
e' uma
instancia
de
Restaurant
Objeto
e' uma
instancia
de
DiningRoom
PrivateAttribute
e' um
atributo
de
Objeto
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
GroupOfPeople
o argumento
Entidade
Entidade
customer
Entidade
and
AutonomousAgent
Agente Cognitivo
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
eventLocated
Entidade
and
Objeto
vale
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?STORE
WholesaleStore
)
(
customer
?CUSTOMER ?STORE))
(
instance
?CUSTOMER
CommercialAgent
))
Mid-level-ontology.kif 7757-7761
AutonomousAgent
e' uma
instancia
de
WholesaleStore
customer
Agente Cognitivo
and
AutonomousAgent
Agente Cognitivo
e' uma
instancia
de
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
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Objeto
e' uma
instancia
de
Fisico
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Processo
Objeto
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Objeto
Numero Real
Unidade de Medida
price
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 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
Fisico
Processo
e' uma
instancia
de
Fisico
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
AutonomousAgent
possui
Processo
Processo
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Processo
Numero Real
Unidade de Medida
price
Processo
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 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
Agente Cognitivo
possui
Objeto
Agente Cognitivo
e' uma
instancia
de
CommercialAgent
Objeto
e' uma
instancia
de
ParkingLot
Objeto
e' uma
instancia
de
Predio
Agente Cognitivo
e'
situado
em
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
AutonomousAgent
e'
situado
em
Objeto
vale
durante
Posicao Temporal
Processo
e' uma
instancia
de
Dirigir
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto
Agente Cognitivo
autoriza
AutonomousAgent
a executar tarefas de tipo
Entidade
e' uma
instancia
de
Manter
Entidade
termina
em
Objeto
Entidade
e' um
patient
de
Entidade
vale
durante
Posicao Temporal
consequent
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
accountHolder
FinancialAccount
and
Agente Cognitivo
accountAt
FinancialAccount
and
FinancialOrganization
customer
Agente Cognitivo
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
e' uma
instancia
de
ChildrenPolicy
policyOwner
Organizacao
and
Policy
policyLocationCoverage
Policy
and
Objeto
Policy
contem
informacao o argumento
Entidade
customer
Entidade
and
Organizacao
Entidade
e' uma
instancia
de
HumanChild
tem a
forca
modal
de
Possibility
Policy
contem
informacao o argumento
Entidade
customer
Entidade
and
Organizacao
Entidade
e' uma
instancia
de
HumanChild
nao %n a
forca
modal
de
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
e' uma
instancia
de
Restaurant
Objeto
e' uma
instancia
de
DiningRoom
PrivateAttribute
e' um
atributo
de
Objeto
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
GroupOfPeople
o argumento
Entidade
Entidade
customer
Entidade
and
AutonomousAgent
Agente Cognitivo
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
eventLocated
Entidade
and
Objeto
vale
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
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
PassengerCarRental
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
customer
Entidade
and
Objeto
Entidade
e' uma
instancia
de
Automobile
Entidade
e' uma
instancia
de
Renting
Objeto
possui
Entidade
Entidade
e' um
agente
de
Entidade
(=>
(
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
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Outfit
subjectiveAttribute
Entidade
,
AmbienceAttribute
and
AutonomousAgent
Entidade
Entidade
customer
Entidade
and
AutonomousAgent
locatedAtTime
Entidade
,
Entidade
and
AutonomousAgent
Entidade
e'
membro
de
Entidade
Entidade
usa
Entidade
vale
durante
Entidade
tem a
forca
modal
de
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
Fisico
e' uma
instancia
de
CruiseShip
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Recreacao ou Exercicio
Entidade
possui
Fisico
Entidade
e' um
agente
de
Entidade
customer
Entidade
and
Entidade
eventLocated
Entidade
and
Fisico
(=>
(
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
e' uma
instancia
de
CheckInService
Agente Cognitivo
Agente Cognitivo
,
Processo
and
Processo
customer
Agente Cognitivo
and
Agente Cognitivo
serviceProvider
ServiceProcess
and
Agente Cognitivo
Processo
e' uma
instancia
de
Greeting
Processo
e' um
agente
de
Agente Cognitivo
Processo
termina
em
Agente Cognitivo
Processo
e' um
sub
-processo de
ServiceProcess
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
ServiceProcess
causa
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
e' uma
instancia
de
RoomService
AutonomousAgent
Entidade
,
Agente Cognitivo
,
Processo
,
Entidade
,
Processo
and
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Pedir
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Entidade
define
Entidade
Entidade
e' uma
instancia
de
PreparedFood
Agente Cognitivo
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
HotelUnit
Processo
e' uma
instancia
de
DeliveryService
Entidade
e' um
patient
de
Processo
Processo
termina
em
Objeto
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
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
e' uma
instancia
de
TransportationService
Objeto
AutonomousAgent
,
Processo
and
Agente Cognitivo
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Vehicle
Processo
e' uma
instancia
de
Transporte
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Processo
e' um
sub
-processo de
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
e' uma
instancia
de
ValetLaundryService
Humano
AutonomousAgent
,
TemporaryResidence
,
Entidade
,
Processo
,
Processo
and
Processo
customer
Humano
and
AutonomousAgent
stays
Humano
and
TemporaryResidence
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Roupa
Processo
e' uma
instancia
de
Obter
Processo
e'
situado
em
TemporaryResidence
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
LaundryService
Processo
e' uma
instancia
de
DryCleaningService
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
DeliveryService
Entidade
e' um
patient
de
Processo
Processo
termina
em
TemporaryResidence
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
Processo
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
Processo
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 819-822
potentialCustomer
Agente Cognitivo
and
AutonomousAgent
o argumento
customer
Agente Cognitivo
and
AutonomousAgent
tem a
forca
modal
de
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
Intervalo Temporal
and
AutonomousAgent
Processo
Entidade
,
Entidade
,
Numero Real
and
Numero Real
Processo
e' uma
instancia
de
Transacao Financeira
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Intervalo Temporal
Processo
termina
em
Entidade
Numero Real
e'
igual
a a
probabilidade
de
tempo
de existencia de
Processo
acontece
durante
Entidade
customer
Entidade
and
AutonomousAgent
Numero Real
e'
igual
a a
probabilidade
de
tempo
de existencia de
Processo
nao %n acontece
durante
Entidade
customer
Entidade
and
AutonomousAgent
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Intervalo Temporal
and
AutonomousAgent
Processo
Intervalo Temporal
and
Agente Cognitivo
Processo
e' uma
instancia
de
Vender
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
e' um
agente
de
AutonomousAgent
customer
Agente Cognitivo
and
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
(=>
(
thirdPartyProduct
?ART ?ORG ?AG)
(
customer
?ORG ?AG))
ComputingBrands.kif 3945-3947
thirdPartyProduct
Artefato
,
Organizacao
and
AutonomousAgent
customer
Organizacao
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