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 24875-24875
(subclass TelecomNumber SymbolicString) Mid-level-ontology.kif 24874-24874
(subclass TelecomNumber VirtualAddress) Mid-level-ontology.kif 24873-24873

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


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

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


(domain accountPhoneNumber 2 TelecomNumber) ComputingBrands.kif 4158-4158
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 24880-24880
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 25152-25152
(domain homePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25018-25018
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25118-25118
(domain personalPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 24998-24998
(domain telecomAreaCode 2 TelecomNumber) Mid-level-ontology.kif 24914-24914
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 24929-24929
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 24890-24890
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 24901-24901
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 24940-24940
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 24986-24986
(domain workPhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25048-25048


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