TreeView Knowledge Base Browser - Answering

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

EasternIranianLanguage

Sigma KEE - Answering

Answering

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 888-889
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 887-887	Answering e' uma sub-classe de Declarar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7728-7728
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7727-7727
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7726-7726

antecedent

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

Mid-level-ontology.kif 891-897

Fisico e' uma instancia de Answering
Fisico Fisico e' uma instancia de Questionar Fisico inclui uma referencia a Fisico tempo de existencia de Fisico acontence antes de tempo de existencia de Fisico

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3691-3711	dayPhone Sequencia Simbolica and AutonomousAgent Telephone Entidade and Numero Real phoneNumber Sequencia Simbolica and Telephone Numero Real e' maior que 6 Numero Real e' menos que 18 Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent Telephone e' um patient de Entidade AutonomousAgent possui Telephone o argumento Entidade Entidade e' uma instancia de Answering Entidade e' um sub-processo de Entidade Entidade e' um agente de AutonomousAgent tem a forca modal de Likely vale durante Entidade e' uma instancia de a hora Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	eveningPhone Sequencia Simbolica and AutonomousAgent Telephone Entidade and Numero Real phoneNumber Sequencia Simbolica and Telephone Numero Real e' maior que 18 Numero Real e' menos que 6 Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent Telephone e' um patient de Entidade AutonomousAgent possui Telephone o argumento Entidade Entidade e' uma instancia de Answering Entidade e' um sub-processo de Entidade Entidade e' um agente de AutonomousAgent tem a forca modal de Likely vale durante Entidade e' uma instancia de a hora Numero Real

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