TreeView Knowledge Base Browser - expects

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - expects

expects

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10613-10615
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10611-10611	O argumento numero 1 de expects e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10612-10612	O argumento numero 2 de expects e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10610-10610	expects e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3354-3354
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3353-3353
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3352-3352
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7385-7385	fears e' uma sub-relacao de expects
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7397-7397	hopes e' uma sub-relacao de expects
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22792-22792
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22791-22791
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22790-22790

antecedent

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

Merge.kif 10617-10625

expects Entidade and Entidade vale durante Intervalo Temporal
Intervalo Temporal Entidade acredita que Entidade vale durante Intervalo Temporal vale durante Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 684-695	checkOutTime Agente Cognitivo and Ponto no tempo guest Agente Cognitivo and Agente Cognitivo expects Agente Cognitivo and Entidade Entidade Entidade e' uma instancia de Ponto no tempo Agente Cognitivo e' um patient de Entidade Entidade e' uma instancia de CheckOutService Entidade e' um agente de Agente Cognitivo o comeco de tempo de existencia de Entidade comeca antes de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10653-10665	Processo e' uma instancia de Empregar Agente Cognitivo e' uma instancia de Organizacao Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo expects Agente Cognitivo and Entidade Entidade e' uma instancia de Transacao Financeira Entidade e' um agente de Agente Cognitivo Entidade termina em Entidade tempo de existencia de Processo acontence antes de tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19347-19353	Surprise e' um atributo de Entidade vale durante Posicao Temporal Posicao Temporal Entidade Posicao Temporal e' uma &parte de antes de Posicao Temporal expects Entidade and Entidade vale durante Posicao Temporal truth Entidade and False vale durante Posicao Temporal

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