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 26034-26042
(domain telecomAreaCode 1 SymbolicString)	Mid-level-ontology.kif 26032-26032	The number 1 argument of telecom area code is an instance of symbolic string
(domain telecomAreaCode 2 TelecomNumber)	Mid-level-ontology.kif 26033-26033	The number 2 argument of telecom area code is an instance of telecom number
(instance telecomAreaCode AsymmetricRelation)	Mid-level-ontology.kif 26031-26031	telecom area code is an instance of asymmetric relation
(instance telecomAreaCode BinaryPredicate)	Mid-level-ontology.kif 26030-26030	telecom area code is an instance of binary predicate
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 26043-26043	telecom area code is a subrelation of sub string

appearance as argument number 2

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

antecedent

(=> (and (telecomAreaCode ?AC ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?AC ?WHOLE))	Mid-level-ontology.kif 26079-26083	If the area code in a telecom number is a symbolic string and another symbolic string is the country code in the telecom number, then the other symbolic string precedes the symbolic string in the telecom number
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE))	Mid-level-ontology.kif 26091-26095	If the secondary code in a telecom number is a symbolic string and the area code in the telecom number is another symbolic string, then the other symbolic string precedes the symbolic string in the telecom number
(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?CN ?WHOLE))	Mid-level-ontology.kif 26067-26071	If a symbolic string is the core number in a telecom number and the area code in the telecom number is another symbolic string, then the other symbolic string precedes the symbolic string in the telecom number

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 28202-28213