telecomCountryCode |
appearance as argument number 1 |
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 |
|