Local - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage Local "local")

antecedent

(=>
    (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 Local RelationalAttribute)	Mid-level-ontology.kif 29696-29696	Local is an instance of relational attribute
(documentation Local EnglishLanguage "Local refers to something within the same region or area")	Mid-level-ontology.kif 29697-29698	Local is an instance of relational attribute