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 22815-22815 TelecomNumber is a subclass of ContactSite
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 22814-22814 TelecomNumber is a subclass of symbolic string
(subclass TelecomNumber VirtualAddress) Mid-level-ontology.kif 22813-22813 TelecomNumber is a subclass of VirtualAddress

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


(domain accountPhoneNumber 2 TelecomNumber) ComputingBrands.kif 4078-4078 The number 2 argument of accountPhoneNumber is an instance of TelecomNumber
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 22819-22819 The number 1 argument of deviceTelecomNumber is an instance of TelecomNumber
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 23078-23078 The number 1 argument of faxNumber is an instance of TelecomNumber
(domain homePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22975-22975 The number 1 argument of homePhoneNumber is an instance of TelecomNumber
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 23041-23041 The number 1 argument of mobilePhoneNumber is an instance of TelecomNumber
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22955-22955 The number 1 argument of personalPhoneNumber is an instance of TelecomNumber
(domain telecomAreaCode 2 TelecomNumber) Mid-level-ontology.kif 22857-22857 The number 2 argument of telecomAreaCode is an instance of TelecomNumber
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 22872-22872 The number 2 argument of telecomCode2 is an instance of TelecomNumber
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 22833-22833 The number 2 argument of telecomCoreNumber is an instance of TelecomNumber
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 22844-22844 The number 2 argument of telecomCountryCode is an instance of TelecomNumber
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 22883-22883 The number 2 argument of telecomExtension is an instance of TelecomNumber
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22943-22943 The number 1 argument of telephone number is an instance of TelecomNumber
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 23017-23017 The number 1 argument of workPhoneNumber is an instance of TelecomNumber


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