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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TelecomNumber
TelecomNumber

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


(subclass TelecomNumber ContactSite) Mid-level-ontology.kif 25163-25163
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 25162-25162
(subclass TelecomNumber VirtualAddress) Mid-level-ontology.kif 25161-25161

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


(subclass Hotline TelecomNumber) Mid-level-ontology.kif 25374-25374
(termFormat EnglishLanguage TelecomNumber "telecom number") Mid-level-ontology.kif 25164-25164

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


(domain accountPhoneNumber 2 TelecomNumber) ComputingBrands.kif 4158-4158
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 25168-25168
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 25440-25440
(domain homePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25306-25306
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25406-25406
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25286-25286
(domain telecomAreaCode 2 TelecomNumber) Mid-level-ontology.kif 25202-25202
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 25217-25217
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 25178-25178
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 25189-25189
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 25228-25228
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25274-25274
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25336-25336


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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