| (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 26049-26053 |
|
| (domain telecomCode2 1 SymbolicString) |
Mid-level-ontology.kif 26047-26047 |
The number 1 argument of telecom code2 is an instance of symbolic string |
| (domain telecomCode2 2 TelecomNumber) |
Mid-level-ontology.kif 26048-26048 |
The number 2 argument of telecom code2 is an instance of telecom number |
| (instance telecomCode2 AsymmetricRelation) |
Mid-level-ontology.kif 26046-26046 |
telecom code2 is an instance of asymmetric relation |
| (instance telecomCode2 BinaryPredicate) |
Mid-level-ontology.kif 26045-26045 |
telecom code2 is an instance of binary predicate |
| (subrelation telecomCode2 subString) |
Mid-level-ontology.kif 26054-26054 |
telecom code2 is a subrelation of sub string |