TreeView Knowledge Base Browser - telecomAreaCode

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

telecomAreaCode

Sigma KEE - telecomAreaCode

telecomAreaCode

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24915-24923
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24913-24913	O argumento numero 1 de telecomAreaCode e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24914-24914	O argumento numero 2 de telecomAreaCode e' uma instancia de TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24912-24912	telecomAreaCode e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24911-24911	telecomAreaCode e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24924-24924	telecomAreaCode e' uma sub-relacao de subString

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4742-4742
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4741-4741
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4740-4740
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65951-65951

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24960-24964	telecomAreaCode Sequencia Simbolica and TelecomNumber telecomCountryCode Sequencia Simbolica and TelecomNumber precedesInString Sequencia Simbolica, Sequencia Simbolica and TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24972-24976	telecomCode2 Sequencia Simbolica and TelecomNumber telecomAreaCode Sequencia Simbolica and TelecomNumber precedesInString Sequencia Simbolica, Sequencia Simbolica and TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24948-24952	telecomCoreNumber Sequencia Simbolica and TelecomNumber telecomAreaCode Sequencia Simbolica and TelecomNumber precedesInString Sequencia Simbolica, Sequencia Simbolica and TelecomNumber

consequent

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

Mid-level-ontology.kif 27107-27118

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