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
-------------------------


s__subclass(s__TelecomNumber,s__ContactSite)

s__instance(s__TelecomNumber,s__Class)

s__instance(s__ContactSite,s__Class)

Mid-level-ontology.kif 23894-23894 TelecomNumber is a subclass of ContactSite
s__instance(s__TelecomNumber,s__Class)

s__instance(s__SymbolicString,s__Class)

s__subclass(s__TelecomNumber,s__SymbolicString)

Mid-level-ontology.kif 23893-23893 TelecomNumber is a subclass of symbolic string
s__instance(s__VirtualAddress,s__Class)

s__instance(s__TelecomNumber,s__Class)

s__subclass(s__TelecomNumber,s__VirtualAddress)

Mid-level-ontology.kif 23892-23892 TelecomNumber is a subclass of VirtualAddress

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


s__subclass(s__Hotline,s__TelecomNumber)

s__instance(s__TelecomNumber,s__Class)

s__instance(s__Hotline,s__Class)

Mid-level-ontology.kif 24087-24087 Hotline is a subclass of TelecomNumber

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


s__domain(s__accountPhoneNumber__m,n__2,s__TelecomNumber)

ComputingBrands.kif 4129-4129 The number 2 argument of accountPhoneNumber is an instance of TelecomNumber
s__domain(s__deviceTelecomNumber__m,n__1,s__TelecomNumber)

Mid-level-ontology.kif 23898-23898 The number 1 argument of deviceTelecomNumber is an instance of TelecomNumber
s__domain(s__faxNumber__m,n__1,s__TelecomNumber)

Mid-level-ontology.kif 24153-24153 The number 1 argument of faxNumber is an instance of TelecomNumber
s__domain(s__homePhoneNumber__m,n__1,s__TelecomNumber)

Mid-level-ontology.kif 24036-24036 The number 1 argument of homePhoneNumber is an instance of TelecomNumber
s__domain(s__mobilePhoneNumber__m,n__1,s__TelecomNumber)

Mid-level-ontology.kif 24119-24119 The number 1 argument of mobilePhoneNumber is an instance of TelecomNumber
s__domain(s__personalPhoneNumber__m,n__1,s__TelecomNumber)

Mid-level-ontology.kif 24016-24016 The number 1 argument of personalPhoneNumber is an instance of TelecomNumber
s__domain(s__telecomAreaCode__m,n__2,s__TelecomNumber)

Mid-level-ontology.kif 23932-23932 The number 2 argument of telecomAreaCode is an instance of TelecomNumber
s__domain(s__telecomCode2__m,n__2,s__TelecomNumber)

Mid-level-ontology.kif 23947-23947 The number 2 argument of telecomCode2 is an instance of TelecomNumber
s__domain(s__telecomCoreNumber__m,n__2,s__TelecomNumber)

Mid-level-ontology.kif 23908-23908 The number 2 argument of telecomCoreNumber is an instance of TelecomNumber
s__domain(s__telecomCountryCode__m,n__2,s__TelecomNumber)

Mid-level-ontology.kif 23919-23919 The number 2 argument of telecomCountryCode is an instance of TelecomNumber
s__domain(s__telecomExtension__m,n__2,s__TelecomNumber)

Mid-level-ontology.kif 23958-23958 The number 2 argument of telecomExtension is an instance of TelecomNumber
s__domain(s__telephoneNumber__m,n__1,s__TelecomNumber)

Mid-level-ontology.kif 24004-24004 The number 1 argument of telephone number is an instance of TelecomNumber
s__domain(s__workPhoneNumber__m,n__1,s__TelecomNumber)

Mid-level-ontology.kif 24066-24066 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