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 22833-22841
(domain telecomAreaCode 1 SymbolicString)	Mid-level-ontology.kif 22831-22831	The number 1 argument of telecomAreaCode is an instance of symbolic string
(domain telecomAreaCode 2 TelecomNumber)	Mid-level-ontology.kif 22832-22832	The number 2 argument of telecomAreaCode is an instance of TelecomNumber
(instance telecomAreaCode AsymmetricRelation)	Mid-level-ontology.kif 22830-22830	telecomAreaCode is an instance of asymmetric relation
(instance telecomAreaCode BinaryPredicate)	Mid-level-ontology.kif 22829-22829	telecomAreaCode is an instance of binary predicate
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 22842-22842	telecomAreaCode is a subrelation of subString

appearance as argument number 2

(format ChineseLanguage telecomAreaCode "area code 在 %2 是 %1 ")	domainEnglishFormat.kif 4747-4747
(format ChineseTraditionalLanguage telecomAreaCode "area code 在 %2 是 %1 ")	domainEnglishFormat.kif 4746-4746
(format EnglishLanguage telecomAreaCode "the area code in %2 is %1")	domainEnglishFormat.kif 4745-4745

antecedent

(=> (and (telecomAreaCode ?AC ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?AC ?WHOLE))	Mid-level-ontology.kif 22881-22885	If the area code in a TelecomNumber is a symbolic string and another symbolic string is the country code in the TelecomNumber, then the other symbolic string precedes the symbolic string in the TelecomNumber
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE))	Mid-level-ontology.kif 22893-22897	If the secondary code in a TelecomNumber is a symbolic string and the area code in the TelecomNumber is another symbolic string, then the other symbolic string precedes the symbolic string in the TelecomNumber
(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?CN ?WHOLE))	Mid-level-ontology.kif 22869-22873	If a symbolic string is the core number in a TelecomNumber and the area code in the TelecomNumber is another symbolic string, then the other symbolic string precedes the symbolic string in the TelecomNumber

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 25359-25370