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

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


(subclass Hotline TelecomNumber) Mid-level-ontology.kif 24418-24418 Hotline is a subclass of TelecomNumber

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


(domain accountPhoneNumber 2 TelecomNumber) ComputingBrands.kif 4121-4121 The number 2 argument of accountPhoneNumber is an instance of TelecomNumber
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 24229-24229 The number 1 argument of deviceTelecomNumber is an instance of TelecomNumber
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 24484-24484 The number 1 argument of faxNumber is an instance of TelecomNumber
(domain homePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 24367-24367 The number 1 argument of homePhoneNumber is an instance of TelecomNumber
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 24450-24450 The number 1 argument of mobilePhoneNumber is an instance of TelecomNumber
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 24347-24347 The number 1 argument of personalPhoneNumber is an instance of TelecomNumber
(domain telecomAreaCode 2 TelecomNumber) Mid-level-ontology.kif 24263-24263 The number 2 argument of telecomAreaCode is an instance of TelecomNumber
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 24278-24278 The number 2 argument of telecomCode2 is an instance of TelecomNumber
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 24239-24239 The number 2 argument of telecomCoreNumber is an instance of TelecomNumber
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 24250-24250 The number 2 argument of telecomCountryCode is an instance of TelecomNumber
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 24289-24289 The number 2 argument of telecomExtension is an instance of TelecomNumber
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 24335-24335 The number 1 argument of telephone number is an instance of TelecomNumber
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 24397-24397 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