TreeView Knowledge Base Browser - fulfillingEntity

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

fulfillingEntity

Sigma KEE - fulfillingEntity

fulfillingEntity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 683-685
No TPTP formula. May not be expressible in strict first order.	Dining.kif 686-686	O argumento numero 1 de fulfillingEntity e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 687-687	O argumento numero 2 de fulfillingEntity e' uma instancia de Reservation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 682-682	fulfillingEntity e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3502-3502
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3501-3501
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3500-3500
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65834-65834

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2847-2851	fulfillingEntity AutonomousAgent and Reservation Reservation e' uma instancia de HotelReservation TravelerAccommodation e' um atributo de AutonomousAgent
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.	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
No TPTP formula. May not be expressible in strict first order.	Dining.kif 711-724	reservationStart Ponto no tempo and Reservation reservationEnd Ponto no tempo and Reservation reservingEntity AutonomousAgent and Reservation fulfillingEntity AutonomousAgent and Reservation o argumento Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um agente de AutonomousAgent Entidade termina em AutonomousAgent vale durante o intervalo entre Ponto no tempo e Ponto no tempo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 689-695	fulfillingEntity AutonomousAgent and Reservation Processo Processo e' uma instancia de Reserving Processo termina em AutonomousAgent Reservation e' o resultado de Processo

consequent

No TPTP formula. May not be expressible in strict first order.

Dining.kif 749-754

Reservation e' uma instancia de DiningReservation
AutonomousAgent fulfillingEntity AutonomousAgent and Reservation AutonomousAgent e' uma instancia de Restaurant

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