Ticket - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Ticket

Ticket

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16537-16539
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 781-781
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3232-3232
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3233-3233
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 189-189
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3235-3235
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3234-3234
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3231-3231
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3011-3011
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16536-16536	Ticket e' uma sub-classe de Certificado

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11444-11444	WaterParkTicket e' uma sub-classe de Ticket
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58022-58022
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58021-58021
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58020-58020

antecedent

No TPTP formula. May not be expressible in strict first order.	naics.kif 11456-11468	AutonomousAgent e' uma instancia de Ticket AutonomousAgent possui Objeto issuedBy AutonomousAgent and Agente Cognitivo AmusementGamblingAndRecreationIndustries e' um atributo de Agente Cognitivo Agente Cognitivo e' situado em Objeto confersNorm Agente Cognitivo, Entidade Entidade e' uma instancia de Recreacao ou Exercicio Objeto experimenta Entidade eventLocated Entidade and Objeto and Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16541-16553	issuedBy Certificado and Agente Cognitivo Certificado e' uma instancia de Ticket AutonomousAgent possui Certificado confersNorm Agente Cognitivo, Entidade Entidade Entidade e' uma instancia de Processo Entidade e' um agente de Agente Cognitivo AutonomousAgent experimenta Entidade vale durante Entidade and Permission

consequent

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

Hotel.kif 2353-2372

ArtsAndRecreationTicketingServices e' um atributo de Objeto
Objeto tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade e' um agente de Objeto Entidade e' uma instancia de Ticket Entidade termina em Entidade Entidade tem por fim Objeto autoriza Entidade a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Visao Entidade e' um agente de Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Performance Entidade e' uma instancia de Esporte

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