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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TelecomNumber
TelecomNumber(telecom number)

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


(subclass TelecomNumber ContactSite) Mid-level-ontology.kif 25163-25163 Telecom number is a subclass of contact site
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 25162-25162 Telecom number is a subclass of symbolic string
(subclass TelecomNumber VirtualAddress) Mid-level-ontology.kif 25161-25161 Telecom number is a subclass of virtual address

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


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

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


(domain accountPhoneNumber 2 TelecomNumber) ComputingBrands.kif 4158-4158 The number 2 argument of account phone number is an instance of telecom number
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 25168-25168 The number 1 argument of device telecom number is an instance of telecom number
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 25440-25440 The number 1 argument of fax number is an instance of telecom number
(domain homePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25306-25306 The number 1 argument of home phone number is an instance of telecom number
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25406-25406 The number 1 argument of mobile phone number is an instance of telecom number
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25286-25286 The number 1 argument of personal phone number is an instance of telecom number
(domain telecomAreaCode 2 TelecomNumber) Mid-level-ontology.kif 25202-25202 The number 2 argument of telecom area code is an instance of telecom number
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 25217-25217 The number 2 argument of telecom code2 is an instance of telecom number
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 25178-25178 The number 2 argument of telecom core number is an instance of telecom number
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 25189-25189 The number 2 argument of telecom country code is an instance of telecom number
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 25228-25228 The number 2 argument of telecom extension is an instance of telecom number
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25274-25274 The number 1 argument of telephone number is an instance of telecom number
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25336-25336 The number 1 argument of work phone number is an instance of telecom number


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