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 26568-26576
(domain telecomAreaCode 1 SymbolicString)	Mid-level-ontology.kif 26566-26566	The number 1 argument of telecomAreaCode is an instance of symbolic string
(domain telecomAreaCode 2 TelecomNumber)	Mid-level-ontology.kif 26567-26567	The number 2 argument of telecomAreaCode is an instance of TelecomNumber
(instance telecomAreaCode AsymmetricRelation)	Mid-level-ontology.kif 26565-26565	telecomAreaCode is an instance of asymmetric relation
(instance telecomAreaCode BinaryPredicate)	Mid-level-ontology.kif 26564-26564	telecomAreaCode is an instance of binary predicate
(subrelation telecomAreaCode subString)	Mid-level-ontology.kif 26577-26577	telecomAreaCode is a subrelation of subString

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

antecedent

(=> (and (telecomAreaCode ?AC ?WHOLE) (telecomCountryCode ?CC ?WHOLE)) (precedesInString ?CC ?AC ?WHOLE))	Mid-level-ontology.kif 26613-26617	If telecomAreaCode a symbolic string and a TelecomNumber and telecomCountryCode another symbolic string and the TelecomNumber, then precedesInString the other symbolic string, the symbolic string and the TelecomNumber
(=> (and (telecomCode2 ?C2 ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?C2 ?WHOLE))	Mid-level-ontology.kif 26625-26629	If telecomCode2 a symbolic string and a TelecomNumber and telecomAreaCode another symbolic string and the TelecomNumber, then precedesInString the other symbolic string, the symbolic string and the TelecomNumber
(=> (and (telecomCoreNumber ?CN ?WHOLE) (telecomAreaCode ?AC ?WHOLE)) (precedesInString ?AC ?CN ?WHOLE))	Mid-level-ontology.kif 26601-26605	If telecomCoreNumber a symbolic string and a TelecomNumber and telecomAreaCode another symbolic string and the TelecomNumber, then precedesInString the other symbolic string, the symbolic string and the TelecomNumber

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 28992-29003