Local
|
|
appearance as argument number 1 |
(documentation Local EnglishLanguage "Local refers to something within the same region or area") | Mid-level-ontology.kif 27091-27092 | |
(instance Local RelationalAttribute) | Mid-level-ontology.kif 27090-27090 |
appearance as argument number 2 |
(termFormat EnglishLanguage Local "local") | Mid-level-ontology.kif 27093-27093 |
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 27095-27106 |