customer - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7722-7725
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7720-7720	Le nombre 1 argument de customer est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7721-7721	Le nombre 2 argument de customer est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7713-7713	customer est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7712-7712	customer est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7711-7711	customer est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7714-7714	customer est une instance de relation partielle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 628-628
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 627-627
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 626-626
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 55-55	guest est une sous-relation de customer
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18168-18168
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18167-18167
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18166-18166

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7727-7733	customer agent cognitif and AutonomousAgent processus processus est une instance de financial transaction processus est un agent de AutonomousAgent processus aboutit � agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20601-20623	Waiter est un attribut de agent cognitif agent cognitif est une instance de humain AutonomousAgent emploie agent cognitif AutonomousAgent est une instance de Restaurant customer agent cognitif and AutonomousAgent agent cognitif est situ� � objet objet est une instance de Table objet entit�, entit� and objet AutonomousAgent poss�de objet objet est une instance de KitchenArea objet est une instance de DiningArea objet est situ� � objet agent cognitif a pour but entit� est une instance de Carrying entit� est un agent de agent cognitif entit� a pour origine objet entit� aboutit � objet entit� est un patient de entit� entit� est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	Organisation est capable de faire ValetParking dans le r�le agent customer agent cognitif and organisation organisation est situ� � objet processus est une instance de Arriving processus est un agent de agent cognitif entit� est un patient de processus processus aboutit � objet humain humain occupe la position de Valet organisation l'argument entit� entit� entit� est une instance de ValetParking entit� est un agent de humain entit� est un patient de entit� entit� aboutit � entit� entit� est une instance de ParkingRegion a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	customer agent cognitif and AutonomousAgent corkageFee mesure de devise, objet and AutonomousAgent objet est une instance de objet processus processus est une instance de acheter objet est un patient de processus processus aboutit � agent cognitif processus a pour origine AutonomousAgent processus est une instance de boire processus est un agent de agent cognitif objet est une resource pour processus processus processus est une instance de Corkage processus est un agent de agent cognitif processus inclut une r�f�rence � objet processus aboutit � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	customer agent cognitif and AutonomousAgent AutonomousAgent emploie agent cognitif TravelerAccommodation est un attribut de AutonomousAgent Porter est un attribut de agent cognitif agent cognitif poss�de objet objet est une instance de TravelContainer objet processus objet est une instance de HotelUnit processus est une instance de Carrying processus est un agent de agent cognitif processus aboutit � objet processus a pour origine objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de objet entit� est une instance de physique AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de processus entit� est une resource pour entit� entit� est un instrument pour entit� entit� est un patient de entit� entit� est un agent de agent cognitif agent cognitif exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de processus l'argument entit� entit� and entit� entit� est un appartenir � AutonomousAgent entit� est un agent de AutonomousAgent agent cognitif est un patient de entit� entit� est une instance de physique entit� est une instance de physique entit� est un sous-processus de entit� entit� est situ� � entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	facility AutonomousAgent and objet customer agent cognitif and AutonomousAgent entit� est une instance de objet agent cognitif desire entit� entit� est une instance de processus intentionnel entit� est un patient de entit� entit� est un agent de agent cognitif l'argument AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type agent cognitif utilise entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	freeFunctionRoomAmenity HotelFunctionRoom and physique entit� est une instance de HotelFunctionRoom entit� est un appartenir � AutonomousAgent processus est une instance de Renting entit� est un patient de processus processus aboutit � agent cognitif objet est une instance de physique AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent objet est une instance de processus objet est un agent de agent cognitif agent cognitif exp�rimente objet AutonomousAgent poss�de objet objet est une instance de objet agent cognitif utilise objet price objet, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	freePropertyAmenity AutonomousAgent and physique processus est une instance de physique customer agent cognitif and AutonomousAgent processus est une instance de processus processus est un agent de agent cognitif agent cognitif exp�rimente processus AutonomousAgent poss�de processus processus est une instance de objet agent cognitif utilise processus price processus, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7107-7111	AutonomousAgent est une instance de Agency customer agent cognitif and AutonomousAgent agent cognitif est une instance de CommercialAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	AutonomousAgent est une instance de AutonomousAgent potentialCustomer agent cognitif and AutonomousAgent l'argument entit� est une instance de Reserving entit� aboutit � AutonomousAgent a la force modale de Necessity la probabilit� de entit�ES1 entit�ES1 est une instance de Reservation reservingEntity agent cognitif and entit�ES1 fulfillingEntity AutonomousAgent and entit�ES1 pourvu que customer agent cognitif and AutonomousAgent vaut nombre r�el la probabilit� de entit�ES2 entit�ES2 est une instance de Reservation reservingEntity agent cognitif and entit�ES2 fulfillingEntity AutonomousAgent and entit�ES2 pourvu que customer agent cognitif and AutonomousAgent vaut nombre r�el nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	Processus est une instance de CateringService processus est un agent de AutonomousAgent processus aboutit � processusUST AutonomousAgent est situ� � objet customer processusUST and AutonomousAgent processus entit� and processus processus est une instance de cuisiner processus est un agent de AutonomousAgent entit� est le resultat de processus entit� est un patient de processus processus est une instance de manger processus est un agent de processusUST eventLocated processus and objet objet est objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7159-7172	Agent cognitif est une instance de HealthInsuranceCompany customer agent cognitif and AutonomousAgent agent cognitif a le but entit� entit� entit� est une instance de processus de diagnostique entit� est une instance de processus therapeutique AutonomousAgent exp�rimente entit� entit� est une instance de Payment entit� est un agent de agent cognitif entit� inclut une r�f�rence � entit� pour AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	AutonomousAgent est une instance de Restaurant objet est une instance de DiningRoom PrivateAttribute est un attribut de objet AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent processus est une instance de manger processus est un agent de agent cognitif agent cognitif est une instance de GroupOfPeople l'argument entit� entit� customer entit� and AutonomousAgent agent cognitif est entit� entit� est une instance de manger entit� est un agent de entit� eventLocated entit� and objet pendant temps d'existence de processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7758-7762	AutonomousAgent est une instance de WholesaleStore customer agent cognitif and AutonomousAgent agent cognitif est une instance de CommercialAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	paidFunctionRoomAmenity HotelFunctionRoom and physique entit� est une instance de HotelFunctionRoom entit� est un appartenir � AutonomousAgent processus est une instance de Renting entit� est un patient de processus processus aboutit � agent cognitif objet est une instance de physique AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent objet est une instance de processus objet est un agent de agent cognitif agent cognitif exp�rimente objet AutonomousAgent poss�de objet objet est une instance de objet agent cognitif utilise objet nombre r�el unit� de mesure price objet, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand que 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 569-589	paidPropertyAmenity AutonomousAgent and physique processus est une instance de physique customer agent cognitif and AutonomousAgent processus est une instance de processus processus est un agent de agent cognitif agent cognitif exp�rimente processus AutonomousAgent poss�de processus processus est une instance de objet agent cognitif utilise processus nombre r�el unit� de mesure price processus, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand que 0
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 102-121	Agent cognitif poss�de objet agent cognitif est une instance de CommercialAgent objet est une instance de ParkingLot objet est une instance de immeuble agent cognitif est situ� � objet customer agent cognitif and AutonomousAgent AutonomousAgent est situ� � objet pendant position temporel processus est une instance de conduire entit� est un patient de processus processus est un agent de AutonomousAgent processus aboutit � objet agent cognitif autorise AutonomousAgent � ex�cut� des t�ches du type entit� est une instance de garder entit� aboutit � objet entit� est un patient de entit� pendant position temporel

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3621-3625	accountHolder FinancialAccount and agent cognitif accountAt FinancialAccount and FinancialOrganization customer agent cognitif and FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2535-2553	Policy est une instance de ChildrenPolicy policyOwner organisation and Policy policyLocationCoverage Policy and objet Policy contient information l'argument entit� customer entit� and organisation entit� est une instance de HumanChild a la force modale de Possibility Policy contient information l'argument entit� customer entit� and organisation entit� est une instance de HumanChild n' %n{pas} la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	AutonomousAgent est une instance de Restaurant objet est une instance de DiningRoom PrivateAttribute est un attribut de objet AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent processus est une instance de manger processus est un agent de agent cognitif agent cognitif est une instance de GroupOfPeople l'argument entit� entit� customer entit� and AutonomousAgent agent cognitif est entit� entit� est une instance de manger entit� est un agent de entit� eventLocated entit� and objet pendant temps d'existence de processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	naics.kif 9711-9720	PassengerCarRental est un attribut de objet objet a pour but entit� entit� and entit� customer entit� and objet entit� est une instance de Automobile entit� est une instance de Renting objet poss�de entit� entit� est un agent de entit�
No TPTP formula. May not be expressible in strict first order.	Dining.kif 492-505	dressCode AmbienceAttribute and AutonomousAgent l'argument entit� entit� entit� est une instance de Outfit subjectiveAttribute entit�, AmbienceAttribute and AutonomousAgent entit� entit� customer entit� and AutonomousAgent locatedAtTime entit�, entit� and AutonomousAgent entit� est un membre de entit� entit� porte entit� pendant entit� a la force modale de Obligation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2471-2480	Physique est une instance de CruiseShip physique a pour but entit� entit� and entit� entit� est une instance de r�cr�ation ou exercice entit� poss�de physique entit� est un agent de entit� customer entit� and entit� eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2154-2166	ServiceProcess est une instance de CheckInService agent cognitif agent cognitif, processus and processus customer agent cognitif and agent cognitif serviceProvider ServiceProcess and agent cognitif processus est une instance de Greeting processus est un agent de agent cognitif processus aboutit � agent cognitif processus est un sous-processus de ServiceProcess processus est une instance de processus processus est un agent de agent cognitif ServiceProcess cause processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1969-1987	Processus est une instance de RoomService AutonomousAgent entit�, agent cognitif, processus, entit�, processus and objet customer agent cognitif and AutonomousAgent processus est un agent de AutonomousAgent processus est une instance de demander processus est un agent de agent cognitif entit� est un patient de processus entit� d�finie entit� entit� est une instance de PreparedFood agent cognitif est situ� � objet objet est une instance de HotelUnit processus est une instance de DeliveryService entit� est un patient de processus processus aboutit � objet le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3340-3352	Processus est une instance de TransportationService objet AutonomousAgent, processus and agent cognitif processus est un agent de AutonomousAgent AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent objet est une instance de Vehicle processus est une instance de transporter processus est un agent de AutonomousAgent agent cognitif est un patient de processus objet est un instrument pour processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1827-1848	Processus est une instance de ValetLaundryService humain AutonomousAgent, TemporaryResidence, entit�, processus, processus and processus customer humain and AutonomousAgent stays humain and TemporaryResidence processus est un agent de AutonomousAgent entit� est une instance de v�tement processus est une instance de obtenir processus est situ� � TemporaryResidence entit� est un patient de processus processus est un agent de AutonomousAgent processus est une instance de LaundryService processus est une instance de DryCleaningService processus est un agent de AutonomousAgent entit� est un patient de processus processus est une instance de DeliveryService entit� est un patient de processus processus aboutit � TemporaryResidence le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Dining.kif 819-822	potentialCustomer agent cognitif and AutonomousAgent l'argument customer agent cognitif and AutonomousAgent a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Dining.kif 388-407	standardRetailHours interval temporel and AutonomousAgent processus entit�, entit�, nombre r�el and nombre r�el processus est une instance de financial transaction processus est un agent de AutonomousAgent entit� est une instance de interval temporel processus aboutit � entit� nombre r�el est probabilit� de temps d'existence de processus prend place pendant entit� customer entit� and AutonomousAgent nombre r�el est probabilit� de temps d'existence de processus ne prend %n{pas} place pendant entit� customer entit� and AutonomousAgent nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Dining.kif 373-382	standardRetailHours interval temporel and AutonomousAgent processus interval temporel and agent cognitif processus est une instance de vendre interval temporel est une instance de interval temporel processus est un agent de AutonomousAgent customer agent cognitif and AutonomousAgent temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3945-3947	thirdPartyProduct artefact, organisation and AutonomousAgent customer organisation and AutonomousAgent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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