TreeView Knowledge Base Browser - telephoneNumber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

telephoneNumber

Sigma KEE - telephoneNumber

telephoneNumber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24987-24988
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24985-24985	O argumento numero 1 de telephoneNumber e' uma instancia de TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24986-24986	O argumento numero 2 de telephoneNumber e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24984-24984	telephoneNumber e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24983-24983	telephoneNumber e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4766-4766
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4765-4765
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4764-4764
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25019-25019	homePhoneNumber e' uma sub-relacao de telephoneNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25119-25119	mobilePhoneNumber e' uma sub-relacao de telephoneNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24999-24999	personalPhoneNumber e' uma sub-relacao de telephoneNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25049-25049	workPhoneNumber e' uma sub-relacao de telephoneNumber
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57320-57320
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57319-57319
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57318-57318

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25034-25043	Entidade e' uma instancia de Humano deviceTelecomNumber Entidade and Entidade telephoneNumber Entidade and Entidade Entidade e' situado em Entidade Entidade e' uma instancia de Residence vale durante Posicao Temporal Entidade vive em Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25132-25139	Entidade e' uma instancia de MobileCellPhone deviceTelecomNumber Entidade and Entidade telephoneNumber Entidade and Entidade vale durante Posicao Temporal mobilePhoneNumber Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25092-25113	TelecomNumber e' uma instancia de Hotline telephoneNumber TelecomNumber and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao TelecomNumber tem por fim Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent o argumento Entidade Entidade e' uma instancia de Communicacao TelecomNumber e' um instrumento para Entidade o comeco de tempo de existencia de Entidade e' igual a o comeco de imediatemente apos tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24990-24992	telephoneNumber TelecomNumber and AutonomousAgent siteForContact TelecomNumber and AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25006-25013	Entidade e' uma instancia de Telephone Entidade possui Entidade deviceTelecomNumber Entidade and Entidade vale durante Posicao Temporal telephoneNumber Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27095-27106	Objeto e' uma instancia de TelephoneCommunication Local e' um atributo de Objeto TelecomNumber TelecomNumber, AutonomousAgent, AutonomousAgent and Sequencia Simbolica Objeto tem como origem AutonomousAgent Objeto termina em AutonomousAgent telephoneNumber TelecomNumber and AutonomousAgent telephoneNumber TelecomNumber and AutonomousAgent telecomAreaCode Sequencia Simbolica and TelecomNumber telecomAreaCode Sequencia Simbolica and TelecomNumber

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