Local |
appearance as argument number 1 |
(documentation Local EnglishLanguage "Local refers to something within the same region or area") | Mid-level-ontology.kif 27136-27137 | |
(instance Local RelationalAttribute) | Mid-level-ontology.kif 27135-27135 |
appearance as argument number 2 |
(termFormat EnglishLanguage Local "local") | Mid-level-ontology.kif 27138-27138 |
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)))) |
Mid-level-ontology.kif 27140-27151 |