TreeView Knowledge Base Browser - customer

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 Agents such that the first is the destination of the FinancialTransaction and the second is the agent.")	Mid-level-ontology.kif 7695-7698
(domain customer 1 CognitiveAgent)	Mid-level-ontology.kif 7693-7693	domain customer, 1 and CognitiveAgent
(domain customer 2 AutonomousAgent)	Mid-level-ontology.kif 7694-7694	domain customer, 2 and AutonomousAgent
(instance customer AsymmetricRelation)	Mid-level-ontology.kif 7686-7686	instance customer and AsymmetricRelation
(instance customer BinaryPredicate)	Mid-level-ontology.kif 7685-7685	instance customer and BinaryPredicate
(instance customer IrreflexiveRelation)	Mid-level-ontology.kif 7684-7684	instance customer and IrreflexiveRelation
(instance customer PartialValuedRelation)	Mid-level-ontology.kif 7687-7687	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 18158-18158
(termFormat ChineseTraditionalLanguage customer "顧客")	domainEnglishFormat.kif 18157-18157
(termFormat EnglishLanguage customer "customer")	domainEnglishFormat.kif 18156-18156

antecedent

(<=> (customer ?AGENT1 ?AGENT2) (exists (?SERVICE) (and (instance ?SERVICE FinancialTransaction) (agent ?SERVICE ?AGENT2) (destination ?SERVICE ?AGENT1))))	Mid-level-ontology.kif 7700-7706	customer CognitiveAgent and AutonomousAgent Process instance Process and FinancialTransaction agent Process and AutonomousAgent 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)) (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 20396-20418	attribute CognitiveAgent and Waiter instance CognitiveAgent and Human employs AutonomousAgent and CognitiveAgent instance AutonomousAgent and Restaurant customer CognitiveAgent and AutonomousAgent located CognitiveAgent and Object instance Object and Table Object entity, entity and Object possesses AutonomousAgent 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 AutonomousAgent corkageFee CurrencyMeasure, Object and AutonomousAgent instance Object and Object Process instance Process and Buying patient Process and Object destination Process and CognitiveAgent origin Process and AutonomousAgent 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 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 CognitiveAgent and AutonomousAgent employs AutonomousAgent and CognitiveAgent attribute AutonomousAgent 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 504-520	customer CognitiveAgent and AutonomousAgent propertyAmenity AutonomousAgent 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, AutonomousAgent and CognitiveAgent
(=> (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 CognitiveAgent and AutonomousAgent propertyAmenity AutonomousAgent and Physical subclass Physical and Process modalAttribute entity entity and entity element entity and PropertyFn AutonomousAgent agent entity and AutonomousAgent patient entity and CognitiveAgent instance entity and Physical instance entity and Physical 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 ?X ?CUST) ?AGENT ?CUST) Possibility))	Dining.kif 336-350	facility AutonomousAgent and Object customer CognitiveAgent and AutonomousAgent instance Entity and Object desires CognitiveAgent and entity instance entity and IntentionalProcess patient entity and Entity agent entity and CognitiveAgent modalAttribute confersRight uses Entity and CognitiveAgent, AutonomousAgent 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 ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 841-862	freeFunctionRoomAmenity HotelFunctionRoom and Physical instance Entity and HotelFunctionRoom element Entity and PropertyFn AutonomousAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Object and Physical possesses AutonomousAgent and Object customer CognitiveAgent and AutonomousAgent instance Object and Process agent Object and CognitiveAgent experiencer Object and CognitiveAgent possesses AutonomousAgent and Object instance Object and Object uses Object and CognitiveAgent price Object, MeasureFn 0 and UnitedStatesDollar 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 Physical instance Process and Physical customer CognitiveAgent and AutonomousAgent instance Process and Process agent Process and CognitiveAgent experiencer Process and CognitiveAgent possesses AutonomousAgent and Process instance Process and Object uses Process and CognitiveAgent price Process, MeasureFn 0 and UnitedStatesDollar and AutonomousAgent
(=> (and (instance ?A Agency) (customer ?C ?A)) (instance ?C CommercialAgent))	Mid-level-ontology.kif 7063-7067	instance AutonomousAgent and Agency customer CognitiveAgent and AutonomousAgent instance CognitiveAgent and 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	instance AutonomousAgent and AutonomousAgent potentialCustomer CognitiveAgent and AutonomousAgent modalAttribute instance entity and Reserving destination entity and AutonomousAgent and Necessity conditionalProbability entityES1 instance entityES1 and Reservation reservingEntity CognitiveAgent and entityES1 fulfillingEntity AutonomousAgent and entityES1, customer CognitiveAgent and AutonomousAgent and RealNumber conditionalProbability entityES2 instance entityES2 and Reservation reservingEntity CognitiveAgent and entityES2 fulfillingEntity AutonomousAgent and entityES2, customer CognitiveAgent and AutonomousAgent 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 586-602	instance Process and CateringService agent Process and AutonomousAgent destination Process and ProcessUST located AutonomousAgent and Object customer ProcessUST and AutonomousAgent Process Entity and Process instance Process and Cooking agent Process and AutonomousAgent result Process and Entity patient Process and Entity instance Process and Eating agent Process and ProcessUST eventLocated Process and Object equal Object and 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 7115-7128	instance CognitiveAgent and HealthInsuranceCompany customer CognitiveAgent and AutonomousAgent hasPurposeForAgent CognitiveAgent, entity entity instance entity and DiagnosticProcess instance entity and TherapeuticProcess experiencer entity and AutonomousAgent instance entity and Payment agent entity and CognitiveAgent refers entity and entity and 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	instance AutonomousAgent and Restaurant instance Object and DiningRoom attribute Object and PrivateAttribute possesses AutonomousAgent and Object customer CognitiveAgent and AutonomousAgent instance Process and Eating agent Process and CognitiveAgent instance CognitiveAgent and GroupOfPeople modalAttribute entity entity customer entity and AutonomousAgent 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 7731-7735	instance AutonomousAgent and WholesaleStore customer CognitiveAgent and AutonomousAgent 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 ?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 Physical instance Entity and HotelFunctionRoom element Entity and PropertyFn AutonomousAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Object and Physical possesses AutonomousAgent and Object customer CognitiveAgent and AutonomousAgent instance Object and Process agent Object and CognitiveAgent experiencer Object and CognitiveAgent possesses AutonomousAgent and Object instance Object and Object uses Object and CognitiveAgent RealNumber UnitOfMeasure price Object, MeasureFn RealNumber and UnitOfMeasure and AutonomousAgent 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 ?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 Physical instance Process and Physical customer CognitiveAgent and AutonomousAgent instance Process and Process agent Process and CognitiveAgent experiencer Process and CognitiveAgent possesses AutonomousAgent and Process instance Process and Object uses Process and CognitiveAgent RealNumber UnitOfMeasure price Process, MeasureFn RealNumber and UnitOfMeasure and AutonomousAgent 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 AutonomousAgent holdsDuring TimePosition and located AutonomousAgent and Object instance Process and Driving patient Process and Entity agent Process and AutonomousAgent destination Process and Object holdsDuring TimePosition and confersRight instance entity and Keeping destination entity and Object patient entity and Entity, CognitiveAgent and AutonomousAgent

consequent

(=> (and (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (customer ?Agent ?Bank))	FinancialOntology.kif 3631-3635	accountHolder FinancialAccount and CognitiveAgent accountAt FinancialAccount and FinancialOrganization customer CognitiveAgent 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	instance Policy and ChildrenPolicy policyOwner entity and Policy policyLocationCoverage Policy and Object containsInformation Policy and modalAttribute entity customer entity and entity instance entity and HumanChild and Possibility containsInformation Policy and modalAttribute entity customer entity and entity 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 ?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	instance AutonomousAgent and Restaurant instance Object and DiningRoom attribute Object and PrivateAttribute possesses AutonomousAgent and Object customer CognitiveAgent and AutonomousAgent instance Process and Eating agent Process and CognitiveAgent instance CognitiveAgent and GroupOfPeople modalAttribute entity entity customer entity and AutonomousAgent 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 (exists (?OUTFIT ?T) (and (instance ?OUTFIT Outfit) (subjectiveAttribute ?OUTFIT ?CODE ?AGENT) (holdsDuring ?T (forall (?CUST ?ITEM) (and (customer ?CUST ?AGENT) (locatedAtTime ?CUST ?T ?AGENT) (memeber ?ITEM ?OUTFIT) (wears ?CUST ?ITEM)))))) Obligation))	Dining.kif 492-505	dressCode AmbienceAttribute and AutonomousAgent modalAttribute entity entity instance entity and Outfit subjectiveAttribute entity, AmbienceAttribute and AutonomousAgent holdsDuring entity and entity entity customer entity and AutonomousAgent locatedAtTime entity, entity and AutonomousAgent memeber entity and entity entity は % を wears %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 2470-2479	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 2154-2166	instance Process and CheckInService AutonomousAgent CognitiveAgent, Process and Process customer CognitiveAgent and AutonomousAgent serviceProvider Process and AutonomousAgent instance Process and Greeting agent Process and CognitiveAgent destination Process and AutonomousAgent subProcess Process and Process instance Process and Process agent Process and AutonomousAgent causes Process 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 1969-1987	instance Process and RoomService AutonomousAgent Entity, CognitiveAgent, Process, Entity, Process and Object customer CognitiveAgent and AutonomousAgent agent Process and AutonomousAgent 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 3339-3351	instance Process and TransportationService Object AutonomousAgent, Process and CognitiveAgent agent Process and AutonomousAgent possesses AutonomousAgent and Object customer CognitiveAgent and AutonomousAgent instance Object and Vehicle instance Process and Transportation agent Process and AutonomousAgent 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 1827-1848	instance Process and ValetLaundryService Human AutonomousAgent, TemporaryResidence, Entity, Process, Process and Process customer Human and AutonomousAgent stays Human and TemporaryResidence agent Process and AutonomousAgent instance Entity and Clothing instance Process and Getting located Process and TemporaryResidence patient Process and Entity agent Process and AutonomousAgent instance Process and LaundryService instance Process and DryCleaningService agent Process and AutonomousAgent 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 819-822	potentialCustomer CognitiveAgent and AutonomousAgent modalAttribute customer CognitiveAgent and AutonomousAgent and 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 TimeInterval and AutonomousAgent Process Entity, Entity, RealNumber and RealNumber instance Process and FinancialTransaction agent Process and AutonomousAgent instance Entity and TimeInterval destination Process and Entity equal RealNumber and ProbabilityFn during WhenFn Process and Entity customer Entity and AutonomousAgent equal RealNumber and ProbabilityFn during WhenFn Process and Entity customer Entity and AutonomousAgent greaterThan RealNumber and RealNumber
(=> (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 TimeInterval and AutonomousAgent Process TimeInterval and CognitiveAgent instance Process and Selling instance TimeInterval and TimeInterval agent Process and AutonomousAgent customer CognitiveAgent and AutonomousAgent during whenFn Process and TimeInterval
(=> (thirdPartyProduct ?ART ?ORG ?AG) (customer ?ORG ?AG))	ComputingBrands.kif 3943-3945	thirdPartyProduct Artifact, Organization and AutonomousAgent customer Organization 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