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 7749-7752 | |
(domain customer 1 CognitiveAgent) | Mid-level-ontology.kif 7747-7747 | Die Zahl 1 Argument von customer ist ein fall von CognitiveAgent %n{nicht} |
(domain customer 2 AutonomousAgent) | Mid-level-ontology.kif 7748-7748 | Die Zahl 2 Argument von customer ist ein fall von AutonomousAgent %n{nicht} |
(instance customer AsymmetricRelation) | Mid-level-ontology.kif 7740-7740 | customer ist ein fall von AsymmetricRelation %n{nicht} |
(instance customer BinaryPredicate) | Mid-level-ontology.kif 7739-7739 | customer ist ein fall von BinaryPredicate %n{nicht} |
(instance customer IrreflexiveRelation) | Mid-level-ontology.kif 7738-7738 | customer ist ein fall von IrreflexiveRelation %n{nicht} |
(instance customer PartialValuedRelation) | Mid-level-ontology.kif 7741-7741 | customer ist ein fall von PartialValuedRelation %n{nicht} |
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 ist eine teilrelation von customer |
(termFormat ChineseLanguage customer "顾客") | domainEnglishFormat.kif 18168-18168 | |
(termFormat ChineseTraditionalLanguage customer "顧客") | domainEnglishFormat.kif 18167-18167 | |
(termFormat EnglishLanguage customer "customer") | domainEnglishFormat.kif 18166-18166 |
antecedent |
consequent |
(=> (and (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (customer ?Agent ?Bank)) |
FinancialOntology.kif 3621-3625 | |
(=> (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 |
|
(=> (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 |
|
(=> (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 |
|
(=> (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 |
|
(=> (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 |
|
(=> (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 ?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 ?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 |
|
(=> (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 |
|
(=> (potentialCustomer ?CUST ?AGENT) (modalAttribute (customer ?CUST ?AGENT) Possibility)) |
Dining.kif 819-822 |
|
(=> (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 ?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 |
|
(=> (thirdPartyProduct ?ART ?ORG ?AG) (customer ?ORG ?AG)) |
ComputingBrands.kif 3945-3947 |
|