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

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


(domain accountPhoneNumber 2 TelecomNumber) ComputingBrands.kif 4083-4083 The number 2 argument of accountPhoneNumber is an instance of TelecomNumber
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 22794-22794 The number 1 argument of deviceTelecomNumber is an instance of TelecomNumber
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 23053-23053 The number 1 argument of faxNumber is an instance of TelecomNumber
(domain homePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22950-22950 The number 1 argument of homePhoneNumber is an instance of TelecomNumber
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 23016-23016 The number 1 argument of mobilePhoneNumber is an instance of TelecomNumber
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22930-22930 The number 1 argument of personalPhoneNumber is an instance of TelecomNumber
(domain telecomAreaCode 2 TelecomNumber) Mid-level-ontology.kif 22832-22832 The number 2 argument of telecomAreaCode is an instance of TelecomNumber
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 22847-22847 The number 2 argument of telecomCode2 is an instance of TelecomNumber
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 22808-22808 The number 2 argument of telecomCoreNumber is an instance of TelecomNumber
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 22819-22819 The number 2 argument of telecomCountryCode is an instance of TelecomNumber
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 22858-22858 The number 2 argument of telecomExtension is an instance of TelecomNumber
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22918-22918 The number 1 argument of telephone number is an instance of TelecomNumber
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22992-22992 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners