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 7749-7752
(
domain
customer
1
CognitiveAgent
)
Mid-level-ontology.kif 7747-7747
The number 1 argument of
customer
is an
instance
of
cognitive agent
(
domain
customer
2
AutonomousAgent
)
Mid-level-ontology.kif 7748-7748
The number 2 argument of
customer
is an
instance
of
agent
(
instance
customer
AsymmetricRelation
)
Mid-level-ontology.kif 7740-7740
customer
is an
instance
of
asymmetric relation
(
instance
customer
BinaryPredicate
)
Mid-level-ontology.kif 7739-7739
customer
is an
instance
of
binary predicate
(
instance
customer
IrreflexiveRelation
)
Mid-level-ontology.kif 7738-7738
customer
is an
instance
of
irreflexive relation
(
instance
customer
PartialValuedRelation
)
Mid-level-ontology.kif 7741-7741
customer
is an
instance
of
partial valued relation
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
is a
subrelation
of
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 7754-7760
An agent
is a
customer
of
a cognitive agent
if and only if there exists
a process
such that
the process
is an
instance
of
financial transaction
and
the agent
is an
agent
of
the process
and
the process
end
s up at
the cognitive agent
(=>
(
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 20628-20650
If
waiter
is an
attribute
of
a cognitive agent
and
the cognitive agent
is an
instance
of
human
and
an agent
employ
s
the cognitive agent
and
the agent
is an
instance
of
restaurant
and
the agent
is a
customer
of
another cognitive agent
and
the other cognitive agent
is
located
at
an object
and
the object
is an
instance
of
table
,
then there exist
another object
,
an entity
,, ,
another entity
and
a third object
such that
the agent
possess
es
the third object
and
the third object
is an
instance
of
kitchen area
and
the other object
is an
instance
of
dining area
and
the object
is
located
at
the other object
and
the cognitive agent
has the purpose
the entity
is an
instance
of
carrying
and
the cognitive agent
is an
agent
of
the entity
and
the entity
originate
s at
the third object
and
the entity
end
s up at
the object
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
food
for
human
(=>
(
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 157-176
If
an organization
is
capable
of doing
valet parking
as a
agent
and
the organization
is a
customer
of
a cognitive agent
and
the organization
is
located
at
an object
and
a process
is an
instance
of
arriving
and
the cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the process
end
s up at
the object
,
then there exists
a human
such that
the human
holds the
position
of
valet
in
the organization
and the statement there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
valet parking
and
the human
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
and
the other entity
end
s up at
the third entity
and
the third entity
is an
instance
of
parking area
has the
modal
force
of
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
If
an agent
is a
customer
of
a cognitive agent
and
the agent
charges
a currency measure
in
corkage
for
a kind of object
and
another object
is an
instance
of
a kind of object
and there doesn't exist
a process
such that
the process
is an
instance
of
buying
and
the other object
is a
patient
of
the process
and
the process
end
s up at
the cognitive agent
and
the process
originate
s at
the agent
and
another process
is an
instance
of
drinking
and
the cognitive agent
is an
agent
of
the other process
and
the other object
is a
resource
for
the other process
,
then there exists
a third process
such that
the third process
is an
instance
of
corkage
and
the cognitive agent
is an
agent
of
the third process
and
the third process
includes a
reference
to
the other object
and
the third process
end
s up at
the agent
(=>
(
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
If
an agent
is a
customer
of
a cognitive agent
and
the agent
employ
s
another cognitive agent
and
traveler accommodation
is an
attribute
of
the agent
and
porter
is an
attribute
of
the other cognitive agent
and
the cognitive agent
possess
es
an object
and
the object
is an
instance
of
travel container
,
then there exist
another object
and
a process
such that
the other object
is an
instance
of
hotel unit
and
the process
is an
instance
of
carrying
and
the other cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the other object
or
the process
originate
s at
the other object
(=>
(
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
If
an agent
is a
customer
of
a cognitive agent
and
the agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
object
and
an entity
is an
instance
of
the kind of physical
,
then
the agent
allow
s
the cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
process
and
the entity
is a
resource
for
the other entity
or
the entity
is an
instrument
for
the other entity
or
the entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
or
the cognitive agent
experience
s
the other entity
(=>
(
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
If
an agent
is a
customer
of
a cognitive agent
and
the agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
process
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the other entity
is an
element
of
belongings
of
the agent
and
the agent
is an
agent
of
the entity
and
the cognitive agent
is a
patient
of
the entity
and
the entity
is an
instance
of
the kind of physical
or
the third entity
is an
instance
of
the kind of physical
and
the entity
is a
subprocess
of
the third entity
and
the entity
is
located
at
the other entity
has the
modal
force
of
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
If
an agent
provides
an object
and
the agent
is a
customer
of
a cognitive agent
and
an entity
is an
instance
of
the object
and
the cognitive agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
intentional process
and
the entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
,
then the statement
the agent
allow
s
the cognitive agent
to perform task of the type
the cognitive agent
use
s
the entity
has the
modal
force
of
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
If
a kind of physical
is
free
for customers renting
a kind of hotel function room
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
an agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the process
end
s up at
a cognitive agent
and
an object
is an
instance
of
a kind of physical
and
the agent
possess
es
the object
and
the agent
is a
customer
of
the cognitive agent
and
the object
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the object
or
the cognitive agent
experience
s
the object
or
the agent
possess
es
the object
and
the object
is an
instance
of
object
and
the cognitive agent
use
s
the object
,
then
the object
is
price
0
united states dollar
(s) for
the agent
(=>
(
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
If use of
a kind of physical
is free for
an agent
and
a process
is an
instance
of
a kind of physical
and
the agent
is a
customer
of
a cognitive agent
and
the process
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the process
or
the cognitive agent
experience
s
the process
or
the agent
possess
es
the process
and
the process
is an
instance
of
object
and
the cognitive agent
use
s
the process
,
then
the process
is
price
0
united states dollar
(s) for
the agent
(=>
(
and
(
instance
?A
Agency
)
(
customer
?C ?A))
(
instance
?C
CommercialAgent
))
Mid-level-ontology.kif 7134-7138
If
an agent
is an
instance
of
agency
and
the agent
is a
customer
of
a cognitive agent
,
then
the cognitive agent
is an
instance
of
commercial agent
(=>
(
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
If
an agent
is an
instance
of
agent
and
a cognitive agent
is a
potential
customer
for
the agent
and the statement
an entity
is an
instance
of
reserving
and
the entity
end
s up at
the agent
has the
modal
force
of
necessity
and
probability
of there exists
the entity
ES1 such that
the entity
ES1 is an
instance
of
reservation
and
the cognitive agent
reserves
the entity
ES1 and
the agent
fulfills
the entity
ES1 provided that
the agent
is a
customer
of
the cognitive agent
holds is
a real number
and
probability
of there doesn't exist
the entity
ES2 such that
the entity
ES2 is an
instance
of
reservation
and
the cognitive agent
reserves
the entity
ES2 and
the agent
fulfills
the entity
ES2 provided that
the agent
is a
customer
of
the cognitive agent
holds is
another real number
,
then
the other real number
is
less
than
the real number
(=>
(
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
If
a process
is an
instance
of
catering
and
an agent
is an
agent
of
the process
and
the process
end
s up at
the process
UST and
the agent
is
located
at
an object
and
the agent
is a
customer
of
the process
UST and there exist
another process
,
an entity
and
a third process
such that
the other process
is an
instance
of
cooking
and
the agent
is an
agent
of
the other process
and
the entity
is a
result
of
the other process
and
the entity
is a
patient
of
the process
and
the third process
is an
instance
of
eating
and
the process
UST is an
agent
of
the third process
and
the third process
is
located
at
another object
,
then
the object
is not
equal
to
the other object
(=>
(
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 7186-7199
If
a cognitive agent
is an
instance
of
health insurance company
and
an agent
is a
customer
of
the cognitive agent
,
then
the cognitive agent
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
diagnostic process
or
the entity
is an
instance
of
therapeutic process
and
the agent
experience
s
the entity
and
the other entity
is an
instance
of
payment
and
the cognitive agent
is an
agent
of
the other entity
and
the other entity
includes a
reference
to
the entity
for
the agent
(=>
(
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
If
an agent
is an
instance
of
restaurant
and
an object
is an
instance
of
dining room
and
private attribute
is an
attribute
of
the object
and
the agent
possess
es
the object
and
the agent
is a
customer
of
a cognitive agent
and
a process
is an
instance
of
eating
and
the cognitive agent
is an
agent
of
the process
and
the cognitive agent
is an
instance
of
group of people
,
then the statement there don't exist
an entity
and
another entity
such that
the agent
is a
customer
of
the entity
and
the cognitive agent
is not
equal
to
the entity
and
the other entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the other entity
is
located
at
the object
holds
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?STORE
WholesaleStore
)
(
customer
?CUSTOMER ?STORE))
(
instance
?CUSTOMER
CommercialAgent
))
Mid-level-ontology.kif 7785-7789
If
an agent
is an
instance
of
wholesale store
and
the agent
is a
customer
of
a cognitive agent
,
then
the cognitive agent
is an
instance
of
commercial agent
(=>
(
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
If renters of
a kind of hotel function room
can
pay
to use
a kind of physical
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
an agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the process
end
s up at
a cognitive agent
and
an object
is an
instance
of
a kind of physical
and
the agent
possess
es
the object
and
the agent
is a
customer
of
the cognitive agent
and
the object
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the object
or
the cognitive agent
experience
s
the object
or
the agent
possess
es
the object
and
the object
is an
instance
of
object
and
the cognitive agent
use
s
the object
,
then there exist
a real number
and
an unit of measure
such that
the object
is
price
the real number
the unit of measure
(s) for
the agent
and
the unit of measure
is an
instance
of
unit of currency
and
the real number
is
greater
than 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
If renters of
an agent
can
pay
to use
a kind of physical
and
a process
is an
instance
of
a kind of physical
and
the agent
is a
customer
of
a cognitive agent
and
the process
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the process
or
the cognitive agent
experience
s
the process
or
the agent
possess
es
the process
and
the process
is an
instance
of
object
and
the cognitive agent
use
s
the process
,
then there exist
a real number
and
an unit of measure
such that
the process
is
price
the real number
the unit of measure
(s) for
the agent
and
the unit of measure
is an
instance
of
unit of currency
and
the real number
is
greater
than 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 106-125
If
a cognitive agent
possess
es
an object
and
the cognitive agent
is an
instance
of
commercial agent
and
the object
is an
instance
of
parking lot
and
another object
is an
instance
of
building
and
the cognitive agent
is
located
at
the other object
and
an agent
is a
customer
of
the cognitive agent
and
the agent
is
located
at
the other object
holds
during
a time position
and
a process
is an
instance
of
driving
and
an entity
is a
patient
of
the process
and
the agent
is an
agent
of
the process
and
the process
end
s up at
the other object
,
then
the cognitive agent
allow
s
the agent
to perform task of the type
another entity
is an
instance
of
keeping
and
the other entity
end
s up at
the object
and
the entity
is a
patient
of
the other entity
holds
during
the time position
consequent
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
If
a cognitive agent
holds
account
a financial account
and
the financial account
is
held
by
a financial organization
,
then
the financial organization
is a
customer
of
the cognitive agent
(=>
(
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
If
a policy
is an
instance
of
children policy
and
an organization
enacts
policy
the policy
and
the policy
covers
an object
,
then
the policy
contain
s information the statement there exists
an entity
such that
the organization
is a
customer
of
the entity
and
the entity
is an
instance
of
human child
has the
modal
force
of
possibility
or
the policy
contain
s information the statement there exists
another entity
such that
the organization
is a
customer
of
the other entity
and
the other entity
is an
instance
of
human child
doesn't have the
modal
force
of
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
If
an agent
is an
instance
of
restaurant
and
an object
is an
instance
of
dining room
and
private attribute
is an
attribute
of
the object
and
the agent
possess
es
the object
and
the agent
is a
customer
of
a cognitive agent
and
a process
is an
instance
of
eating
and
the cognitive agent
is an
agent
of
the process
and
the cognitive agent
is an
instance
of
group of people
,
then the statement there don't exist
an entity
and
another entity
such that
the agent
is a
customer
of
the entity
and
the cognitive agent
is not
equal
to
the entity
and
the other entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the other entity
is
located
at
the object
holds
during
the
time
of existence of
the process
has the
modal
force
of
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
If
passenger car rental
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the object
is a
customer
of
the third entity
and
the other entity
is an
instance
of
automobile
and
the entity
is an
instance
of
renting
and
the object
possess
es
the other entity
and
the third entity
is an
agent
of
the entity
(=>
(
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
If
an agent
requires customers to wear
an ambience
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
outfit
and
the agent
believes
the entity
is
the ambience
and for all
a third entity
and
a fourth entity
the agent
is a
customer
of
the third entity
and
the third entity
located
at time
the other entity
for
the agent
and
the fourth entity
is a
member
of
the entity
and
the third entity
wear
s
the fourth entity
holds
during
the other entity
has the
modal
force
of
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 2493-2502
If
a physical
is an
instance
of
cruise ship
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
recreation or exercise
and
the third entity
possess
es
the physical
and
the other entity
is an
agent
of
the entity
and
the other entity
is a
customer
of
the third entity
and
the entity
is
located
at
the physical
(=>
(
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
If
a service
is an
instance
of
check-in service
,
then there exist
a cognitive agent
,
another cognitive agent
,, ,
a process
and
another process
such that
the cognitive agent
is a
customer
of
the other cognitive agent
and
the cognitive agent
provides a service during
the service
and
the process
is an
instance
of
greeting
and
the other cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the cognitive agent
and
the process
is a
subprocess
of
the service
and
the other process
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the other process
and
the service
cause
s
the other process
(=>
(
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
If
a process
is an
instance
of
room service
,
then there exist
an agent
,
an entity
,, ,
a cognitive agent
,, ,
another process
,, ,
another entity
,, ,
a third process
and
an object
such that
the agent
is a
customer
of
the cognitive agent
and
the agent
is an
agent
of
the process
and
the other process
is an
instance
of
requesting
and
the cognitive agent
is an
agent
of
the other process
and
the other entity
is a
patient
of
the other process
and
the other entity
express
es
the entity
and
the entity
is an
instance
of
prepared food
and
the cognitive agent
is
located
at
the object
and
the object
is an
instance
of
hotel unit
and
the third process
is an
instance
of
delivery service
and
the entity
is a
patient
of
the third process
and
the third process
end
s up at
the object
and the
beginning
of the
time
of existence of
the other process
happens
before
the
beginning
of the
time
of existence of
the third process
(=>
(
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 3392-3404
If
a process
is an
instance
of
transportation service
,
then there exist
an object
,
an agent
,, ,
another process
and
a cognitive agent
such that
the agent
is an
agent
of
the process
and
the agent
possess
es
the object
and
the agent
is a
customer
of
the cognitive agent
and
the object
is an
instance
of
vehicle
and
the other process
is an
instance
of
transportation
and
the agent
is an
agent
of
the other process
and
the cognitive agent
is a
patient
of
the other process
and
the object
is an
instrument
for
the other process
and
the other process
is a
subprocess
of
the process
(=>
(
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
If
a process
is an
instance
of
valet laundry
,
then there exist
a human
,
an agent
,, ,
a temporary residence
,, ,
an entity
,, ,
another process
,, ,
a third process
and
a fourth process
such that
the agent
is a
customer
of
the human
and
the human
stays
at
the temporary residence
and
the agent
is an
agent
of
the process
and
the entity
is an
instance
of
clothing
and
the third process
is an
instance
of
getting
and
the third process
is
located
at
the temporary residence
and
the entity
is a
patient
of
the third process
and
the agent
is an
agent
of
the third process
and
the other process
is an
instance
of
laundry service
or
the other process
is an
instance
of
dry-clean
and
the agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
and
the fourth process
is an
instance
of
delivery service
and
the entity
is a
patient
of
the fourth process
and
the fourth process
end
s up at
the temporary residence
and the
beginning
of the
time
of existence of
the third process
happens
before
the
beginning
of the
time
of existence of
the other process
and the
beginning
of the
time
of existence of
the other process
happens
before
the
beginning
of the
time
of existence of
the fourth process
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 819-822
If
a cognitive agent
is a
potential
customer
for
an agent
,
then the statement
the agent
is a
customer
of
the cognitive agent
has the
modal
force
of
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
If the
standard
retail
hours
for
an agent
are
a kind of time interval
,
then there exist
a process
,
an entity
,, ,
another entity
,, ,
a real number
and
another real number
such that
the process
is an
instance
of
financial transaction
and
the agent
is an
agent
of
the process
and
the entity
is an
instance
of
a kind of time interval
and
the process
end
s up at
the other entity
and
the real number
is
equal
to the
probability
of the
time
of existence of
the process
takes place
during
the entity
and
the agent
is a
customer
of
the other entity
and
the other real number
is
equal
to the
probability
of the
time
of existence of
the process
doesn't take place
during
the entity
and
the agent
is a
customer
of
the other entity
and
the real number
is
greater
than
the other real number
(=>
(
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
If the
standard
retail
hours
for
an agent
are
a kind of time interval
,
then there exist
a process
,
another time interval
and
a cognitive agent
such that
the process
is an
instance
of
selling
and
the other time interval
is an
instance
of
a kind of time interval
and
the agent
is an
agent
of
the process
and
the agent
is a
customer
of
the cognitive agent
and the
time
of existence of
the process
takes place
during
the other time interval
(=>
(
thirdPartyProduct
?ART ?ORG ?AG)
(
customer
?ORG ?AG))
ComputingBrands.kif 3945-3947
If
an artifact
is a
product
owned by
an agent
but not manufactured by
an organization
,
then
the agent
is a
customer
of
the organization
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