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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TelecomNumber

Sigma KEE - TelecomNumber
TelecomNumber

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


(subclass TelecomNumber ContactSite) Mid-level-ontology.kif 22385-22385
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 22384-22384
(subclass TelecomNumber VirtualAddress) Mid-level-ontology.kif 22383-22383

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


(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 22389-22389
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 22648-22648
(domain homePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22545-22545
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22611-22611
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22525-22525
(domain telecomAreaCode 2 TelecomNumber) Mid-level-ontology.kif 22427-22427
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 22442-22442
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 22403-22403
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 22414-22414
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 22453-22453
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22513-22513
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22587-22587


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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