TreeView Knowledge Base Browser - phoneNumber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - phoneNumber

phoneNumber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3682-3683
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3680-3680	O argumento numero 1 de phoneNumber e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3681-3681	O argumento numero 2 de phoneNumber e' uma instancia de Telephone
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3678-3678	phoneNumber e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3679-3679	phoneNumber e' uma sub-relacao de refers

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1959-1959
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1958-1958
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1957-1957
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45596-45596
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45595-45595
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45594-45594

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