Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TelecomNumber

Sigma KEE - TelecomNumber
TelecomNumber

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24874-24874 TelecomNumber e' uma sub-classe de ContactSite
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24873-24873 TelecomNumber e' uma sub-classe de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24872-24872 TelecomNumber e' uma sub-classe de VirtualAddress

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25085-25085 Hotline e' uma sub-classe de TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24875-24875

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4158-4158 O argumento numero 2 de accountPhoneNumber e' uma instancia de TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24879-24879 O argumento numero 1 de deviceTelecomNumber e' uma instancia de TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25151-25151 O argumento numero 1 de faxNumber e' uma instancia de TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25017-25017 O argumento numero 1 de homePhoneNumber e' uma instancia de TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25117-25117 O argumento numero 1 de mobilePhoneNumber e' uma instancia de TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24997-24997 O argumento numero 1 de personalPhoneNumber e' uma instancia de TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24913-24913 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 24928-24928 O argumento numero 2 de telecomCode2 e' uma instancia de TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24889-24889 O argumento numero 2 de telecomCoreNumber e' uma instancia de TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24900-24900 O argumento numero 2 de telecomCountryCode e' uma instancia de TelecomNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24939-24939 O argumento numero 2 de telecomExtension e' uma instancia de TelecomNumber
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 25047-25047 O argumento numero 1 de workPhoneNumber e' uma instancia de 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