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 24901-24907 | |
(domain telecomCountryCode 1 SymbolicString) | Mid-level-ontology.kif 24899-24899 | telecomCountryCode の数値 1 引数は 記号文字列 の instance では %n |
(domain telecomCountryCode 2 TelecomNumber) | Mid-level-ontology.kif 24900-24900 | telecomCountryCode の数値 2 引数は TelecomNumber の instance では %n |
(instance telecomCountryCode AsymmetricRelation) | Mid-level-ontology.kif 24898-24898 | telecomCountryCode は 非対称関係 の instance では %n |
(instance telecomCountryCode BinaryPredicate) | Mid-level-ontology.kif 24897-24897 | telecomCountryCode は 2進述語 の instance では %n |
(subrelation telecomCountryCode subString) | Mid-level-ontology.kif 24908-24908 | telecomCountryCode は subString の subrelation では %n |
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 24959-24963 | |
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?C2 ?WHOLE)) |
Mid-level-ontology.kif 24977-24981 | |
(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?CN ?WHOLE)) |
Mid-level-ontology.kif 24953-24957 |