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 22821-22821
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 22820-22820
(subclass TelecomNumber VirtualAddress) Mid-level-ontology.kif 22819-22819

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


(domain accountPhoneNumber 2 TelecomNumber) ComputingBrands.kif 4078-4078
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 22825-22825
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 23084-23084
(domain homePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22981-22981
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 23047-23047
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22961-22961
(domain telecomAreaCode 2 TelecomNumber) Mid-level-ontology.kif 22863-22863
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 22878-22878
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 22839-22839
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 22850-22850
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 22889-22889
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22949-22949
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 23023-23023


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