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 7391-7394
(
domain
customer
1
CognitiveAgent
)
Mid-level-ontology.kif 7389-7389
domain
customer
, 1 and
CognitiveAgent
(
domain
customer
2
CognitiveAgent
)
Mid-level-ontology.kif 7390-7390
domain
customer
, 2 and
CognitiveAgent
(
instance
customer
AsymmetricRelation
)
Mid-level-ontology.kif 7387-7387
instance
customer
and
AsymmetricRelation
(
instance
customer
BinaryPredicate
)
Mid-level-ontology.kif 7386-7386
instance
customer
and
BinaryPredicate
(
instance
customer
IrreflexiveRelation
)
Mid-level-ontology.kif 7385-7385
instance
customer
and
IrreflexiveRelation
(
instance
customer
PartialValuedRelation
)
Mid-level-ontology.kif 7388-7388
instance
customer
and
PartialValuedRelation
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
subrelation
guest
and
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 7396-7402
customer
CognitiveAgent
and
CognitiveAgent
Process
instance
Process
and
FinancialTransaction
agent
Process
and
CognitiveAgent
destination
Process
and
CognitiveAgent
(=>
(
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 19919-19940
attribute
CognitiveAgent
and
Waiter
instance
CognitiveAgent
and
Human
employs
CognitiveAgent
and
CognitiveAgent
instance
CognitiveAgent
and
Restaurant
customer
CognitiveAgent
and
CognitiveAgent
located
CognitiveAgent
and
Object
instance
Object
and
Table
possesses
CognitiveAgent
and
Object
instance
Object
and
KitchenArea
instance
Object
and
DiningArea
located
Object
and
Object
hasPurpose
CognitiveAgent
and
instance
entity
and
Carrying
agent
entity
and
CognitiveAgent
origin
entity
and
Object
destination
entity
and
Object
patient
entity
and
entity
instance
entity
and
FoodForFn
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
capability
ValetParking
,
agent
and
Organization
customer
CognitiveAgent
and
Organization
located
Organization
and
Object
instance
Process
and
Arriving
agent
Process
and
CognitiveAgent
patient
Process
and
Entity
destination
Process
and
Object
occupiesPosition
Human
,
Valet
and
Organization
modalAttribute
entity
instance
entity
and
ValetParking
agent
entity
and
Human
patient
entity
and
Entity
destination
entity
and
entity
instance
entity
and
ParkingRegion
and
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
CognitiveAgent
and
CognitiveAgent
corkageFee
CurrencyMeasure
,
Object
and
CognitiveAgent
instance
Object
and
Object
Process
instance
Process
and
Buying
patient
Process
and
Object
destination
Process
and
CognitiveAgent
origin
Process
and
CognitiveAgent
instance
Process
and
Drinking
agent
Process
and
CognitiveAgent
resource
Process
and
Object
Process
instance
Process
and
Corkage
agent
Process
and
CognitiveAgent
refers
Process
and
Object
destination
Process
and
CognitiveAgent
(=>
(
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
customer
CognitiveAgent
and
CognitiveAgent
employs
CognitiveAgent
and
CognitiveAgent
attribute
CognitiveAgent
and
TravelerAccommodation
attribute
CognitiveAgent
and
Porter
possesses
CognitiveAgent
and
Object
instance
Object
and
TravelContainer
Object
Process
instance
Object
and
HotelUnit
instance
Process
and
Carrying
agent
Process
and
CognitiveAgent
destination
Process
and
Object
origin
Process
and
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
customer
CognitiveAgent
and
CognitiveAgent
propertyAmenity
CognitiveAgent
and
Physical
subclass
Physical
and
Object
instance
Entity
and
Physical
confersRight
entity
instance
entity
and
Process
resource
entity
and
Entity
instrument
entity
and
Entity
patient
entity
and
Entity
agent
entity
and
CognitiveAgent
experiencer
entity
and
CognitiveAgent
,
CognitiveAgent
and
CognitiveAgent
(=>
(
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
customer
CognitiveAgent
and
CognitiveAgent
propertyAmenity
CognitiveAgent
and
Physical
subclass
Physical
and
Process
modalAttribute
entity
entity
element
entity
and
PropertyFn
CognitiveAgent
agent
entity
and
CognitiveAgent
patient
entity
and
CognitiveAgent
instance
entity
and
Physical
instance
entity
and
entity
subProcess
entity
and
entity
located
entity
and
entity
and
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
facility
CognitiveAgent
and
Object
customer
CognitiveAgent
and
CognitiveAgent
instance
Entity
and
Object
desires
CognitiveAgent
and
entity
instance
entity
and
IntentionalProcess
patient
entity
and
Entity
agent
entity
and
CognitiveAgent
modalAttribute
confersRight
uses
CognitiveAgent
and
Entity
,
CognitiveAgent
and
CognitiveAgent
and
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
freeFunctionRoomAmenity
HotelFunctionRoom
and
Class
instance
Entity
and
HotelFunctionRoom
element
Entity
and
PropertyFn
CognitiveAgent
instance
Process
and
Renting
patient
Process
and
Entity
destination
Process
and
CognitiveAgent
instance
Agent
and
Class
possesses
CognitiveAgent
and
Agent
customer
CognitiveAgent
and
CognitiveAgent
instance
Agent
and
Process
agent
Agent
and
CognitiveAgent
experiencer
Agent
and
CognitiveAgent
possesses
CognitiveAgent
and
Agent
instance
Agent
and
Object
uses
CognitiveAgent
and
Agent
price
Agent
,
MeasureFn
0 and
UnitedStatesDollar
and
CognitiveAgent
(=>
(
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
freePropertyAmenity
CognitiveAgent
and
Class
instance
Agent
and
Class
customer
CognitiveAgent
and
CognitiveAgent
instance
Agent
and
Process
agent
Agent
and
CognitiveAgent
experiencer
Agent
and
CognitiveAgent
possesses
CognitiveAgent
and
Agent
instance
Agent
and
Object
uses
CognitiveAgent
and
Agent
price
Agent
,
MeasureFn
0 and
UnitedStatesDollar
and
CognitiveAgent
(=>
(
and
(
instance
?A
Agency
)
(
customer
?C ?A))
(
instance
?C
CommercialAgent
))
Mid-level-ontology.kif 6767-6771
instance
CognitiveAgent
and
Agency
customer
CognitiveAgent
and
CognitiveAgent
instance
CognitiveAgent
and
CommercialAgent
(=>
(
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
instance
Agent
and
Agent
potentialCustomer
CognitiveAgent
and
Agent
modalAttribute
instance
entity
and
Reserving
destination
entity
and
Agent
and
Necessity
conditionalProbability
entity
ES1
instance
entity
ES1 and
Reservation
reservingEntity
CognitiveAgent
and
entity
ES1
fulfillingEntity
Agent
and
entity
ES1,
customer
CognitiveAgent
and
Agent
and
RealNumber
conditionalProbability
entity
ES2
instance
entity
ES2 and
Reservation
reservingEntity
CognitiveAgent
and
entity
ES2
fulfillingEntity
Agent
and
entity
ES2,
customer
CognitiveAgent
and
Agent
and
RealNumber
lessThan
RealNumber
and
RealNumber
(=>
(
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
instance
Process
and
CateringService
agent
Process
and
CognitiveAgent
destination
Process
and
Process
UST
located
CognitiveAgent
and
Object
customer
Process
UST and
CognitiveAgent
Process
Entity
and
Process
instance
Process
and
Cooking
agent
Process
and
CognitiveAgent
result
Process
and
Entity
patient
Process
and
Entity
instance
Process
and
Eating
agent
Process
and
Process
UST
eventLocated
Process
and
Entity
equal
Object
and
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 6819-6832
instance
CognitiveAgent
and
HealthInsuranceCompany
customer
CognitiveAgent
and
CognitiveAgent
hasPurposeForAgent
CognitiveAgent
,
entity
entity
instance
entity
and
DiagnosticProcess
instance
entity
and
TherapeuticProcess
experiencer
entity
and
CognitiveAgent
instance
entity
and
Payment
agent
entity
and
CognitiveAgent
refers
entity
and
entity
and
CognitiveAgent
(=>
(
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
instance
CognitiveAgent
and
Restaurant
instance
Object
and
DiningRoom
attribute
Object
and
PrivateAttribute
possesses
CognitiveAgent
and
Object
customer
CognitiveAgent
and
CognitiveAgent
instance
Process
and
Eating
agent
Process
and
CognitiveAgent
instance
CognitiveAgent
and
GroupOfPeople
modalAttribute
entity
customer
entity
and
CognitiveAgent
equal
CognitiveAgent
and
entity
instance
entity
and
Eating
agent
entity
and
entity
holdsDuring
WhenFn
Process
and
eventLocated
entity
and
Object
and
Likely
(=>
(
and
(
instance
?STORE
WholesaleStore
)
(
customer
?CUSTOMER ?STORE))
(
instance
?CUSTOMER
CommercialAgent
))
Mid-level-ontology.kif 7427-7431
instance
CognitiveAgent
and
WholesaleStore
customer
CognitiveAgent
and
CognitiveAgent
instance
CognitiveAgent
and
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
?CUST ?X))))
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0)))
Hotel.kif 850-875
paidFunctionRoomAmenity
HotelFunctionRoom
and
Class
instance
Entity
and
HotelFunctionRoom
element
Entity
and
PropertyFn
CognitiveAgent
instance
Process
and
Renting
patient
Process
and
Entity
destination
Process
and
CognitiveAgent
instance
Agent
and
Class
possesses
CognitiveAgent
and
Agent
customer
CognitiveAgent
and
CognitiveAgent
instance
Agent
and
Process
agent
Agent
and
CognitiveAgent
experiencer
Agent
and
CognitiveAgent
possesses
CognitiveAgent
and
Agent
instance
Agent
and
Object
uses
CognitiveAgent
and
Agent
price
Agent
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
CognitiveAgent
instance
UnitOfMeasure
and
UnitOfCurrency
greaterThan
RealNumber
and 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
paidPropertyAmenity
CognitiveAgent
and
Class
instance
Agent
and
Class
customer
CognitiveAgent
and
CognitiveAgent
instance
Agent
and
Process
agent
Agent
and
CognitiveAgent
experiencer
Agent
and
CognitiveAgent
possesses
CognitiveAgent
and
Agent
instance
Agent
and
Object
uses
CognitiveAgent
and
Agent
price
Agent
,
MeasureFn
RealNumber
and
UnitOfMeasure
and
CognitiveAgent
instance
UnitOfMeasure
and
UnitOfCurrency
greaterThan
RealNumber
and 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
possesses
CognitiveAgent
and
Object
instance
CognitiveAgent
and
CommercialAgent
instance
Object
and
ParkingLot
instance
Object
and
Building
located
CognitiveAgent
and
Object
customer
CognitiveAgent
and
CognitiveAgent
holdsDuring
TimePosition
and
located
CognitiveAgent
and
Object
instance
Process
and
Driving
patient
Process
and
Entity
agent
Process
and
CognitiveAgent
destination
Process
and
Object
holdsDuring
TimePosition
and
confersRight
instance
entity
and
Keeping
destination
entity
and
Object
patient
entity
and
Entity
,
CognitiveAgent
and
CognitiveAgent
consequent
(=>
(
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
instance
Policy
and
ChildrenPolicy
policyOwner
Organization
and
Policy
policyLocationCoverage
Policy
and
Object
containsInformation
Policy
and
modalAttribute
entity
customer
entity
and
Organization
instance
entity
and
HumanChild
and
Possibility
containsInformation
Policy
and
modalAttribute
entity
customer
entity
and
Organization
instance
entity
and
HumanChild
and
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
instance
CognitiveAgent
and
Restaurant
instance
Object
and
DiningRoom
attribute
Object
and
PrivateAttribute
possesses
CognitiveAgent
and
Object
customer
CognitiveAgent
and
CognitiveAgent
instance
Process
and
Eating
agent
Process
and
CognitiveAgent
instance
CognitiveAgent
and
GroupOfPeople
modalAttribute
entity
customer
entity
and
CognitiveAgent
equal
CognitiveAgent
and
entity
instance
entity
and
Eating
agent
entity
and
entity
holdsDuring
WhenFn
Process
and
eventLocated
entity
and
Object
and
Likely
(=>
(
attribute
?X
PassengerCarRental
)
(
hasPurpose
?X
(
exists
(?RENT ?CAR ?CUST)
(
and
(
customer
?CUST ?X)
(
instance
?CAR
Automobile
)
(
instance
?RENT
Renting
)
(
possesses
?X ?CAR)
(
agent
?RENT ?CUST)))))
naics.kif 9711-9720
attribute
Object
and
PassengerCarRental
hasPurpose
Object
and
entity
entity
and
entity
customer
entity
and
Object
instance
entity
and
Automobile
instance
entity
and
Renting
possesses
Object
and
entity
agent
entity
and
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
dressCode
AmbienceAttribute
and
Agent
modalAttribute
subjectiveAttribute
entity
,
AmbienceAttribute
and
Agent
instance
entity
and
Outfit
customer
entity
and
Agent
holdsDuring
WhenFn
located
entity
and
Agent
and
entity
member
entity
and
entity
entity
は % を
wear
s %n{ない}
and
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
instance
Physical
and
CruiseShip
hasPurpose
Physical
and
entity
entity
and
entity
instance
entity
and
RecreationOrExercise
possesses
entity
and
Physical
agent
entity
and
entity
customer
entity
and
entity
eventLocated
entity
and
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 2127-2139
instance
ServiceProcess
and
CheckInService
CognitiveAgent
CognitiveAgent
,
Process
and
Process
customer
CognitiveAgent
and
CognitiveAgent
serviceProvider
ServiceProcess
and
CognitiveAgent
instance
Process
and
Greeting
agent
Process
and
CognitiveAgent
destination
Process
and
CognitiveAgent
subProcess
Process
and
ServiceProcess
instance
Process
and
Process
agent
Process
and
CognitiveAgent
causes
ServiceProcess
and
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
instance
Process
and
RoomService
CognitiveAgent
Entity
,
CognitiveAgent
,
Process
,
Entity
,
Process
and
Object
customer
CognitiveAgent
and
CognitiveAgent
agent
Process
and
CognitiveAgent
instance
Process
and
Requesting
agent
Process
and
CognitiveAgent
patient
Process
and
Entity
represents
Entity
and
Entity
instance
Entity
and
PreparedFood
located
CognitiveAgent
and
Object
instance
Object
and
HotelUnit
instance
Process
and
DeliveryService
patient
Process
and
Entity
destination
Process
and
Object
before
BeginFn
WhenFn
Process
and
BeginFn
WhenFn
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
instance
Process
and
TransportationService
Object
CognitiveAgent
,
Process
and
CognitiveAgent
agent
Process
and
CognitiveAgent
possesses
CognitiveAgent
and
Object
customer
CognitiveAgent
and
CognitiveAgent
instance
Object
and
Vehicle
instance
Process
and
Transportation
agent
Process
and
CognitiveAgent
patient
Process
and
CognitiveAgent
instrument
Process
and
Object
subProcess
Process
and
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
instance
Process
and
ValetLaundryService
Human
CognitiveAgent
,
TemporaryResidence
,
Entity
,
Process
,
Process
and
Process
customer
Human
and
CognitiveAgent
stays
Human
and
TemporaryResidence
agent
Process
and
CognitiveAgent
instance
Entity
and
Clothing
instance
Process
and
Getting
located
Process
and
TemporaryResidence
patient
Process
and
Entity
agent
Process
and
CognitiveAgent
instance
Process
and
LaundryService
instance
Process
and
DryCleaningService
agent
Process
and
CognitiveAgent
patient
Process
and
Entity
instance
Process
and
DeliveryService
patient
Process
and
Entity
destination
Process
and
TemporaryResidence
before
BeginFn
WhenFn
Process
and
BeginFn
WhenFn
Process
before
BeginFn
WhenFn
Process
and
BeginFn
WhenFn
Process
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 772-775
potentialCustomer
CognitiveAgent
and
Agent
modalAttribute
customer
CognitiveAgent
and
Agent
and
Possibility
(=>
(
thirdPartyProduct
?ART ?ORG ?AG)
(
customer
?ORG ?AG))
ComputingBrands.kif 3908-3910
thirdPartyProduct
Artifact
,
Organization
and
CognitiveAgent
customer
Organization
and
CognitiveAgent
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