telecomCountryCode |
appearance as argument number 1 |
(documentation telecomCountryCode EnglishLanguage "(telecomCountryCode ?SymbolicString TelecomNumber) means that ?SymbolicString is the part of ?TelecomNumber that identifies the Nation in which the device identified by ?TelecomNumber is located (or registered). ?SymbolicString will be standard code conforming to, and assigned by, ITU-T Recommendation E.164.") | Mid-level-ontology.kif 24902-24908 | |
(domain telecomCountryCode 1 SymbolicString) | Mid-level-ontology.kif 24900-24900 | O argumento numero 1 de telecomCountryCode e' uma instancia de Sequencia Simbolica |
(domain telecomCountryCode 2 TelecomNumber) | Mid-level-ontology.kif 24901-24901 | O argumento numero 2 de telecomCountryCode e' uma instancia de TelecomNumber |
(instance telecomCountryCode AsymmetricRelation) | Mid-level-ontology.kif 24899-24899 | telecomCountryCode e' uma instancia de Relacao Assimetrica |
(instance telecomCountryCode BinaryPredicate) | Mid-level-ontology.kif 24898-24898 | telecomCountryCode e' uma instancia de Predicado Binario |
(subrelation telecomCountryCode subString) | Mid-level-ontology.kif 24909-24909 | telecomCountryCode e' uma sub-relacao de subString |
appearance as argument number 2 |
(format ChineseLanguage telecomCountryCode "%1 是 country code 在 %2 ") | domainEnglishFormat.kif 4758-4758 | |
(format ChineseTraditionalLanguage telecomCountryCode "%1 是 country code 在 %2 ") | domainEnglishFormat.kif 4757-4757 | |
(format EnglishLanguage telecomCountryCode "%1 is the country code in %2") | domainEnglishFormat.kif 4756-4756 | |
(termFormat EnglishLanguage telecomCountryCode "telecom country code") | domainEnglishFormat.kif 65955-65955 |
antecedent |
(=> (and (telecomAreaCode ?AC ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?AC ?WHOLE)) |
Mid-level-ontology.kif 24960-24964 | |
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 24978-24982 | |
(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?CN ?WHOLE)) |
Mid-level-ontology.kif 24954-24958 |