| appearance as argument number 1 |
|
| (documentation telecomCode2 EnglishLanguage "(telecomCode2 ?SymbolicString ?TelecomNumber) means that ?SymbolicString is the second code (if there is one, such as a sub-area code) following the part of ?TelecomNumber denoted by telecomCountryCode.") | Mid-level-ontology.kif 22848-22852 | |
| (domain telecomCode2 1 SymbolicString) | Mid-level-ontology.kif 22846-22846 | The number 1 argument of telecomCode2 is an instance of symbolic string |
| (domain telecomCode2 2 TelecomNumber) | Mid-level-ontology.kif 22847-22847 | The number 2 argument of telecomCode2 is an instance of TelecomNumber |
| (instance telecomCode2 AsymmetricRelation) | Mid-level-ontology.kif 22845-22845 | telecomCode2 is an instance of asymmetric relation |
| (instance telecomCode2 BinaryPredicate) | Mid-level-ontology.kif 22844-22844 | telecomCode2 is an instance of binary predicate |
| (subrelation telecomCode2 subString) | Mid-level-ontology.kif 22853-22853 | telecomCode2 is a subrelation of subString |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage telecomCode2 "secondary code 在 %2 是 %1 ") | domainEnglishFormat.kif 4751-4751 | |
| (format ChineseTraditionalLanguage telecomCode2 "secondary code 在 %2 是 %1 ") | domainEnglishFormat.kif 4750-4750 | |
| (format EnglishLanguage telecomCode2 "the secondary code in %2 is %1") | domainEnglishFormat.kif 4749-4749 |
| antecedent |
|
|
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 22893-22897 |
|
| (=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 22899-22903 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners