TreeView Knowledge Base Browser - Requesting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Requesting

Requesting(Pedir)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3270-3271
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13241-13244
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13240-13240	Pedir e' uma sub-classe de Dirigir

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1347-1347	Bidding e' uma sub-classe de Pedir
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16146-16146	LegalAppeal e' uma sub-classe de Pedir
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8031-8031	Praying e' uma sub-classe de Pedir
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29756-29756	Prompting e' uma sub-classe de Pedir
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 837-837	Reminding e' uma sub-classe de Pedir
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1201-1201
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1619-1619
No TPTP formula. May not be expressible in strict first order.	french_format.kif 879-879
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 412-412
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 415-415
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2563-2563
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 831-831
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 417-417
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 451-451
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 900-900
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 416-416

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	AccessingWebPage e' uma instancia de AccessingWebPage Entidade e' uma instancia de WebPage Processo e' uma instancia de DataTransfer Objeto e' uma instancia de Server Processo e' uma instancia de Pedir AutonomousAgent e' uma instancia de WebBrowser Intervalo Temporal e' uma instancia de Intervalo Temporal Entidade e' um patient de AccessingWebPage Processo e' um agente de AutonomousAgent Processo termina em Objeto Entidade e' um patient de Processo Processo tem como origem Objeto Processo termina em AutonomousAgent Entidade e' um patient de Processo Processo e' um sub-processo de AccessingWebPage Processo e' um sub-processo de AccessingWebPage o fim de tempo de existencia de Processo e' igual a o comeco de Intervalo Temporal o fim de tempo de existencia de Processo e' igual a o fim de Intervalo Temporal SiteSpeedFn AccessingWebPage e' igual a Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13246-13252	Processo e' uma instancia de Pedir Processo e' um agente de Agente Cognitivo Formula e' um patient de Processo Formula e' uma instancia de Formula Agente Cognitivo deseja Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14303-14308	Processo e' uma instancia de Pedir Entidade e' o resultado de Processo Entidade e' uma instancia de Frase Entidade e' uma instancia de Request

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1582-1604	Processo e' uma instancia de OperationPlanning Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de CombatantCommander Processo AutonomousAgent Processo e' uma instancia de Pedir Processo e' um agente de AutonomousAgent ChairmanJCS e' um atributo de AutonomousAgent Processo causa Processo AutonomousAgent e' uma instancia de SubunifiedCommander Processo AutonomousAgentSUPER and Organizacao Processo e' uma instancia de Pedir Processo e' um agente de AutonomousAgentSUPER MilitaryCommander e' um atributo de AutonomousAgentSUPER subordinatePosition Organizacao, AutonomousAgent and AutonomousAgentSUPER Organizacao e' uma instancia de MilitaryForce Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4197-4208	Processo e' uma instancia de Spamming ProcessoPAM e' o resultado de Processo Processo e' uma instancia de Spam Entidade e' uma instancia de Humano Processo termina em Entidade Processo Processo e' uma instancia de Pedir ProcessoPAM e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Government.kif 2317-2324	AutonomousAgent e' uma instancia de PoliticalPressureGroup Processo Entidade Processo e' uma instancia de Pedir Processo e' um agente de AutonomousAgent Entidade e' uma instancia de GovernmentOrganization Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1969-1987	Processo e' uma instancia de RoomService AutonomousAgent Entidade, Agente Cognitivo, Processo, Entidade, Processo and Objeto customer Agente Cognitivo and AutonomousAgent Processo e' um agente de AutonomousAgent Processo e' uma instancia de Pedir Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Entidade define Entidade Entidade e' uma instancia de PreparedFood Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de HotelUnit Processo e' uma instancia de DeliveryService Entidade e' um patient de Processo Processo termina em Objeto o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo

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