Local
|
|
appearance as argument number 1 |
(documentation Local EnglishLanguage "Local refers to something within the same region or area") | Mid-level-ontology.kif 27103-27104 | |
(instance Local RelationalAttribute) | Mid-level-ontology.kif 27102-27102 |
appearance as argument number 2 |
(termFormat EnglishLanguage Local "local") | Mid-level-ontology.kif 27105-27105 |
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 27107-27118 |