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	The number 1 argument of telecom area code is an instance of symbolic string
(domain telecomAreaCode 2 TelecomNumber)	Mid-level-ontology.kif 25202-25202	The number 2 argument of telecom area code is an instance of telecom number
(instance telecomAreaCode AsymmetricRelation)	Mid-level-ontology.kif 25200-25200	telecom area code is an instance of asymmetric relation
(instance telecomAreaCode BinaryPredicate)	Mid-level-ontology.kif 25199-25199	telecom area code is an instance of binary predicate
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 25212-25212	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 66010-66010

antecedent

(=> (and (telecomAreaCode ?AC ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?AC ?WHOLE))	Mid-level-ontology.kif 25248-25252	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 25260-25264	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 25236-25240	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 27371-27382