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 24914-24922
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24912-24912	Le nombre 1 argument de telecomAreaCode est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24913-24913	Le nombre 2 argument de telecomAreaCode est une instance de TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24911-24911	telecomAreaCode est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24910-24910	telecomAreaCode est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24923-24923	telecomAreaCode est une sous-relation 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 24959-24963	telecomAreaCode cha�ne sympbolique and TelecomNumber telecomCountryCode cha�ne sympbolique and TelecomNumber precedesInString cha�ne sympbolique, cha�ne sympbolique and TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24971-24975	telecomCode2 cha�ne sympbolique and TelecomNumber telecomAreaCode cha�ne sympbolique and TelecomNumber precedesInString cha�ne sympbolique, cha�ne sympbolique and TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24947-24951	telecomCoreNumber cha�ne sympbolique and TelecomNumber telecomAreaCode cha�ne sympbolique and TelecomNumber precedesInString cha�ne sympbolique, cha�ne sympbolique and TelecomNumber

consequent

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

Mid-level-ontology.kif 27095-27106

Objet est une instance de TelephoneCommunication Local est un attribut de objet
TelecomNumber TelecomNumber, AutonomousAgent, AutonomousAgent and cha�ne sympbolique objet a pour origine AutonomousAgent objet aboutit � AutonomousAgent telephoneNumber TelecomNumber and AutonomousAgent telephoneNumber TelecomNumber and AutonomousAgent telecomAreaCode cha�ne sympbolique and TelecomNumber telecomAreaCode cha�ne sympbolique 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