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 24972-24980
(domain telecomAreaCode 1 SymbolicString)	Mid-level-ontology.kif 24970-24970	The number 1 argument of telecom area code is an instance of symbolic string
(domain telecomAreaCode 2 TelecomNumber)	Mid-level-ontology.kif 24971-24971	The number 2 argument of telecom area code is an instance of telecom number
(instance telecomAreaCode AsymmetricRelation)	Mid-level-ontology.kif 24969-24969	telecom area code is an instance of asymmetric relation
(instance telecomAreaCode BinaryPredicate)	Mid-level-ontology.kif 24968-24968	telecom area code is an instance of binary predicate
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 24981-24981	telecom area code is a subrelation of sub string

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 65953-65953

antecedent

(=> (and (telecomAreaCode ?AC ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?AC ?WHOLE))	Mid-level-ontology.kif 25017-25021	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 25029-25033	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 25005-25009	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 27140-27151