Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 7367-7370
(
domain
customer
1
CognitiveAgent
)
Mid-level-ontology.kif 7365-7365
The number 1 argument of
customer
is an
instance
of
cognitive agent
(
domain
customer
2
CognitiveAgent
)
Mid-level-ontology.kif 7366-7366
The number 2 argument of
customer
is an
instance
of
cognitive agent
(
instance
customer
AsymmetricRelation
)
Mid-level-ontology.kif 7363-7363
customer
is an
instance
of
asymmetric relation
(
instance
customer
BinaryPredicate
)
Mid-level-ontology.kif 7362-7362
customer
is an
instance
of
binary predicate
(
instance
customer
IrreflexiveRelation
)
Mid-level-ontology.kif 7361-7361
customer
is an
instance
of
irreflexive relation
(
instance
customer
PartialValuedRelation
)
Mid-level-ontology.kif 7364-7364
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 18159-18159
(
termFormat
ChineseTraditionalLanguage
customer
"顧客")
domainEnglishFormat.kif 18158-18158
(
termFormat
EnglishLanguage
customer
"customer")
domainEnglishFormat.kif 18157-18157
antecedent
(<=>
(
customer
?AGENT1 ?AGENT2)
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
FinancialTransaction
)
(
agent
?SERVICE ?AGENT2)
(
destination
?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7372-7378
A cognitive agent
is a
customer
of
another cognitive agent
if and only if there exists
a process
such that
the process
is an
instance
of
financial transaction
and
the cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the other cognitive agent
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
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 19774-19795
If
waiter
is an
attribute
of
a cognitive agent
and
the cognitive agent
is an
instance
of
human
and
another cognitive agent
employ
s
the cognitive agent
and
the other cognitive agent
is an
instance
of
restaurant
and
the other cognitive agent
is a
customer
of
a third cognitive agent
and
the third cognitive agent
is
located
at
an object
and
the object
is an
instance
of
table
,
then
the other cognitive agent
possess
es
another object
and
the other object
is an
instance
of
kitchen area
and
a third object
is an
instance
of
dining area
and
the object
is
located
at
the third object
and
the cognitive agent
has the purpose
an entity
is an
instance
of
carrying
and
the cognitive agent
is an
agent
of
the entity
and
the entity
originate
s at
the other object
and
the entity
end
s up at
the object
and
another 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))
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
)))
TransportDetail.kif 153-171
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
a human
holds the
position
of
valet
in
the organization
and the statement there exists
another 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
a 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
a cognitive agent
is a
customer
of
another cognitive agent
and
the cognitive 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 other cognitive agent
and
the process
originate
s at
the cognitive agent
and
another process
is an
instance
of
drinking
and
the other 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 other 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 cognitive 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 2365-2380
If
a cognitive agent
is a
customer
of
another cognitive agent
and
the cognitive agent
employ
s
a third cognitive agent
and
traveler accommodation
is an
attribute
of
the cognitive agent
and
porter
is an
attribute
of
the third cognitive agent
and
the other 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 third 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 484-500
If
a cognitive agent
is a
customer
of
another cognitive agent
and
the cognitive 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 cognitive agent
allow
s
the other 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 other cognitive agent
is an
agent
of
the other entity
or
the other cognitive agent
experience
s
the other entity
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHY)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 502-518
If
a cognitive agent
is a
customer
of
another cognitive agent
and
the cognitive agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
process
,
then the statement there exist
an entity
and
another entity
such that
the other entity
is an
element
of
belongings
of
the cognitive agent
and
the cognitive agent
is an
agent
of
the entity
and
the other cognitive agent
is a
patient
of
the entity
and
the entity
is an
instance
of
the kind of physical
or
a third entity
is an
instance
of
a fourth entity
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
?CUST ?X) ?AGENT ?CUST)
Possibility
))
Dining.kif 332-346
If
a cognitive agent
provides
an object
and
the cognitive agent
is a
customer
of
another cognitive agent
and
an entity
is an
instance
of
the object
and
the other 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 other cognitive agent
is an
agent
of
the other entity
,
then the statement
the cognitive agent
allow
s
the other cognitive agent
to perform task of the type
the entity
use
s
the other cognitive agent
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
?CUST ?X))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 820-841
If
a class
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
a cognitive 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
another cognitive agent
and
an agent
is an
instance
of
the class
and
the cognitive agent
possess
es
the agent
and
the cognitive agent
is a
customer
of
the other cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
0
united states dollar
(s) for
the cognitive 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
?CUST ?X))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 526-541
If use of
a class
is free for
a cognitive agent
and
an agent
is an
instance
of
the class
and
the cognitive agent
is a
customer
of
another cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
0
united states dollar
(s) for
the cognitive agent
(=>
(
and
(
instance
?A
Agency
)
(
customer
?C ?A))
(
instance
?C
CommercialAgent
))
Mid-level-ontology.kif 6743-6747
If
a cognitive agent
is an
instance
of
agency
and
the cognitive agent
is a
customer
of
another cognitive agent
,
then
the other cognitive agent
is an
instance
of
commercial agent
(=>
(
and
(
instance
?AGENT
Agent
)
(
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 725-748
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 540-556
If
a process
is an
instance
of
catering
and
a cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the process
UST and
the cognitive agent
is
located
at
an object
and
the cognitive 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 cognitive 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
2
,
then
the object
is not
equal
to
another entity
(=>
(
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 6795-6808
If
a cognitive agent
is an
instance
of
HealthInsuranceCompany
and
another cognitive 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 other cognitive 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 other cognitive 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)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1180-1199
If
a cognitive agent
is an
instance
of
restaurant
and
an object
is an
instance
of
dining room
and
PrivateAttribute
is an
attribute
of
the object
and
the cognitive agent
possess
es
the object
and
the cognitive agent
is a
customer
of
another cognitive agent
and
a process
is an
instance
of
eating
and
the other cognitive agent
is an
agent
of
the process
and
the other cognitive agent
is an
instance
of
group of people
,
then the statement there doesn't exist
an entity
such that
the cognitive agent
is a
customer
of
the entity
and
the other cognitive agent
is not
equal
to
the entity
and
another entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the other entity
is
located
at
2
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 7403-7407
If
a cognitive agent
is an
instance
of
wholesale store
and
the cognitive agent
is a
customer
of
another cognitive agent
,
then
the other 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
?CUST ?X))))
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0)))
Hotel.kif 850-875
If renters of
a kind of hotel function room
can
pay
to use
a class
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
a cognitive 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
another cognitive agent
and
an agent
is an
instance
of
the class
and
the cognitive agent
possess
es
the agent
and
the cognitive agent
is a
customer
of
the other cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
a real number
an unit of measure
(s) for
the cognitive agent
and
the unit of measure
is an
instance
of
UnitOfCurrency
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
?CUST ?X))))
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0)))
Hotel.kif 549-568
If renters of
a cognitive agent
can
pay
to use
a class
and
an agent
is an
instance
of
the class
and
the cognitive agent
is a
customer
of
another cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
a real number
an unit of measure
(s) for
the cognitive agent
and
the unit of measure
is an
instance
of
UnitOfCurrency
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 102-121
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
another cognitive agent
is a
customer
of
the cognitive agent
and
the other cognitive 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 other cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the other object
,
then
the cognitive agent
allow
s
the other cognitive 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 3583-3587
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 2508-2526
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)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1180-1199
If
a cognitive agent
is an
instance
of
restaurant
and
an object
is an
instance
of
dining room
and
PrivateAttribute
is an
attribute
of
the object
and
the cognitive agent
possess
es
the object
and
the cognitive agent
is a
customer
of
another cognitive agent
and
a process
is an
instance
of
eating
and
the other cognitive agent
is an
agent
of
the process
and
the other cognitive agent
is an
instance
of
group of people
,
then the statement there doesn't exist
an entity
such that
the cognitive agent
is a
customer
of
the entity
and
the other cognitive agent
is not
equal
to
the entity
and
another entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the other entity
is
located
at
2
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
(
and
(
subjectiveAttribute
?OUTFIT ?CODE ?AGENT)
(
instance
?OUTFIT
Outfit
)
(
customer
?CUST ?AGENT)
(
holdsDuring
(
WhenFn
(
located
?CUST ?AGENT))
(
forall
(?ITEM)
(=>
(
member
?ITEM ?OUTFIT)
(
wears
?CUST ?ITEM)))))
Obligation
))
Dining.kif 462-473
If
an agent
requires customers to wear
an ambience
,
then the statement
the agent
believes
an entity
is
the ambience
and
the entity
is an
instance
of
outfit
and
the agent
is a
customer
of
another entity
and for all
a third entity
if
the third entity
is a
member
of
the entity
,
then
the other entity
wear
s
the third entity
holds
during
the
time
of existence of
the other entity
is
located
at
the agent
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 2478-2487
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
2
(=>
(
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 2127-2139
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 1944-1962
If
a process
is an
instance
of
room service
,
then there exist
a cognitive agent
,
an entity
,, ,
another cognitive agent
,, ,
another process
,, ,
another entity
,, ,
a third process
and
an object
such that
the cognitive agent
is a
customer
of
the other cognitive agent
and
the cognitive agent
is an
agent
of
the process
and
the other process
is an
instance
of
requesting
and
the other 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 other 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 3347-3359
If
a process
is an
instance
of
transportation service
,
then there exist
an object
,
a cognitive agent
,, ,
another process
and
another cognitive agent
such that
the cognitive agent
is an
agent
of
the process
and
the cognitive agent
possess
es
the object
and
the cognitive agent
is a
customer
of
the other cognitive agent
and
the object
is an
instance
of
vehicle
and
the other process
is an
instance
of
transportation
and
the cognitive agent
is an
agent
of
the other process
and
the other 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 1802-1823
If
a process
is an
instance
of
valet laundry
,
then there exist
a human
,
a cognitive agent
,, ,
a temporary residence
,, ,
an entity
,, ,
another process
,, ,
a third process
and
a fourth process
such that
the cognitive agent
is a
customer
of
the human
and
the human
stays
at
the temporary residence
and
the cognitive 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 cognitive 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 cognitive 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 772-775
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
(=>
(
thirdPartyProduct
?ART ?ORG ?AG)
(
customer
?ORG ?AG))
ComputingBrands.kif 3909-3911
If
an artifact
is a
product
owned by
a cognitive agent
but not manufactured by
an organization
,
then
the cognitive 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
