| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24875-24875 | 子類 TelecomNumber and ContactSite |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | 子類 TelecomNumber and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24873-24873 | 子類 TelecomNumber and VirtualAddress |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25086-25086 | 子類 Hotline and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24876-24876 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4158-4158 | 域 accountPhoneNumber, 2 and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24880-24880 | 域 deviceTelecomNumber, 1 and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25152-25152 | 域 faxNumber, 1 and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25018-25018 | 域 homePhoneNumber, 1 and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25118-25118 | 域 mobilePhoneNumber, 1 and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24998-24998 | 域 personalPhoneNumber, 1 and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24914-24914 | 域 telecomAreaCode, 2 and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24929-24929 | 域 telecomCode2, 2 and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24890-24890 | 域 telecomCoreNumber, 2 and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24901-24901 | 域 telecomCountryCode, 2 and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24940-24940 | 域 telecomExtension, 2 and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24986-24986 | 域 電話號碼, 1 and TelecomNumber |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25048-25048 | 域 workPhoneNumber, 1 and TelecomNumber |
|
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