telecomAreaCode - Sigma Knowledge base Browser

antecedent

(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?CN ?WHOLE))	Mid-level-ontology.kif 27230-27234	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 27242-27246	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 27254-27258	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 27193-27193	telecom area code is an instance of binary predicate
(instance telecomAreaCode AsymmetricRelation)	Mid-level-ontology.kif 27194-27194	telecom area code is an instance of asymmetric relation
(domain telecomAreaCode 1 SymbolicString)	Mid-level-ontology.kif 27195-27195	The number 1 argument of telecom area code is an instance of symbolic string
(domain telecomAreaCode 2 TelecomNumber)	Mid-level-ontology.kif 27196-27196	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 27197-27205	The number 2 argument of telecom area code is an instance of telecom number
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 27206-27206	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