appearance as argument number 3

(domain deviceTelecomNumber 1 TelecomNumber)	Mid-level-ontology.kif 27116-27116	The number 1 argument of device telecom number is an instance of telecom number
(domain telecomCoreNumber 2 TelecomNumber)	Mid-level-ontology.kif 27126-27126	The number 2 argument of telecom core number is an instance of telecom number
(domain telecomCountryCode 2 TelecomNumber)	Mid-level-ontology.kif 27137-27137	The number 2 argument of telecom country code is an instance of telecom number
(domain telecomAreaCode 2 TelecomNumber)	Mid-level-ontology.kif 27150-27150	The number 2 argument of telecom area code is an instance of telecom number
(domain telecomCode2 2 TelecomNumber)	Mid-level-ontology.kif 27165-27165	The number 2 argument of telecom code2 is an instance of telecom number
(domain telecomExtension 2 TelecomNumber)	Mid-level-ontology.kif 27176-27176	The number 2 argument of telecom extension is an instance of telecom number
(domain telephoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 27222-27222	The number 1 argument of telephone number is an instance of telecom number
(domain personalPhoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 27234-27234	The number 1 argument of personal phone number is an instance of telecom number
(domain homePhoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 27254-27254	The number 1 argument of home phone number is an instance of telecom number
(domain workPhoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 27284-27284	The number 1 argument of work phone number is an instance of telecom number
(domain mobilePhoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 27392-27392	The number 1 argument of mobile phone number is an instance of telecom number
(domain faxNumber 1 TelecomNumber)	Mid-level-ontology.kif 27426-27426	The number 1 argument of fax number is an instance of telecom number
(domain accountPhoneNumber 2 TelecomNumber)	ComputingBrands.kif 4064-4064	The number 2 argument of account phone number is an instance of telecom number

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.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners