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 26537-26537
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 26536-26536
(subclass TelecomNumber VirtualAddress) Mid-level-ontology.kif 26535-26535

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


(subclass Hotline TelecomNumber) Mid-level-ontology.kif 26748-26748
(termFormat EnglishLanguage TelecomNumber "telecom number") Mid-level-ontology.kif 26538-26538

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


(domain accountPhoneNumber 2 TelecomNumber) ComputingBrands.kif 4153-4153
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 26542-26542
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 26814-26814
(domain homePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 26680-26680
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 26780-26780
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 26660-26660
(domain telecomAreaCode 2 TelecomNumber) Mid-level-ontology.kif 26576-26576
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 26591-26591
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 26552-26552
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 26563-26563
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 26602-26602
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 26648-26648
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 26710-26710


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