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
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 22789-22789
(subclass TelecomNumber VirtualAddress) Mid-level-ontology.kif 22788-22788

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


(domain accountPhoneNumber 2 TelecomNumber) ComputingBrands.kif 4083-4083
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 22794-22794
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 23053-23053
(domain homePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22950-22950
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 23016-23016
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22930-22930
(domain telecomAreaCode 2 TelecomNumber) Mid-level-ontology.kif 22832-22832
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 22847-22847
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 22808-22808
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 22819-22819
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 22858-22858
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22918-22918
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22992-22992


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