potentialCustomer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - potentialCustomer

potentialCustomer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 804-806
No TPTP formula. May not be expressible in strict first order.	Dining.kif 807-807	O argumento numero 1 de potentialCustomer e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 808-808	O argumento numero 2 de potentialCustomer e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 803-803	potentialCustomer e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4186-4186
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4185-4185
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4184-4184
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65914-65914

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	AutonomousAgent e' uma instancia de AutonomousAgent potentialCustomer Agente Cognitivo and AutonomousAgent o argumento Entidade e' uma instancia de Reserving Entidade termina em AutonomousAgent tem a forca modal de Necessity a probabilidade de EntidadeES1 EntidadeES1 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES1 fulfillingEntity AutonomousAgent and EntidadeES1 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real a probabilidade de EntidadeES2 EntidadeES2 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES2 fulfillingEntity AutonomousAgent and EntidadeES2 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Dining.kif 810-817	potentialCustomer Agente Cognitivo and AutonomousAgent Entidade Processo Processo e' uma instancia de Vender Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Agente Cognitivo esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	Dining.kif 819-822	potentialCustomer Agente Cognitivo and AutonomousAgent o argumento customer Agente Cognitivo and AutonomousAgent tem a forca modal de Possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 762-767	Processo e' uma instancia de Reserving Processo e' um agente de Agente Cognitivo Processo termina em AutonomousAgent potentialCustomer Agente Cognitivo and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2883-2892	numberAdultOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Colecao e' uma instancia de GroupOfPeople memberType Colecao and HumanAdult memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	numberChildOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Colecao Colecao e' uma instancia de GroupOfPeople Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de GroupOfPeople memberType Colecao and HumanChild memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	numberOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Colecao e' uma instancia de GroupOfPeople memberType Colecao and Humano memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 732-742	numberOfCustomers Inteiro positivo and Reservation fulfillingEntity AutonomousAgent and Reservation reservingEntity AutonomousAgent and Reservation Colecao potentialCustomer Colecao and AutonomousAgent Colecao e' uma instancia de GroupOfPeople AutonomousAgent e' membro de Colecao memberCount Colecao and Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	numberSeniorOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Numero Real Colecao e' uma instancia de GroupOfPeople Fisico Fisico e' membro de Colecao Fisico e' uma instancia de HumanAdult a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior ou igual a 60 memberCount Colecao and Numero Inteiro potentialCustomer Colecao 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