telecomAreaCode - Sigma Knowledge base Browser

appearance as argument number 1

(documentation telecomAreaCode EnglishLanguage "(telecomAreaCode ?SymbolicString TelecomNumber) means that ?SymbolicString is the part of ?TelecomNumber that follows the country code. ?SymbolicString may denote a GeographicArea in which the TelephonyDevice identified by ?TelecomNumber is located (registered), but it may also denote a call billing plan or status, as for 800 numbers in the North American Numbering Plan.")	Mid-level-ontology.kif 25203-25211
(domain telecomAreaCode 1 SymbolicString)	Mid-level-ontology.kif 25201-25201
(domain telecomAreaCode 2 TelecomNumber)	Mid-level-ontology.kif 25202-25202
(instance telecomAreaCode AsymmetricRelation)	Mid-level-ontology.kif 25200-25200
(instance telecomAreaCode BinaryPredicate)	Mid-level-ontology.kif 25199-25199
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 25212-25212

appearance as argument number 2

(format ChineseLanguage telecomAreaCode "area code 在 %2 是 %1 ")	domainEnglishFormat.kif 4742-4742
(format ChineseTraditionalLanguage telecomAreaCode "area code 在 %2 是 %1 ")	domainEnglishFormat.kif 4741-4741
(format EnglishLanguage telecomAreaCode "the area code in %2 is %1")	domainEnglishFormat.kif 4740-4740
(termFormat EnglishLanguage telecomAreaCode "telecom area code")	domainEnglishFormat.kif 66011-66011

antecedent

(=> (and (telecomAreaCode ?AC ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?AC ?WHOLE))	Mid-level-ontology.kif 25248-25252
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE))	Mid-level-ontology.kif 25260-25264
(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?CN ?WHOLE))	Mid-level-ontology.kif 25236-25240

consequent

(=>
    (and
        (instance ?X TelephoneCommunication)
        (attribute ?X Local))
    (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE)
        (and
            (origin ?X ?ORIGIN)
            (destination ?X ?DEST)
            (telephoneNumber ?TEL1 ?ORIGIN)
            (telephoneNumber ?TEL2 ?DEST)
            (telecomAreaCode ?CODE ?TEL1)
            (telecomAreaCode ?CODE ?TEL2))))

Mid-level-ontology.kif 27371-27382