telecomAreaCode - Sigma Knowledge base Browser

antecedent

(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?CN ?WHOLE))	Mid-level-ontology.kif 27347-27351	If X is the core number in Y and the area code in Y is Z, then Z precedes X in Y
(=> (and (telecomAreaCode ?AC ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?AC ?WHOLE))	Mid-level-ontology.kif 27359-27363	If the area code in X is Y and Z is the country code in X, then Z precedes Y in X
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE))	Mid-level-ontology.kif 27371-27375	If the secondary code in X is Y and the area code in X is Z, then Z precedes Y in X

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

If X is an instance of telephone communication and local is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that X originates at W (3) X ends up at V (4) Y is the telephone number of W (5) Z is the telephone number of V (6) the area code in Y is U (7) the area code in Z is U

(instance telecomAreaCode BinaryPredicate)	Mid-level-ontology.kif 27310-27310	telecom area code is an instance of binary predicate
(instance telecomAreaCode AsymmetricRelation)	Mid-level-ontology.kif 27311-27311	telecom area code is an instance of asymmetric relation
(domain telecomAreaCode 1 SymbolicString)	Mid-level-ontology.kif 27312-27312	The number 1 argument of telecom area code is an instance of symbolic string
(domain telecomAreaCode 2 TelecomNumber)	Mid-level-ontology.kif 27313-27313	The number 2 argument of telecom area code is an instance of telecom number
(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 27314-27322	The number 2 argument of telecom area code is an instance of telecom number
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 27323-27323	telecom area code is a subrelation of sub string

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