TreeView Knowledge Base Browser - potentialCustomer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

potentialCustomer

Sigma KEE - potentialCustomer

potentialCustomer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 757-759
No TPTP formula. May not be expressible in strict first order.	Dining.kif 760-760	The number 1 argument of potentialCustomer is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 761-761	The number 2 argument of potentialCustomer is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 756-756	potentialCustomer is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4191-4191
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4190-4190
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4189-4189

antecedent

No TPTP formula. May not be expressible in strict first order.	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 ends up at the agent has the modal force of necessity and probability of there exists the entityES1 such that the entityES1 is an instance of reservation and the cognitive agent reserves the entityES1 and the agent fulfills the entityES1 provided that the agent is a customer of the cognitive agent holds is a real number and probability of there doesn't exist the entityES2 such that the entityES2 is an instance of reservation and the cognitive agent reserves the entityES2 and the agent fulfills the entityES2 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
No TPTP formula. May not be expressible in strict first order.	Dining.kif 371-382	If the standard retail hours for an agent are a kind of time interval and a cognitive agent is a potential customer for the agent and a process is an instance of intentional process and the process ends up at the cognitive agent and an entity is an instance of the start of the process and probability of the time of existence of the entity takes place during a kind of time interval provided that the agent is an agent of the process holds is a real number and probability of the time of existence of the entity doesn't take place during the kind of time interval provided that the agent is an agent of the process holds is another real number, then the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Dining.kif 763-770	If a cognitive agent is a potential customer for an agent, then there exist an entity and a process such that the process is an instance of selling and the agent is an agent of the process and the entity is a patient of the process and the cognitive agent is interested in the entity
No TPTP formula. May not be expressible in strict first order.	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

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 715-720	If a process is an instance of reserving and a cognitive agent is an agent of the process and the process ends up at an agent, then the cognitive agent is a potential customer for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2852-2861	If an agent may have an integer adults and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human adult is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2872-2883	If an agent may have an integer children and the agent fulfills another agent, then there exist a collection and another collection such that the collection is an instance of group of people and the other collection is a proper sub-collection of the collection and the other collection is an instance of group of people and human child is a member type of the other collection and the integer is a member count of the other collection and the collection is a potential customer for the other agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2833-2842	If an agent may have an integer occupants and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 686-696	If a reservation is for a positive integer customers and an agent fulfills the reservation and another agent reserves the reservation, then there exists a collection such that the collection is a potential customer for the agent and the collection is an instance of group of people and the other agent is a member of the collection and the positive integer is a member count of the collection
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2894-2909	If an agent is for an integer seniors and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and for all a physical if the physical is a member of the collection, then the physical is an instance of human adult and the age of the physical is a real number year duration(s) and the real number is greater than or equal to 60 and the integer is a member count of the collection and the collection is a potential customer for the other agent

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